- From: PL. Miraglia (home) <pierlu.m@gmail.com>
- Date: Sat, 18 Feb 2006 14:01:15 -0600
- To: public-owl-dev@w3.org, www-rdf-logic@w3.org
consider the following:
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#R"/>
<owl:someValuesFrom rdf:resource="#P"/>
</owl:Restriction>
<owl:Class rdf:about="#Q"/>
</rdfs:subClassOf>
I need some clarifications about this term: are these statements true or false?
1) The construct above is legal in OWL DL/Full not OWL Lite -- right?
(This is what the Wonderweb validator seems to indicate, although I
found some of the OWL documents a bit unclear)
2) It is logically equivalent to the this FOL formula (KIFfy style):
(implies
(and (R x y) (P y))
(Q x))
3) Assuming that IR is the inverse of R, it is also logically equivalent to:
<rdfs:subClassOf>
<owl:Class rdf:about="#P"/>
<owl:Restriction>
<owl:onProperty rdf:resource="#R"/>
<owl:allValuesFrom rdf:resource="#Q"/>
</owl:Restriction>
</rdfs:subClassOf>
Thank you,
--
# Pierluigi Miraglia pierlu.m
# Austin, Tex.
Received on Sunday, 19 February 2006 04:09:12 UTC