Inconsistent/Ontology/Exception Fact
Issue #23
invalid
Original [issue 23](https://code.google.com/p/factplusplus/issues/detail?id=23) created by dtsarkov on 2010-02-20T05:44:46.000Z:
<b>What steps will reproduce the problem?</b> 1. created ontology 2. run fact plus plus <b>3.</b>
<b>What is the expected output? What do you see instead?</b> get error message
<b>What version of the product are you using? On what operating system?</b> protege 4.1 fact plusplus 1.3
<b>Please provide any additional information below.</b>
<?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>
Comments (3)
-
reporter
-
reporter
Comment [
#2](https://code.google.com/p/factplusplus/issues/detail?id=23#c2) originally posted by dtsarkov on 2010-02-24T18:20:41.000Z:<empty>
-
reporter
Comment [
#3](https://code.google.com/p/factplusplus/issues/detail?id=23#c3) originally posted by dtsarkov on 2010-05-17T14:56:19.000Z:No other input received, close as invalid bug-report.
- Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=23#c1) originally posted by dtsarkov on 2010-02-24T18:14:54.000Z: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?