From: "Danny Ayers" <danny@panlanka.net>
> I'm pretty sure there needn't be a contradiction, caused by
> if...then...else, it's just how you actually express it - I'll try and
find
> the exact bit, but I think it's done in DAML+OIL using : something is a
> subclass of NOT something else
Maybe it was that subclasses are assumed to be disjoint .. or perhaps that
they could be stated to be disjoint. Actually I think that there was a
lengthy discussion of this on RDF-LOGIC, but I forget if anything was
finally decided. Can anyone provide the references?
Seth