Re: skolems: visible differences?

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