W3C home > Mailing lists > Public > www-webont-wg@w3.org > November 2001

homework: proof the inconsistencies

From: <jos.deroo.jd@belgium.agfa.com>
Date: Thu, 29 Nov 2001 14:12:37 +0100
To: www-webont-wg@w3.org
Message-Id: <41256B13.004898F2.00@ambem5.eps.agfa.be>
I would like to see the inconsistencies in the stuff that I get
i.e. I would like to see the (hopefully not found) proofs for
e.g. the following sets of statements

  { _:x a _:y . _:x a _:z . _:y ont:complementOf _:z }

  { _:x a _:y . _:x a _:z . _:y ont:disjointWith _:z }

  { _:x a _:y . _:x a _:z . _:d a ont:Disjoint; :member _:y; :member _:z .
    _:y ont:differentIndividualFrom _:z }

  { _:x contact:mailbox _:o . _:y contact:mailbox _:o .
    _:x ont:differentIndividualFrom _:y }

  { _:x gc:parent _:y . _:y gc:parent _:x }

  { _:x gc:parent _:y . _:y gc:parent _:z . _:x gc:parent _:z }


--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 29 November 2001 08:13:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:46 GMT