Re: Extending daml+oil with concrete datatypes

On January 23, Stefan Decker writes:
> At 03:57 PM 1/23/2001 -0500, Peter F. Patel-Schneider wrote:
> >We don't have to give semantics to the green-brown example, it just
> >falls out from the semantic definitions.  Also, it is hard to forbid the
> >double-property restrictions, again because of problems with RDF.
> >
> >peter
> 
> 
> Wouldn't a cardinality constraint for the restriction definition
> in the DAML specification do the job of forbidding double-property 
> restrictions?

There are a number of problems with this, but apart from anything else
it doesn't solve the basic problem outlined in my recent reply to
Jeff.

Ian

Received on Tuesday, 23 January 2001 18:22:55 UTC