search

pavor84 / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

Inconsistent/Ontology/Exception Fact #23

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. created ontology
2. run fact plus plus
3.

What is the expected output? What do you see instead?
get error message

What version of the product are you using? On what operating system?
protege 4.1 fact plusplus 1.3

Please provide any additional information below.

<?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 Ontology1266563520390 
"http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#" >
    <!ENTITY Ontology12665635203902 
"http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#3" 
>
    <!ENTITY Ontology12665635203903 
"http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#1" 
>
]>

<rdf:RDF 
xmlns="http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.o
wl#"

xml:base="http://www.semanticweb.org/ontologies/2010/1/Ontology126656352039
0.owl"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:owl2xml="http://www.w3.org/2006/12/owl2-xml#"
     xmlns:Ontology12665635203903="&Ontology1266563520390;1"
     xmlns:Ontology12665635203902="&Ontology1266563520390;3"
     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#"

xmlns:Ontology1266563520390="http://www.semanticweb.org/ontologies/2010/1/O
ntology1266563520390.owl#">
    <owl:Ontology rdf:about=""/>

    <!-- 

///////////////////////////////////////////////////////////////////////////
////////////
    //
    // Object Properties
    //

///////////////////////////////////////////////////////////////////////////
////////////
     -->

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Area
Is -->

    <owl:ObjectProperty rdf:about="#AreaIs">
        <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
        <rdfs:domain rdf:resource="#Area"/>
        <rdfs:range rdf:resource="#Content"/>
        <rdfs:subPropertyOf rdf:resource="#Contentget"/>
    </owl:ObjectProperty>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Cont
entget -->

    <owl:ObjectProperty rdf:about="#Contentget">
        <owl:inverseOf rdf:resource="#AreaIs"/>
        <owl:inverseOf rdf:resource="#DepartmentIs"/>
        <rdfs:range>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#Contentget"/>
                <owl:someValuesFrom rdf:resource="#Content"/>
            </owl:Restriction>
        </rdfs:range>
    </owl:ObjectProperty>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Depa
rtmentIs -->

    <owl:ObjectProperty rdf:about="#DepartmentIs">
        <rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>
        <rdfs:range rdf:resource="#Content"/>
        <rdfs:subPropertyOf rdf:resource="#Contentget"/>
        <rdfs:domain rdf:resource="#Department"/>
    </owl:ObjectProperty>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#gets
Content -->

    <owl:ObjectProperty rdf:about="#getsContent">
        <rdfs:domain rdf:resource="#Content"/>
    </owl:ObjectProperty>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#isAr
ea -->

    <owl:ObjectProperty rdf:about="#isArea">
        <rdf:type rdf:resource="&owl;FunctionalProperty"/>
        <rdfs:range rdf:resource="#Area"/>
        <rdfs:domain rdf:resource="#Content"/>
        <rdfs:subPropertyOf rdf:resource="#getsContent"/>
    </owl:ObjectProperty>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#isDe
partment -->

    <owl:ObjectProperty rdf:about="#isDepartment">
        <rdfs:domain rdf:resource="#Content"/>
        <rdfs:range rdf:resource="#Department"/>
        <rdfs:subPropertyOf rdf:resource="#getsContent"/>
    </owl:ObjectProperty>

    <!-- 

///////////////////////////////////////////////////////////////////////////
////////////
    //
    // Classes
    //

///////////////////////////////////////////////////////////////////////////
////////////
     -->

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#1_Me
rcedes_Drive -->

    <owl:Class rdf:about="#1_Mercedes_Drive">
        <rdfs:subClassOf rdf:resource="#Montvale"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#3_Me
rcedes_Drive -->

    <owl:Class rdf:about="#3_Mercedes_Drive">
        <rdfs:subClassOf rdf:resource="#Montvale"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Area 
-->

    <owl:Class rdf:about="#Area">
        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Balt
imore -->

    <owl:Class rdf:about="#Baltimore">
        <rdfs:subClassOf rdf:resource="#East_Coast"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Cont
ent -->

    <owl:Class rdf:about="#Content">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#Contentget"/>
                <owl:someValuesFrom rdf:resource="#Area"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#Contentget"/>
                <owl:someValuesFrom rdf:resource="#Department"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Crai
g_Road -->

    <owl:Class rdf:about="#Craig_Road">
        <rdfs:subClassOf rdf:resource="#Montvale"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Depa
rtment -->

    <owl:Class rdf:about="#Department">
        <rdfs:subClassOf rdf:resource="&owl;Thing"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#East
_Coast -->

    <owl:Class rdf:about="#East_Coast">
        <rdfs:subClassOf rdf:resource="#Area"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#IT -
->

    <owl:Class rdf:about="#IT">
        <rdfs:subClassOf rdf:resource="#Department"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#IT_E
astCoast -->

    <owl:Class rdf:about="#IT_EastCoast">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#isDepartment"/>
                <owl:allValuesFrom rdf:resource="#IT"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#isArea"/>
                <owl:allValuesFrom rdf:resource="#East_Coast"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="#Content"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Jack
sonville -->

    <owl:Class rdf:about="#Jacksonville">
        <rdfs:subClassOf rdf:resource="#East_Coast"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Los_
Angeles -->

    <owl:Class rdf:about="#Los_Angeles">
        <rdfs:subClassOf rdf:resource="#West_Coast"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Mark
eting -->

    <owl:Class rdf:about="#Marketing">
        <rdfs:subClassOf rdf:resource="#Department"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Mark
eting_EastCoast -->

    <owl:Class rdf:about="#Marketing_EastCoast">
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#isArea"/>
                <owl:allValuesFrom rdf:resource="#East_Coast"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <owl:equivalentClass>
            <owl:Restriction>
                <owl:onProperty rdf:resource="#isDepartment"/>
                <owl:allValuesFrom rdf:resource="#Marketing"/>
            </owl:Restriction>
        </owl:equivalentClass>
        <rdfs:subClassOf rdf:resource="#Content"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Mont
vale -->

    <owl:Class rdf:about="#Montvale">
        <rdfs:subClassOf rdf:resource="#East_Coast"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#San_
Francisco -->

    <owl:Class rdf:about="#San_Francisco">
        <rdfs:subClassOf rdf:resource="#West_Coast"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#Warr
anty -->

    <owl:Class rdf:about="#Warranty">
        <rdfs:subClassOf rdf:resource="#Department"/>
    </owl:Class>

    <!-- 
http://www.semanticweb.org/ontologies/2010/1/Ontology1266563520390.owl#West
_Coast -->

    <owl:Class rdf:about="#West_Coast">
        <rdfs:subClassOf rdf:resource="#Area"/>
    </owl:Class>

    <!-- http://www.w3.org/2002/07/owl#Thing -->

    <owl:Class rdf:about="&owl;Thing"/>

    <!-- 

///////////////////////////////////////////////////////////////////////////
////////////
    //
    // General axioms
    //

///////////////////////////////////////////////////////////////////////////
////////////
     -->

    <rdf:Description>
        <rdf:type rdf:resource="&owl;AllDisjointClasses"/>
        <owl:members rdf:parseType="Collection">
            <rdf:Description rdf:about="#Area"/>
            <rdf:Description rdf:about="#Content"/>
            <rdf:Description rdf:about="#Department"/>
        </owl:members>
    </rdf:Description>
</rdf:RDF>

Original issue reported on code.google.com by ste.schw...@gmail.com on 20 Feb 2010 at 5:44

GoogleCodeExporter commented 9 years ago 
I don't see the issue there. The provided ontology is inconsistent, so no other
reasoning can be made (or make any sense). What is expected?

Original comment by dmitry.t...@gmail.com on 24 Feb 2010 at 6:14

GoogleCodeExporter commented 9 years ago

Original comment by dmitry.t...@gmail.com on 24 Feb 2010 at 6:20

GoogleCodeExporter commented 9 years ago 
No other input received, close as invalid bug-report.

Original comment by dmitry.t...@gmail.com on 17 May 2010 at 2:56