W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2008

Re: Proposal and Test cases (Re: skolems: visible differences?)

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



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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 16 January 2008 12:18:29 GMT