Re: What do the ontologists want from Drew McDermott on 2001-05-18 (www-rdf-logic@w3.org from May 2001)

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Fri, 18 May 2001 15:36:09 -0400 (EDT)
To: www-rdf-logic@w3.org
Message-Id: <200105181936.PAA17004@pantheon-po03.its.yale.edu>

   [seth russell]
   Incidentally, I'm still trying to wrap my pee brain around the idea that
   there is a problem with 'not' here.   To me {B subClass A.  C subClass A.  B
   not C.} is a perfectly valid thing to say and nicely implies {B xor C}.
   Does it not ?

I don't understand the example.  Is this three triples?  If so, what
does B not C mean?  Are A, B, and C themselves supposed to be triples
or reified triples?  If not, how do you negate a triple?

                                             -- Drew McDermott

Received on Friday, 18 May 2001 15:36:12 UTC