Re: DAML bug

From: Mike Dean (mdean@bbn.com)
Date: 09/04/01

• Next message: Florian Krauss: "Queries with OILEd?"
• Previous message: Mike Dean: "Re: DAML and 'terminology'"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

> In http://www.daml.org/2001/03/daml+oil.daml, TransitiveProperty and
> UnambiguousProperty are both sub-classes of ObjectProperty, but
> UniqueProperty is a sub-class of rdf:Property.  This seems like a bug to me,
> or am I missing something?

TransitiveProperty deals with chaining of instances, so it
makes sense to only apply it to ObjectProperties.
UniqueProperty is basically an idiom for cardinality
constraints, and can be applied to any property.

It seems to me that UnambiguousProperty could also apply to
any property, e.g. a serial number (xsd:string or
xsd:decimal) could unambiguously identify a part.  In fact,
I think the most common usage is with Datatype properties.

I'm cc'ing some other folks to see if I missed something.  

> PS Was great to meet up with you in Seattle. Hope you enjoyed the rest of
> the conference.

Likewise!  I hope you also had a good holiday.

	Mike

• Next message: Florian Krauss: "Queries with OILEd?"
• Previous message: Mike Dean: "Re: DAML and 'terminology'"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/03/02 EST