From: Peter F. Patel-Schneider ([email protected])
Date: 01/30/01
This problem can be removed by employing the (admittedly counter-intuitive)
notion of having complement be relative to the abstract sub-domain.
peter
From: Ian Horrocks <[email protected]>
Subject: Re: Suggested changes to concrete datatypes proposal
Date: Tue, 30 Jan 2001 18:38:20 +0000 (GMT)
> Peter,
>
> As you say, preventing 3 from degenerating into 1 is difficult. I
> think that what you have proposed below suffers from the problem I
> mentioned in my reply to Jeff. i.e., when you negate modal atoms you
> get an implicit union of abstract and concrete types. This is the
> reason for having separate concrete and abstract properties.
>
> Ian
This archive was generated by hypermail 2.1.4 : 04/02/02 EST