Re: "If" and "else" in RDF

From: "Danny Ayers" <>

> 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
> 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?


Received on Sunday, 29 April 2001 14:20:41 UTC