Action 195 Look in to what happens with OWL-R ruleset applied to annotation properties with subproperty axioms

• From: Alan Ruttenberg <alanruttenberg@gmail.com>
• Date: Tue, 19 Aug 2008 09:25:02 -0400
• To: "OWL 1.1" <public-owl-wg@w3.org>
• Message-Id: <20BCD5E8-D0B7-41B3-91E2-B437C4D01392@gmail.com>

The following rules are relevant to what happens with annotation  
properties in OWL-RL

T(?p1, rdfs:subPropertyOf, ?p2), T(?x, ?p1, ?y)
=> T(?x, ?p2, ?y)
T(?p, rdfs:domain, ?c),  T(?x, ?p, ?y)	
=> T(?x, rdf:type, ?c)
T(?p, rdfs:range, ?c), T(?x, ?p, ?y)
=> T(?y, rdf:type, ?c)
T(?p1, owl:equivalentProperty, ?p2), T(?x, ?p1, ?y)
=> T(?x, ?p2, ?y)
T(?p1, owl:equivalentProperty, ?p2), T(?x, ?p2, ?y)
=> T(?x, ?p1, ?y)
T(?p1, rdfs:subPropertyOf, ?p2), T(?p2, rdfs:subPropertyOf, ?p3)	
=> T(?p1, rdfs:subPropertyOf, ?p3)
T(?p1, owl:equivalentProperty, ?p2)
=> T(?p1, rdfs:subPropertyOf, ?p2), T(?p2, rdfs:subPropertyOf, ?p1)

Here are some consequences of these rules.

If someone using OWL-RL writes the RDF equivalent of

AnnotationProperty(p)
PropertyDomain(p c)
EntityAnnotation(x Annotation(p y))

then the the rule application will add

ClassAssertion(c x)

If we have
AnnotationProperty(p1)
and the triple
p rdfs:subPropertyOf p1

Then the rdf equivalent of
EntityAnnotation(x Annotation(p1 y))

Will be added.

-Alan

Received on Tuesday, 19 August 2008 13:25:45 UTC