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

> From: Jim Hendler [mailto:hendler@cs.umd.edu] 
> transitive datatype property is easy - zipcode in the same state
> 
> i.e.
> 
> if zipcode is a datatype property
> and SameStateAs is a property with range:zipcode, domain:zipcode
>   then saying
> SameStateAs is transitive is useful

Mmm.  Good point - and that answers the symmetric one, too, as
sameStateAs should be symmetric.  Thanks, Jim.

Just to muse on this a bit as a real-world application, however, I guess
I'd naturally have modelled it that SameStateAs applies between
addresses, not zipcodes, i.e. an address that has zipcode 20852 is in
the same state as one that has address 20740... etc.  This would better
match my own notion of an address, and would also allow for addresses
with the same code that are in different states --- which may not be
true in the US but is certainly true with UK postcodes as they keep
screwing with boundaries!

Given that there is this more-or-less-equivalent form in this case, what
cases do we know where that transformation *cannot* apply?  I'll respond
to Bob MacGregor's point separately.

		- Peter

Received on Wednesday, 5 March 2003 03:27:20 UTC