- From: Jeff Z. Pan <pan@cs.man.ac.uk>
- Date: Wed, 5 Mar 2003 14:20:39 -0000
- 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 UTC