TestCase:WebOnt-description-logic-663
From OWL Test Cases
| [Download OWL] | |
| Test Id | WebOnt-description-logic-663 |
|---|---|
| Description | DL Test: k_dum
ABox test from DL98 systems comparison. |
| Status | Extra credit (2009-07-22) (proposed 2009-05-13) |
| Author | Sean Bechhofer |
| Original syntax | RDF-XML |
| Syntactic Species/Profile | OWL 2 DL (not EL, not QL, not RL) |
| Semantics | This test is applicable under both direct and RDF-based semantics. |
| WebOnt test | http://www.w3.org/2002/03owlt/description-logic/Manifest663#test |
| Premise ontology (download)
Convert syntax: functional, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
| <rdf:RDF
xmlns:oiled="http://oiled.man.example.net/test#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base="http://www.w3.org/2002/03owlt/description-logic/premises663"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#C30.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.44"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#short" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C54.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.18"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C26.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.10"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C132.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.41"/> </owl:onProperty> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#byte" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C128.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.40"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C140"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C138"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C78"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C76"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#R1"/> </owl:onProperty> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C74"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C72"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C70"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C70"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C28"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.49"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#integer" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C26"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C14"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C24.comp"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.10"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C24"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C22"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.6"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C22"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C20.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C20"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C18"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.5"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C80.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.24"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C12.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.45"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C24.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.6"/> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#byte" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C36.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.11"/> </owl:onProperty> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C130.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.47"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C128"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C126"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.40"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C126"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C124"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C124"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C102.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.30"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#short" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C114.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.34"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C122"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C120"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C120"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C118.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C58"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.19"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C56"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C54.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C54"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.18"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C52"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C50"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C50"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C86"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C84"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C74"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C82"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C80.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C80"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C78"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.24"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C98.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.29"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C10.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.50"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C34.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.46"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C58.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.19"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C108"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C84"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C106.comp"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.32"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C106"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C104"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.31"/> </owl:onProperty> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C104"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C88"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C102.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C112.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.43"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C102"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C100"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.30"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#short" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C100"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C98.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C38"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C26.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C36.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C108.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.32"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C36"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.11"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C34"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C32.comp"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.46"/> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#nonNegativeInteger" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C32"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.9"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#short" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C30"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C28"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.44"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#short" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C138"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C136"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C136"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C134"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.1"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C134"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C122"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C132.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C132"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C130"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.41"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C130"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C128.comp"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.47"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C68"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C66"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C64"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C64"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C62"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C38"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C60.comp"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C60.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.20"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#byte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C60"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C48"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C58.comp"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.20"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#byte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C20.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.5"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C32.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.9"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#short" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C44.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.15"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C8"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C6"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.2"/> </owl:onProperty> <owl:minCardinality rdf:datatype="/2001/XMLSchema#short" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C28.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.49"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#integer" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C6"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#TEST"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C116"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C140"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C110.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:DatatypeProperty rdf:ID="P.33"/> </owl:onProperty> <owl:cardinality rdf:datatype="/2001/XMLSchema#decimal" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C4"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.1"/> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C18"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C106.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.31"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C16"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C118.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty> <owl:ObjectProperty rdf:ID="P.36"/> </owl:onProperty> <owl:maxCardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:maxCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C14"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C12"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C12"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.45"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#unsignedByte" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C10"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C8.comp"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.50"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C98"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C96"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.29"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C96"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C94"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C92"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C2"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C90"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C118"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.36"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C116"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C114.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#TOP"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C114"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#C112"/> </owl:someValuesFrom> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.34"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#byte" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C112"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C110.comp"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.43"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#int" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C110"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C62"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C108.comp"/> </owl:intersectionOf> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.33"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#decimal" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C8.comp"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.2"/> <owl:cardinality rdf:datatype="/2001/XMLSchema#short" >0</owl:cardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C48"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C42"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C46"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C46"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C44.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C44"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="#P.15"/> <owl:minCardinality rdf:datatype="/2001/XMLSchema#int" >1</owl:minCardinality> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C42"> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#C2.comp"/> <owl:Class rdf:about="http://oiled.man.example.net/test#C40"/> </owl:intersectionOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#C40"> <owl:equivalentClass> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:someValuesFrom rdf:resource="http://oiled.man.example.net/test#C2.comp"/> </owl:Restriction> </owl:equivalentClass> </owl:Class> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5475"> <rdf:type rdf:resource="http://oiled.man.example.net/test#TEST"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#TOP"/> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C112.comp"/> </owl:Restriction> </rdf:type> <oiled:R1> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5476"/> </oiled:R1> <rdf:type rdf:resource="http://oiled.man.example.net/test#C114.comp"/> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5478"> <rdf:type rdf:resource="http://oiled.man.example.net/test#C2"/> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C28.comp"/> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C10.comp"/> </owl:Restriction> </rdf:type> <rdf:type> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#R1"/> <owl:allValuesFrom rdf:resource="http://oiled.man.example.net/test#C2"/> </owl:Restriction> </rdf:type> <rdf:type rdf:resource="http://oiled.man.example.net/test#C30.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C12.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C34.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C130.comp"/> <rdf:type rdf:resource="http://oiled.man.example.net/test#C118.comp"/> </owl:Thing> </rdf:RDF> | |
| Conclusion ontology (download)
Convert syntax: functional, XML, Manchester This informative conversion will be incorrect for OWL 2 Full. info.pngConversions are provided by the OWL Syntax Converter which tries to "repair" OWL 2 Full inputs to become DL. | |
| <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:owl="http://www.w3.org/2002/07/owl#" xml:base="http://www.w3.org/2002/03owlt/description-logic/conclusions663" > <owl:Thing rdf:about="http://oiled.man.example.net/test#V5475"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C140"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5475"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C116"/> </rdf:type> </owl:Thing> <owl:Thing rdf:about="http://oiled.man.example.net/test#V5475"> <rdf:type> <owl:Class rdf:about="http://oiled.man.example.net/test#C138"/> </rdf:type> </owl:Thing> </rdf:RDF> | |
| Imported ontologies | none |
