Re: skolems: visible differences?

From: Jeremy Carroll <>
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 UTC