W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2008

Re: A possible way of going forward with OWL-R unification (ISSUE-131)

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Wed, 16 Jul 2008 11:31:08 -0400 (EDT)
Message-Id: <20080716.113108.71899949.pfps@research.bell-labs.com>
To: schneid@fzi.de
Cc: public-owl-wg@w3.org

From: "Michael Schneider" <schneid@fzi.de>
Subject: RE: A possible way of going forward with OWL-R unification (ISSUE-131)
Date: Sun, 13 Jul 2008 15:45:17 +0200

> Here is my opinion.
> 
> For me, a crucial point is whether OWL-R, when applied in the "relaxed mode", 
> i.e. as a triple rule language on arbitrary RDF graphs, will produce *every* 
> RDFS entailment.

Is it even possible for any finite rule set to produce *every* RDFS
entailment?  Remember that there are an infinite number of RDFS axioms.

[...]

> Best regards,
> Michael

peter
Received on Wednesday, 16 July 2008 15:32:00 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:05 UTC