Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "sends the piece data to the device II"^^xsd:string) Inferred axiom: EquivalentClasses(ObjectSomeValuesFrom( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "To Stop") Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(DataHasValue( "SoftwareResource") ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "I am a controller device and I perform the operation of the metal separation process"^^xsd:string) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(DataHasValue( "true"^^xsd:boolean) owl:Thing) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty ""^^xsd:string) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) DataHasValue( "false"^^xsd:boolean)) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "6"^^xsd:integer) Inferred axiom: SubClassOf(owl:Nothing ObjectUnionOf( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion(DataHasValue( "Device") ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:boolean) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "4"^^xsd:integer) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion(DataHasValue( "true"^^xsd:boolean) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Person") Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "0"^^xsd:integer) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:boolean) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ObjectUnionOf( )) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf(DataHasValue( "false"^^xsd:boolean) DataHasValue( "false"^^xsd:boolean)) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "3"^^xsd:integer) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: SubClassOf( ) Inferred axiom: DataPropertyAssertion( "High"^^xsd:string) Inferred axiom: SubClassOf(ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "requests the piece data from the device I"^^xsd:string) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "boolean")) DataHasValue( "boolean")) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Person")) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "1"^^xsd:integer) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) owl:Thing) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "2"^^xsd:integer) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:boolean) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectSomeValuesFrom( )) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses(DataHasValue( "string") ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Conveyor belt of the metal separation process"^^xsd:string) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "SoftwareResource")) ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "SoftwareResource") Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "4"^^xsd:integer) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "7"^^xsd:integer) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Weight of piece sensor in the metal separation process"^^xsd:string) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Final position reached detector in the metal separation process"^^xsd:string) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "3"^^xsd:integer) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Activation Request") Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SubClassOf(ObjectSomeValuesFrom( ) ObjectSomeValuesFrom( )) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: SubClassOf(ObjectSomeValuesFrom( ) ObjectSomeValuesFrom( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(DataHasValue( "array") ObjectUnionOf(DataHasValue( "array") DataHasValue( "string"))) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) ObjectUnionOf( )) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "6"^^xsd:integer) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "3"^^xsd:integer) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Person")) ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "6"^^xsd:integer) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "https://opcfoundation.org/about/opc-technologies/opc-ua/"^^xsd:anyURI) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ObjectUnionOf( )) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:boolean) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "String"^^xsd:string) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentClasses(DataHasValue( "true"^^xsd:boolean) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "4"^^xsd:integer) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: DataPropertyDomain( ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "0"^^xsd:integer) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataMinCardinality(2 rdfs:Literal)) DataMinCardinality(2 rdfs:Literal)) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion( "false"^^xsd:boolean) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "5"^^xsd:integer) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses(DataHasValue( "false"^^xsd:boolean) ) Inferred axiom: SubClassOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Operation Time Request") Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: SubClassOf(DataHasValue( "string") ObjectUnionOf(DataHasValue( "array") DataHasValue( "string"))) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "0"^^xsd:integer) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Person")) owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ) Inferred axiom: DataPropertyAssertion( "false"^^xsd:boolean) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Thing")) ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "https://webstore.iec.ch/publication/62427"^^xsd:anyURI) Inferred axiom: SubObjectPropertyOf(owl:topObjectProperty owl:topObjectProperty) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion( "true"^^xsd:boolean) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: EquivalentClasses(ObjectSomeValuesFrom( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses(ObjectSomeValuesFrom( ) ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentClasses(ObjectSomeValuesFrom( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Thing") Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion( "High"^^xsd:string) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Synchronization Request") Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: SubClassOf(DataHasValue( "float") ObjectUnionOf(DataHasValue( "double") DataHasValue( "float") DataHasValue( "integer") DataHasValue( "long"))) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) ObjectUnionOf( )) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) ) Inferred axiom: EquivalentClasses( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "SoftwareResource")) owl:Thing) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataMinCardinality(2 rdfs:Literal)) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Thing")) DataHasValue( "Thing")) Inferred axiom: SubClassOf(DataHasValue( "double") ObjectUnionOf(DataHasValue( "double") DataHasValue( "float") DataHasValue( "integer") DataHasValue( "long"))) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:string) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Thing"^^xsd:string) Inferred axiom: SameIndividual( ) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion( "1"^^xsd:integer) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:boolean) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion( "true"^^xsd:boolean) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion( "High"^^xsd:string) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectSomeValuesFrom( ) ObjectSomeValuesFrom( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:boolean) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectComplementOf()) ObjectComplementOf()) Inferred axiom: SubDataPropertyOf(owl:topDataProperty owl:topDataProperty) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "void"^^xsd:string) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Piece output data in the metal separation process"^^xsd:string) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(ObjectSomeValuesFrom( ) ObjectSomeValuesFrom( )) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(DataHasValue( "false"^^xsd:boolean) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "double"^^xsd:string) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectComplementOf()) owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentClasses(DataHasValue( "Thing") ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(DataHasValue( "boolean") DataHasValue( "boolean")) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "SoftwareResource")) ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "0.0"^^xsd:string) Inferred axiom: DataPropertyDomain( ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "true"^^xsd:string) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ) Inferred axiom: EquivalentDataProperties(owl:topDataProperty ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf(DataHasValue( "Thing") DataHasValue( "Thing")) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyDomain( ObjectUnionOf( )) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(DataHasValue( "Thing") ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "High"^^xsd:string) Inferred axiom: SameIndividual( ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses( ) Inferred axiom: EquivalentClasses(DataHasValue( "Device") ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "saves the process data"^^xsd:string) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Transition 5 between state 4 and state 5 of the metal separation model"^^xsd:string) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "http://dbpedia.org/page/ISA-88"^^xsd:string) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: DataPropertyAssertion( "false"^^xsd:boolean) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectSomeValuesFrom( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectComplementOf()) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(DataHasValue( "true"^^xsd:boolean) ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "This service sends the data of the scanned element with material, weight, and serial"^^xsd:string) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(DataHasValue( "false"^^xsd:boolean) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Data Request") Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: DataPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: Declaration(Class(owl:Nothing)) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "boolean")) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:string) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: DataPropertyDomain( ObjectUnionOf( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataMinCardinality(2 rdfs:Literal)) owl:Thing) Inferred axiom: SubClassOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: SubClassOf(ObjectSomeValuesFrom( ) ObjectSomeValuesFrom( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "https://webstore.iec.ch/publication/6675"^^xsd:anyURI) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Message Exchange Subscription") Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "0"^^xsd:integer) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:string) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:boolean) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "3"^^xsd:integer) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Person")) ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(DataHasValue( "true"^^xsd:boolean) DataHasValue( "true"^^xsd:boolean)) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "High"^^xsd:string) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectSomeValuesFrom( )) Inferred axiom: SameIndividual( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "4"^^xsd:integer) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectUnionOf(DataHasValue( "array") DataHasValue( "string"))) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "High"^^xsd:string) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "3"^^xsd:integer) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectUnionOf(DataHasValue( "array") DataHasValue( "string"))) ObjectUnionOf(DataHasValue( "array") DataHasValue( "string"))) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentClasses(DataHasValue( "double") ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "To Start") Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "5"^^xsd:integer) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectUnionOf(DataHasValue( "double") DataHasValue( "float") DataHasValue( "integer") DataHasValue( "long"))) ) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataMinCardinality(2 rdfs:Literal)) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: DataPropertyAssertion( "false"^^xsd:boolean) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:string) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Device")) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "High"^^xsd:string) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataMinCardinality(2 rdfs:Literal)) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion( "High"^^xsd:string) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "I am a thing and I manage the data in the metal separation process"^^xsd:string) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion( "High"^^xsd:string) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(DataHasValue( "long") DataHasValue( "long")) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: DataPropertyDomain( ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Transition 6 between state 5 and state 6 of the metal separation model"^^xsd:string) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Testing service 1"^^xsd:string) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectComplementOf()) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: SameIndividual( ) Inferred axiom: SameIndividual( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:string) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion( "false"^^xsd:boolean) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:string) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: Declaration(Class(owl:Thing)) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Device") Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "https://webstore.iec.ch/publication/5531"^^xsd:anyURI) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "State 5 of metal separation model"^^xsd:string) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Device")) ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: SubClassOf(DataHasValue( "string") DataHasValue( "string")) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Thing")) ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SubClassOf(DataHasValue( "long") ObjectUnionOf(DataHasValue( "double") DataHasValue( "float") DataHasValue( "integer") DataHasValue( "long"))) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "State 3 of metal separation model"^^xsd:string) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "0"^^xsd:integer) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(owl:Nothing owl:Thing) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Device")) ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "http://dbpedia.org/page/IEC_61131"^^xsd:string) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyAssertion( "Device") Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) ObjectUnionOf( )) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SubClassOf(DataHasValue( "true"^^xsd:boolean) ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses(ObjectSomeValuesFrom( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(owl:Nothing ObjectUnionOf( )) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "To Run") Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: DataPropertyDomain( ObjectUnionOf( )) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean)) owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: ClassAssertion(DataHasValue( "false"^^xsd:boolean) ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(DataHasValue( "false"^^xsd:boolean) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Thing")) ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Person")) DataHasValue( "Person")) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "SoftwareResource")) DataHasValue( "SoftwareResource")) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectComplementOf()) owl:Thing) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "State 1 of metal separation model"^^xsd:string) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Transition 3 between state 2 and state 3 of the metal separation model"^^xsd:string) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) owl:Thing) Inferred axiom: EquivalentClasses( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "true"^^xsd:boolean) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "To Cut") Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses(ObjectSomeValuesFrom( ) ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Thing") Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Gate activation for the metal elements in the metal separation process"^^xsd:string) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Device")) owl:Thing) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) ObjectSomeValuesFrom( )) Inferred axiom: DataPropertyAssertion( "Device") Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "false"^^xsd:boolean)) ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyRange( ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: SubClassOf(ObjectSomeValuesFrom( ) ObjectSomeValuesFrom( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: SubClassOf(ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean)) DataHasValue( "true"^^xsd:boolean)) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: SubClassOf(ObjectSomeValuesFrom( ) ObjectSomeValuesFrom( )) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(DataHasValue( "true"^^xsd:boolean) ) Inferred axiom: SubClassOf(DataHasValue( "integer") DataHasValue( "integer")) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Transition 7 between state 6 and state 0 of the metal separation model"^^xsd:string) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: EquivalentClasses(DataHasValue( "SoftwareResource") ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "boolean")) ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "Position 1 reached detector in the metal separation process"^^xsd:string) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "Device")) ObjectUnionOf( )) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "false"^^xsd:string) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( DataHasValue( "true"^^xsd:boolean)) DataHasValue( "true"^^xsd:boolean)) Inferred axiom: DataPropertyAssertion( "true"^^xsd:boolean) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyRange( owl:Thing) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion(ObjectSomeValuesFrom( ) ) Inferred axiom: SubObjectPropertyOf( ) Inferred axiom: ClassAssertion( ) Inferred axiom: DataPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: EquivalentObjectProperties(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ObjectSomeValuesFrom( )) Inferred axiom: SubClassOf( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf( ObjectUnionOf( )) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyDomain( owl:Thing) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf(DataHasValue( "Device") DataHasValue( "Device")) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectIntersectionOf(ObjectSomeValuesFrom( ) DataHasValue( "true"^^xsd:boolean))) owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentClasses(DataHasValue( "Person") ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: EquivalentDataProperties( ) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: SameIndividual( ) Inferred axiom: ClassAssertion( ) Inferred axiom: SubClassOf(ObjectSomeValuesFrom( ) ObjectSomeValuesFrom( )) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectComplementOf()) ObjectComplementOf()) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ClassAssertion(DataHasValue( "Person") ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectUnionOf(DataHasValue( "double") DataHasValue( "float") DataHasValue( "integer") DataHasValue( "long"))) ObjectUnionOf(DataHasValue( "double") DataHasValue( "float") DataHasValue( "integer") DataHasValue( "long"))) Inferred axiom: SubClassOf(owl:Nothing ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: SubClassOf( ) Inferred axiom: SubClassOf(DataHasValue( "integer") ObjectUnionOf(DataHasValue( "double") DataHasValue( "float") DataHasValue( "integer") DataHasValue( "long"))) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: SubClassOf(ObjectIntersectionOf( ObjectSomeValuesFrom( )) ) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "boolean"^^xsd:string) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ObjectPropertyRange( ) Inferred axiom: ClassAssertion(ObjectUnionOf( ) ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: DataPropertyDomain( owl:Thing) Inferred axiom: DataPropertyAssertion(owl:topDataProperty "http://dbpedia.org/page/IEC_61499"^^xsd:string) Inferred axiom: EquivalentObjectProperties( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: SameIndividual( ) Inferred axiom: SubClassOf( ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ClassAssertion( ) Inferred axiom: ObjectPropertyDomain( ObjectUnionOf( )) Inferred axiom: SubDataPropertyOf( ) Inferred axiom: EquivalentClasses( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty ) Inferred axiom: ObjectPropertyAssertion( ) Inferred axiom: ObjectPropertyAssertion(owl:topObjectProperty )