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

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

From: Jim Hendler <hendler@cs.umd.edu>
Date: Tue, 4 Mar 2003 18:15:27 -0500
Message-Id: <p05200f13ba8ae2f96f6a@[]>
To: "Peter Crowther" <Peter.Crowther@networkinference.com>, "Dan Connolly" <connolly@w3.org>
Cc: <www-rdf-logic@w3.org>

At 23:03 +0000 3/4/03, 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

transitive datatype property is easy - zipcode in the same state


if zipcode is a datatype property
and SameStateAs is a property with range:zipcode, domain:zipcode
  then saying
SameStateAs is transitive is useful


20852 SameStateAs 20740
20740 SameStateAs 20861

20852 SameStateAs 20861

so I don't need an interstate shipping permit if sending a package 
between 20852 and 20861.
p.s. note that I cannot actually define a zipcode in OWL based on the 
stuff about derived classes.  Assume, therefore, I just use 
xsd:nonNegativeInteger and am careful to use only legal zipcodes.
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
Received on Tuesday, 4 March 2003 18:15:38 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:39 UTC