- From: Seth Russell <seth@robustai.net>
- Date: Sun, 29 Apr 2001 11:16:16 -0700
- To: "Danny Ayers" <danny@panlanka.net>, <www-rdf-interest@w3.org>
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
Received on Sunday, 29 April 2001 14:20:41 UTC