Re: Proposal and Test cases (Re: skolems: visible differences?) from Jeremy Carroll on 2008-01-16 (public-owl-wg@w3.org from January 2008)

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 16 Jan 2008 12:18:01 +0000
To: Bijan Parsia <bparsia@cs.man.ac.uk>
CC: OWL Working Group WG <public-owl-wg@w3.org>
Message-ID: <478DF5F9.8050400@hpl.hp.com>

Hi Bijan,

just to check I've undertstood I thought I would send some of my own 
tests for your confirmation.

Bijan Parsia wrote:



TEST 5:
     ObjectPropertyAssertion(:p :x _:y)

does not entail

     ObjectPropertyAssertion(:p :x _:y)


TEST 6:
     ObjectPropertyAssertion(:p :x _:y)
     ObjectPropertyAssertion(:p :x :z)
     ClassAssertion( :p ObjectExactCardinality( 1, :x ) )

is consistent

===

Notes:

Test 5 shows that skolemization run twice provides different skolemized 
constants from the same input.

Test 6 shows that it is possible for a skolemized name and a URI name to 
refer to the same individual.

Jeremy

Received on Wednesday, 16 January 2008 12:18:28 UTC