W3C home > Mailing lists > Public > public-rule-workshop-discuss@w3.org > June 2005

Re: NAF v. SNAF - where is this being addressed?

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
Message-ID: <OF3A3AC678.8D8016C2-ONC125702F.006A5231-C125702F.006BA668@agfa.com>

> 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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:09:19 UTC