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:

     ObjectPropertyAssertion(:p :x _:y)

does not entail

     ObjectPropertyAssertion(:p :x _:y)

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

is consistent



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.

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:02 UTC