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

Annotation Entailment

From RIF
Jump to: navigation, search



Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusObsolete
RecordOctober 21, 2008 telecon
DialectBLD
PurposeTest that annotation properties are not discarded when considering OWL DL-annotation entailment
DescriptionWhen considering the OWL-DL-Annotation import profile, as opposed to the OWL-DL import profile, information about annotation properties and ontology properties is accessible from the RIF rules, and the rules may be used to draw conclusions based on such annotation properties. In this particular test case there is a mapping from the dc:type property to the ex:hasTitle property.


The status of this test was changed to Obsolete at the 23 June, 2009 telecon because RIF-OWL combinations are now defined for OWL 2, which extends OWL 1. Since annotations have no semantics in OWL 2 DL, the notion of owl-dl-annotation-entailment is rendered meaningless, and has thus been removed.
SeeAlso
SpecRefSWC#Annotation_properties
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/2007/rif-import-profile#OWL-DL-annotation>) Group ( Forall ?x ?y ( ?x[ex:hasTitle -> ?y] :- ?x[dc:title -> ?y]) ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:myOnto[ex:hasTitle -> "Example ontology"]
XMLview RIF/XML