Re: A possible way of going forward with OWL-R unification (ISSUE-131) from Peter F. Patel-Schneider on 2008-07-16 (public-owl-wg@w3.org from July 2008)

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

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