Non-Annotation Entailment

From RIF
Jump to: navigation, search



Test TypeNegativeEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F11
DialectCore
PurposeTest that annotation properties are discarded when considering OWL-Direct entailment
DescriptionWhen using the OWL-Direct profile for importing ontologies, annotation properties must be discarded, and do not affect the rules or the conclusions that may be drawn from the ruleset.
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 owl: <http://www.w3.org/2002/07/owl#> . @prefix dc: <http://purl.org/dc/elements/1.1/> . ex:myOnto rdf:type owl:Ontology . ex:myOnto dc:title "Example ontology" . dc:title rdf:type owl:OntologyProperty .
XMLview RDF/XML
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(dc <http://purl.org/dc/elements/1.1/>) Import(<http://example.org/mygraph> <http://www.w3.org/ns/entailment/OWL-Direct>) Group ( Forall ?x ?y ( ?x[ex:hasTitle -> ?y] :- ?x[dc:title -> ?y]) ) )
XMLview RIF/XML
Non-conclusion
Presentation Syntaxex:myOnto[ex:hasTitle -> "Example ontology"]
XMLview RIF/XML