W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2003

Re: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?

From: Bob MacGregor <macgregor@ISI.EDU>
Date: Wed, 05 Mar 2003 16:36:29 -0800
Message-Id: <5.1.1.6.0.20030305144909.00b5eec8@tnt.isi.edu>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-rdf-logic@w3.org

Peter,

At 09:06 AM 3/5/2003 -0500, Peter F. Patel-Schneider wrote:
>From: Bob MacGregor <macgregor@ISI.EDU>
>Subject: RE: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?
>Date: Tue, 04 Mar 2003 15:18:55 -0800
>
> >
> > GreaterThan is a transitive Datatype Property.
> > Equals is a symmetric Datatype Property.
>
>Well, neither of these make much sense in OWL DL, domains and ranges of OWL
>DL datatype properties are disjoint of necessity.
>
>They even don't have much utility in RDF, as you can't state any facts
>about such properties, as literals can't be the subject of triples.
>
>peter

I hope you are wrong at some level.  This is really basic, and
it OWL can't do it, then we really are in a sorry state.

I ought to be able to allocate a resource (a blank node) representing
John's age, and another representing Fred's age, and then assert that
John's age is greater than Fred's age:

      :age :John :_b1 .
      :age :Fred :_b2 .
      :_b1 :greaterThan :_b2 .

Are you claiming that

       :greaterThan :domain :Integer.
       :greaterThan :range :Integer.

are illegal triples?  If not, then why are my first three triples not
allowable?

Bob



Robert MacGregor
Project Leader
USC Information Sciences Institute
4676 Admiralty Way, Marina del Rey, CA 90292
macgregor@isi.edu
Phone: 310/448-8423, Fax: 310/822-6592
Mobile: 310/251-8488
Received on Wednesday, 5 March 2003 19:36:54 GMT

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