W3C home > Mailing lists > Public > public-owl-dev@w3.org > October to December 2007

Re: [TF:DbE] The easiest keys there are

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Wed, 3 Oct 2007 16:39:29 +0100
Message-Id: <19DE9974-81F2-4808-8C3E-9A582BD0D408@cs.man.ac.uk>
Cc: ewallace@cme.nist.gov, public-owl-dev@w3.org
To: Matthew Pocock <matthew.pocock@ncl.ac.uk>

On 3 Oct 2007, at 15:28, Matthew Pocock wrote:

> I Am Not A Logician...
> This is a direct result of the keys being mapped injectively on to the
> instances.

Hmm. You claim not to be a logician, but talk about injective  


> Is that about right Bijan?

Quick check reveals to me that you got why more elaborate key  
reasoning is hard (i.e., why we don't want to have to work with  
unnamed individuals or unknown key values and restrictions on key  
properties). I took Evan to be asking about why we can't have "check"  
semantics for keys (i.e., missing keys are a violation).

In terms of the poster, I was explaining the far left option and you  
were explaining the far right one.

Either way, we done explaint it!

Received on Wednesday, 3 October 2007 15:38:17 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:40:49 UTC