W3C home > Mailing lists > Public > public-rif-wg@w3.org > November 2008

[test] disjunctive entailment without equality

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Thu, 27 Nov 2008 11:03:11 +0100
Message-ID: <492E705F.8060209@inf.unibz.it>
To: RIF WG <public-rif-wg@w3.org>
I created a test case concerning disjunctive entailment from negative
guards that does not involve equality (and the rule is safe).  In
hindsight, it is actually kind of obvious; just an application of
DeMorgan's.  Silly that I didn't think of it before.


With the proposed hasNotDatatype predicate you have exactly the same
issue: adding a hasNotDatatype as a conjunct to the body is equivalent
to adding hasDatatype as a disjunct to the head.

Best, Jos
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
  - Donald Foster

Received on Thursday, 27 November 2008 10:03:22 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:53 UTC