W3C home > Mailing lists > Public > semantic-web@w3.org > July 2012

Re: OWL equivalentClass question

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Fri, 13 Jul 2012 14:03:17 -0400
Message-ID: <CAFKQJ8k-dJTTV5dKrpxkrbf70jwZARSdwFs7WpKmztLc_8X2LQ@mail.gmail.com>
To: David Booth <david@dbooth.org>
Cc: Michael Schneider <schneid@fzi.de>, semantic-web@w3.org, nathan@webr3.org
On Fri, Jul 13, 2012 at 1:47 PM, David Booth <david@dbooth.org> wrote:

> On Fri, 2012-07-13 at 13:08 -0400, Alan Ruttenberg wrote:But that would
> render skolemization impossible, and it would conflict
> with the treatment of blank nodes as existentially qualified variables
> http://www.w3.org/TR/rdf-mt/#unlabel
> since it would be like saying "there exists an x, but you're not allowed
> to name x with a URI".
> >

It would be like saying, you can't change an expression "there exists an x"
to "x". They don't mean the same thing. If you have "y" then it implies
there exists an x. But it doesn't imply "x". Blank nodes, according to the
RDF semantics, mean "there exists an x".

As such, it would seem to break RDF entailment.

And if this is correct I would expect there to be a formal objection to the

Perhaps Micheal could shed some light.


> --
> David Booth, Ph.D.
> http://dbooth.org/
> Opinions expressed herein are those of the author and do not necessarily
> reflect those of his employer.
Received on Friday, 13 July 2012 18:04:15 UTC

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