W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

Re: S&AS: Treatment of imports in RDF-Compatible Semantics

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Thu, 22 May 2003 04:15:46 -0400 (EDT)
Message-Id: <20030522.041546.103030442.pfps@research.bell-labs.com>
To: www-webont-wg@w3.org

From: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Subject: Re: S&AS: Treatment of imports in RDF-Compatible Semantics
Date: Thu, 22 May 2003 03:52:24 -0400 (EDT)

> From: Jeff Heflin <heflin@cse.lehigh.edu>
> Subject: S&AS: Treatment of imports in RDF-Compatible Semantics
> Date: Mon, 19 May 2003 14:48:11 -0400

[...]

> Yes, there is an oversight here.  I propose, however, to instead use
> 
>   Definitions: Let K and Q be imports-closed collections of RDF graphs.
>   [... as before]
> 
> peter

On further reflection, I propose to leave the definition the same, but to
add wording to the effect that entailment is best carried out on
imports-closed collections, as follows:


<p>
OWL Full entailment as defined here is not the service that should be
provided by OWL tools.  Instead, OWL tools should provide a service that
first computes the imports closures and then determines whether one
imports-closed collection entails the other.
</p>

peter
Received on Thursday, 22 May 2003 04:15:58 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT