Code
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>
Comment #1
Posted on Feb 24, 2010 by Quick PandaI 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?
Comment #2
Posted on Feb 24, 2010 by Quick Panda(No comment was entered for this change.)
Comment #3
Posted on May 17, 2010 by Quick PandaNo other input received, close as invalid bug-report.
Status: Invalid
Labels:
Type-Other
Priority-Low