W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 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:

      <owl:onProperty rdf:resource="#R"/>
      <owl:someValuesFrom rdf:resource="#P"/>
   <owl:Class rdf:about="#Q"/>

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):

    (and (R x y) (P y))
    (Q x))

3) Assuming that IR is the inverse of R, it is also logically equivalent to:

   <owl:Class rdf:about="#P"/>
      <owl:onProperty rdf:resource="#R"/>
      <owl:allValuesFrom rdf:resource="#Q"/>

Thank you,

# Pierluigi Miraglia pierlu.m
# Austin, Tex.
Received on Sunday, 19 February 2006 04:08:33 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:13 UTC