From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
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 <horrocks@cs.man.ac.uk> 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