Individual-Data Separation Inconsistency



Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F11
DialectBLD
PurposeTest that violation of separation of the individual and data value domains leads to inconsistency
DescriptionThe rule requires every element, including every concrete data value, to be a member of the class ex:A. However, OWL-Direct semantics requires every member of ex:A to not be a concrete data value. Therefore, the combination is inconsistent, and an inconsistent condition formula can be derived.
SeeAlso
SpecRefSWC#Semantics_of_RIF-OWL_DL_Combinations
ImportedDocument
Location http://example.org/mygraph
Turtle@prefix ex: <http://example.org/example#> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix owl: <http://www.w3.org/2002/07/owl#> . _:o rdf:type owl:Ontology . ex:A rdfs:subClassOf ex:B .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>) Prefix(ex <http://example.org/example#>) Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/OWL-Direct>) Group ( Forall ?x (?x[rdf:type -> ex:A]) ) )
XMLview RIF/XML
Conclusion
Presentation Syntax"a"="b"
XMLview RIF/XML
Last modified on 2 February 2010, at 13:07