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.

http://www.w3.org/2005/rules/wiki/Disjunctive_Information_from_Negative_Guards_3

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
scholar.
  - Donald Foster


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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:59 GMT