W3C home > Mailing lists > Public > public-owl-wg@w3.org > December 2007

Re: skolems: visible differences?

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Mon, 10 Dec 2007 09:32:57 -0500 (EST)
Message-Id: <20071210.093257.104191050.pfps@research.bell-labs.com>
To: jjc@hpl.hp.com
Cc: public-owl-wg@w3.org

From: Jeremy Carroll <jjc@hpl.hp.com>
Subject: skolems: visible differences?
Date: Mon, 10 Dec 2007 12:22:10 +0000


> ===
> So I have some questions:
> If we agree to specify the use of Skolems, what visible difference does 
> it make (e.g. in terms of tests)


Well in the RDFS-compatible semantics almost any entailment from a
consistent ontology to a conclusion that incorporates OWL syntax
involving bnodes would become false.

This does not, of course, affect the direct model-theoretic semantics.

Received on Monday, 10 December 2007 14:54:14 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:29 GMT