Re: skolems: visible differences?

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

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.

peter

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