Test Type | PositiveEntailmentTest |
---|
Contributor | Jos de Bruijn |
Status | Obsolete |
Record | October 21, 2008 telecon |
Dialect | BLD |
Purpose | Test that annotation properties are not discarded when considering OWL DL-annotation entailment |
Description | When 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 | |
SpecRef | SWC#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 . |
XML | view RDF/XML |
|
Premises |
Presentation Syntax | Document(
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])
)
) |
XML | view RIF/XML |
|
Conclusion |
|