Warning:
This wiki has been archived and is now read-only.

OWL Combination Vocabulary Separation Inconsistency 1

From RIF
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F11
DialectCore
PurposeTest that violation of separation of the (individual and data value) vocabulary leads to inconsistency
DescriptionThe same constant cannot be both an individual and a data value; this leads to inconsistency, and thus "a"="b" is entailed.
SeeAlsoOWL_Combination_Vocabulary_Separation_Inconsistency_2
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:myiri rdf:type ex:A .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>) Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/OWL-Direct>) Group ( ex:myiri[rdf:type -> xs:string] ) )
XMLview RIF/XML
Conclusion
Presentation Syntax"a"="b"
XMLview RIF/XML