Browse wiki
From OWL Test Cases
| TestCase:WebOnt-description-logic-022 |
| Features | Owl:intersectionOf +, Owl:unionOf +, Owl:complementOf +, Owl:onProperty +, Owl:someValuesFrom +, Owl:maxCardinality +, Rdfs:subClassOf +, Owl:equivalentClass +, Owl:ObjectProperty +, Owl:Class + |
|---|---|
| Has author | Sean Bechhofer + |
| Modification dateThis property is a special property in this wiki. | 7 January 2009 21:17:37 + |
| Premise ontology |
<rdf:RDF xml:base="http://www.w3.org/2002/03owlt/description-logic/inconsistent022" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#"> <owl:Ontology rdf:about=""/> <owl:Class rdf:about="http://oiled.man.example.net/test#Unsatisfiable"> <owl:equivalentClass> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class> <owl:intersectionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> </owl:intersectionOf> </owl:Class> </owl:someValuesFrom> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">4</owl:maxCardinality> </owl:Restriction> <owl:Restriction> <owl:onProperty rdf:resource="http://oiled.man.example.net/test#r"/> <owl:someValuesFrom> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:someValuesFrom> </owl:Restriction> </owl:intersectionOf> </owl:Class> </owl:equivalentClass> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p1"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p2"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p3"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"/> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:unionOf> </owl:Class> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p4"> <rdfs:subClassOf> <owl:Class> <owl:complementOf> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> </owl:complementOf> </owl:Class> </rdfs:subClassOf> </owl:Class> <owl:Class rdf:about="http://oiled.man.example.net/test#p5"/> <owl:ObjectProperty rdf:about="http://oiled.man.example.net/test#r"/> <rdf:Description> <rdf:type rdf:resource="http://oiled.man.example.net/test#Unsatisfiable"/> </rdf:Description> </rdf:RDF> |
| Test case author | Sean Bechhofer + |
| Test case description | DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case |
| Test case id | WebOnt-description-logic-022 + |
| Test case semantics | Test:DIRECT +, Test:RDF-BASED + |
| Test case species | Test:DL +, Test:FULL + |
| Test case status | Test:Approved + |
| Test case syntax | Test:RDFXML + |
| WebOnt test | http://www.w3.org/2002/03owlt/description-logic/Manifest022#test + |
| Categories | No EL profile test, No QL profile test, No RL profile test, InconsistencyTest |
| hide properties that link here |
| No properties link to this page. |
