OWL Combination Vocabulary Separation Inconsistency 2

From RIF
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F11
DialectCore
PurposeTest that violation of separation of the (object and datatype value property) vocabulary leads to inconsistency
DescriptionThe same property cannot have both individuals and data values in its range. In particular, since ex:hasChild is an owl:ObjectProperty, there may be no concrete data values (e.g., strings) in its range. Since in this case, there is a data value ("John") in its range, the combination is inconsistent, and an inconsistent atom ("a"="b") is derived.
SeeAlsoOWL_Combination_Vocabulary_Separation_Inconsistency_1
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 owl: <http://www.w3.org/2002/07/owl#> . _:o rdf:type owl:Ontology . ex:hasChild rdf:type owl:ObjectProperty .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/OWL-Direct>) Group ( ex:myiri[ex:hasChild -> "John"] ) )
XMLview RIF/XML
Conclusion
Presentation Syntax"a"="b"
XMLview RIF/XML