Non-Annotation Entailment

From RIF

Revision as of 17:53, 2 November 2009 by StellaMitchell (Talk | contribs)
Jump to: navigation, search



Test TypeNegativeEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F11
DialectCore
PurposeTest that annotation properties are discarded when considering OWL DL entailment
DescriptionWhen using the OWL-DL 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
Format Turtle
Location http://example.org/mygraph
Text@prefix ex: <http://example.org/#> . @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 .
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/#>) Prefix(dc <http://purl.org/dc/elements/1.1/>) Import(<http://example.org/mygraph> <http://www.w3.org/2007/rif-import-profile#OWL-DL>) Group ( Forall ?x ?y ( ?x[ex:hasTitle -> ?y] :- ?x[dc:title -> ?y]) ) )
XMLview XML
Non-conclusion
Presentation Syntaxex:myOnto[ex:hasTitle -> "Example ontology"]
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Non-Annotation_Entailment"