W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2006

using owl:restrictions

From: PL. Miraglia (home) <pierlu.m@gmail.com>
Date: Sat, 18 Feb 2006 14:01:15 -0600
Message-ID: <e3b65f1f0602181201m638bb172y81da5eeec807df10@mail.gmail.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:51 GMT