- From: <jos.deroo@agfa.com>
- Date: Wed, 29 Jun 2005 21:36:09 +0200
- To: hendler@cs.umd.edu
- Cc: Michael Kifer <kifer@cs.sunysb.edu>, public-rule-workshop-discuss@w3.org, public-rule-workshop-discuss-request@w3.org
> Mike - I didn't say that SNAF was controversial
Jim - in a particular case of SNAF e.g. using simple RDF entailment
I can see that
{the-triples-in-an-rdf-graph} log:notIncludes {some-other-triples}.
can work
but I'm extremely sceptical when combining (even) Horn rules with
requirement of non-unique name assumption
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 29 June 2005 19:37:13 UTC