Consistent-but-all-unsat

From OWL Test Cases

Jump to:navigation, search
[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.
Open in RDF Validator

<?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&lt;=&gt;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&lt;=&gt;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&lt;=&gt;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&lt;=&gt;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&lt;=&gt;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&lt;=&gt;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&lt;=&gt;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&lt;=&gt;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.
Open in RDF Validator

<?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
Retrieved from "http://owl.semanticweb.org/page/Consistent-but-all-unsat"
Navigation
OWL 2 Informative
OWL 2 Normative
Toolbox