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

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

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Thu, 30 Jun 2005 14:18:49 +0100
Message-ID: <42C3F139.1060302@hplb.hpl.hp.com>
To: Gerd Wagner <wagnerg@tu-cottbus.de>
CC: public-rule-workshop-discuss@w3.org

Gerd Wagner wrote:

>     But isn't that the case with inferencing in general: it is scoped
>     either implicitly or explicity to some KB and never to the "whole
>     Web" (whatever that means)? For instance, if I use Racer with
>     Protege/OWL, the scope is implicitly the loaded ontology (including
>     potential imports). 

I think the point is that RDFS and OWL are designed to be monotonic so that 
whatever inferences you draw from your scoped use of Racer remain valid 
even when you take into account additional, as yet unseen, assertions.

NAF violates this, hence its use in the semantic web being ... a cause for 

Received on Thursday, 30 June 2005 13:19:13 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:48:33 UTC