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

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

From: Jeff Z. Pan <pan@cs.man.ac.uk>
Date: Wed, 5 Mar 2003 14:20:39 -0000
Message-ID: <00dd01c2e322$77c99cd0$6bc65882@cs.man.ac.uk>
To: "Bob MacGregor" <macgregor@ISI.EDU>, "Peter Crowther" <Peter.Crowther@networkinference.com>, "Dan Connolly" <connolly@w3.org>
Cc: <www-rdf-logic@w3.org>

From: "Bob MacGregor" <macgregor@ISI.EDU>
Subject: RE: Why isn't FunctionalProperty a subClassOf owl:ObjectProperty?

Bob,

> GreaterThan is a transitive Datatype Property.
> Equals is a symmetric Datatype Property.

I think GreaterThan and Equals are not datatype properties, according to the
definition of datatype property in OWL DL.

Actually GreaterThan and Equals are binary datatype predicates, which sadly can
not be  expressed as XML Schema datatypes. However, GreaterThan21 or Equals5 can
be defined as derived datatypes of int, which is a built-in XML Schema datatype.

Jeff
--
Jeff Z. Pan  ( http://DL-Web.man.ac.uk/ )
Computer Science Dept., The University of Manchester




>
> At 11:03 PM 3/4/2003 +0000, Peter Crowther wrote:
>
> > > From: Dan Connolly [mailto:connolly@w3.org]
> > > > In the OWL Reference Version 1.0 document it defines
> > > TransitiveProperty
> > > > and SymmetricProperty as a subClassOf owl:ObjectProperty.
> > >
> > > Ooops... that seems like a bug... hmm...
> >
> >I suspect it depends on whether you're in DL or in Full.  It would seem
> >a bit odd to me to have a transitive or a symmetric DatatypeProperty -
> >what do they mean? - but then I'm a DL weenie :-).
> >
> >                 - Peter
>
> 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 09:17:57 GMT

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