Re: Inconsistency is not raised dataAllValuesFrom

• From: Bijan Parsia <bijan.parsia@manchester.ac.uk>
• Date: Thu, 25 Dec 2014 09:41:39 -0500
• To: Leila Bayoudhi <bayoudhileila@yahoo.fr>
• Cc: "public-owl-dev@w3.org" <public-owl-dev@w3.org>
• Message-Id: <FDCEB0D3-3EC5-4F99-847B-EE6A816D2EA1@manchester.ac.uk>

It is exactly the same in both cases.

	p only anUnsatExperession
is always satisfiable, whether object or data.

So,
	p only Nothing.

Is satisfiable. Intuitively, it’s the class of all objects which have no p-successors.

I attach an ontology illustrating this. A and B are both Satisfiable. D is not.

Cheers,
Bijan.

<?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 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://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#"
     xml:base="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    <owl:Ontology rdf:about="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#p -->

    <owl:ObjectProperty rdf:about="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#p"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#q -->

    <owl:DatatypeProperty rdf:about="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#q"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#A -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#A">
        <rdfs:subClassOf>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#p"/>
                        <owl:allValuesFrom rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#C"/>
                    </owl:Restriction>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#p"/>
                        <owl:allValuesFrom>
                            <owl:Class>
                                <owl:complementOf rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#C"/>
                            </owl:Class>
                        </owl:allValuesFrom>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#B -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#B">
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#q"/>
                <owl:allValuesFrom rdf:resource="&xsd;integer"/>
            </owl:Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#q"/>
                <owl:allValuesFrom rdf:resource="&xsd;boolean"/>
            </owl:Restriction>
        </rdfs:subClassOf>
    </owl:Class>
    


    <!-- http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#C -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#C"/>
    


    <!-- http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#D -->

    <owl:Class rdf:about="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#D">
        <rdfs:subClassOf>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#p"/>
                        <owl:someValuesFrom rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#C"/>
                    </owl:Restriction>
                    <owl:Restriction>
                        <owl:onProperty rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#p"/>
                        <owl:allValuesFrom>
                            <owl:Class>
                                <owl:complementOf rdf:resource="http://www.semanticweb.org/ontologies/2014/11/untitled-ontology-32#C"/>
                            </owl:Class>
                        </owl:allValuesFrom>
                    </owl:Restriction>
                </owl:intersectionOf>
            </owl:Class>
        </rdfs:subClassOf>
    </owl:Class>
</rdf:RDF>

Received on Thursday, 25 December 2014 14:42:09 UTC