Consistent-but-all-unsat
From OWL Test Cases
[Download OWL] | |
Test Id | Consistent-but-all-unsat |
---|---|
Description | An ontology that is consistent, but all named classes are unsatisfiable. Ideas by Alan Ruttenberg |
Status | Approved (2009-09-10, when passed by 2 implementations) (proposed 2009-06-29) |
Author | Uli |
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. |
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. | |
<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [ <!ENTITY example "http://example.com/" > <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" > <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" > <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" > ]> <rdf:RDF xmlns="http://example.com/" xml:base="http://example.com/" xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#" xmlns:example="http://example.com/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#"> <owl:Ontology rdf:about="http://owl.semanticweb.org/page/Special:GetOntology/Consistent-but-all-unsat?m=p"/> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Object Properties // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://example.com/2aTOa --> <owl:ObjectProperty rdf:about="2aTOa"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:label rdf:datatype="&xsd;string">2a<=>a</rdfs:label> </owl:ObjectProperty> <!-- http://example.com/2aTObUNIONc --> <owl:ObjectProperty rdf:about="2aTObUNIONc"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:label rdf:datatype="&xsd;string">2a<=>bUNIONc</rdfs:label> </owl:ObjectProperty> <!-- http://example.com/aTO2a --> <owl:ObjectProperty rdf:about="aTO2a"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:label rdf:datatype="&xsd;string">a<=>2a</rdfs:label> <owl:inverseOf rdf:resource="2aTOa"/> </owl:ObjectProperty> <!-- http://example.com/aTOb --> <owl:ObjectProperty rdf:about="aTOb"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:label rdf:datatype="&xsd;string">a<=>b</rdfs:label> </owl:ObjectProperty> <!-- http://example.com/bUNIONcTO2a --> <owl:ObjectProperty rdf:about="bUNIONcTO2a"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:label rdf:datatype="&xsd;string">bUNIONc<=>2a</rdfs:label> <owl:inverseOf rdf:resource="2aTObUNIONc"/> </owl:ObjectProperty> <!-- http://example.com/bTOa --> <owl:ObjectProperty rdf:about="bTOa"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:label rdf:datatype="&xsd;string">b<=>a</rdfs:label> <owl:inverseOf rdf:resource="aTOb"/> </owl:ObjectProperty> <!-- http://example.com/bTOc --> <owl:ObjectProperty rdf:about="bTOc"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:label rdf:datatype="&xsd;string">b<=>c</rdfs:label> </owl:ObjectProperty> <!-- http://example.com/cTOb --> <owl:ObjectProperty rdf:about="cTOb"> <rdf:type rdf:resource="&owl;FunctionalProperty"/> <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/> <rdfs:label rdf:datatype="&xsd;string">c<=>b</rdfs:label> <owl:inverseOf rdf:resource="bTOc"/> </owl:ObjectProperty> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Classes // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://example.com/2a --> <owl:Class rdf:about="2a"> <rdfs:label rdf:datatype="&xsd;string">2a</rdfs:label> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="2aTObUNIONc"/> <owl:someValuesFrom rdf:resource="bUNIONc"/> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="2aTOa"/> <owl:someValuesFrom rdf:resource="a"/> </owl:Restriction> </rdfs:subClassOf> <owl:disjointWith rdf:resource="a"/> <owl:disjointWith rdf:resource="b"/> <owl:disjointWith rdf:resource="bUNIONc"/> <owl:disjointWith rdf:resource="c"/> </owl:Class> <!-- http://example.com/a --> <owl:Class rdf:about="a"> <rdfs:label rdf:datatype="&xsd;string">a</rdfs:label> <rdfs:subClassOf> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="i1"/> </owl:oneOf> </owl:Class> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="i2"/> </owl:oneOf> </owl:Class> <owl:Class> <owl:oneOf rdf:parseType="Collection"> <rdf:Description rdf:about="i3"/> </owl:oneOf> </owl:Class> </owl:unionOf> </owl:Class> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="aTO2a"/> <owl:someValuesFrom rdf:resource="2a"/> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="aTOb"/> <owl:someValuesFrom rdf:resource="b"/> </owl:Restriction> </rdfs:subClassOf> <owl:disjointWith rdf:resource="b"/> <owl:disjointWith rdf:resource="c"/> </owl:Class> <!-- http://example.com/b --> <owl:Class rdf:about="b"> <rdfs:label rdf:datatype="&xsd;string">b</rdfs:label> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="bTOc"/> <owl:someValuesFrom rdf:resource="c"/> </owl:Restriction> </rdfs:subClassOf> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="bTOa"/> <owl:someValuesFrom rdf:resource="a"/> </owl:Restriction> </rdfs:subClassOf> <owl:disjointWith rdf:resource="c"/> </owl:Class> <!-- http://example.com/bUNIONc --> <owl:Class rdf:about="bUNIONc"> <rdfs:label rdf:datatype="&xsd;string">bUNIONc</rdfs:label> <owl:equivalentClass> <owl:Class> <owl:unionOf rdf:parseType="Collection"> <rdf:Description rdf:about="b"/> <rdf:Description rdf:about="c"/> </owl:unionOf> </owl:Class> </owl:equivalentClass> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="bUNIONcTO2a"/> <owl:someValuesFrom rdf:resource="2a"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <!-- http://example.com/c --> <owl:Class rdf:about="c"> <rdfs:label rdf:datatype="&xsd;string">c</rdfs:label> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="cTOb"/> <owl:someValuesFrom rdf:resource="b"/> </owl:Restriction> </rdfs:subClassOf> </owl:Class> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Individuals // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://example.com/i1 --> <rdf:Description rdf:about="i1"/> <!-- http://example.com/i2 --> <rdf:Description rdf:about="i2"/> <!-- http://example.com/i3 --> <rdf:Description rdf:about="i3"/> </rdf:RDF> <!-- Generated by the OWL API (version 2.2.1.972) http://owlapi.sourceforge.net --> | |
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. | |
<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > <!ENTITY owl2xml "http://www.w3.org/2006/12/owl2-xml#" > <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" > <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" > <!ENTITY Ontology1242664364013 "http://www.semanticweb.org/ontologies/2009/4/Ontology1242664364013.owl#" > <!ENTITY Ontology12426643640132 "http://www.semanticweb.org/ontologies/2009/4/Ontology1242664364013.owl#2" > ]> <rdf:RDF xmlns="http://example.com/" xml:base="http://example.com/" xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#" xmlns:example="http://example.com/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:owl="http://www.w3.org/2002/07/owl#"> <owl:Ontology rdf:about="http://owl.semanticweb.org/page/Special:GetOntology/Consistent-but-all-unsat?m=c"/> <!-- /////////////////////////////////////////////////////////////////////////////////////// // // Classes // /////////////////////////////////////////////////////////////////////////////////////// --> <!-- http://www.semanticweb.org/ontologies/2009/4/Ontology1242664364013.owl/2a --> <owl:Class rdf:about="2a"> <rdfs:subClassOf rdf:resource="&owl;Nothing"/> </owl:Class> <!-- http://www.semanticweb.org/ontologies/2009/4/Ontology1242664364013.owl/a --> <owl:Class rdf:about="a"> <rdfs:subClassOf rdf:resource="&owl;Nothing"/> <rdfs:subClassOf rdf:resource="&owl;Thing"/> </owl:Class> <!-- http://www.semanticweb.org/ontologies/2009/4/Ontology1242664364013.owl/b --> <owl:Class rdf:about="b"> <rdfs:subClassOf rdf:resource="&owl;Nothing"/> </owl:Class> <!-- http://www.semanticweb.org/ontologies/2009/4/Ontology1242664364013.owl/c --> <owl:Class rdf:about="c"> <rdfs:subClassOf rdf:resource="&owl;Nothing"/> </owl:Class> <!-- http://www.w3.org/2002/07/owl#Nothing --> <owl:Class rdf:about="&owl;Nothing"/> <!-- http://www.w3.org/2002/07/owl#Thing --> <owl:Class rdf:about="&owl;Thing"/> </rdf:RDF> <!-- Generated by the OWL API (version 2.2.1.972) http://owlapi.sourceforge.net --> | |
Imported ontologies | none |