W3C home > Mailing lists > Public > public-webont-comments@w3.org > April 2007

Problem in definition of satisfaction, point 1

From: Turner, David <davidt@hp.com>
Date: Thu, 5 Apr 2007 10:42:36 +0100
Message-ID: <86FE9B2B91ADD04095335314BE6906E8D6D4E0@sdcexc04.emea.cpqcorp.net>
To: <public-webont-comments@w3.org>

In the definition [1] of satisfaction of an ontology by an
interpretation, point 1 says

[[ 
   Each URI reference in O used as a class ID (datatype ID, 
   individual ID, data-valued property ID, individual-valued
   property ID, annotation property ID, annotation ID, 
   ontology ID) belongs to VC (VD, VI, VDP, VIP, VAP, VO, 
   respectively);
]]

The 'respectively' links a list of 8 properties to a list of 7
properties, which can't be right. Also, there doesn't seem to be such a
thing as an 'annotation ID'. An obvious fix is to delete 'annotation ID'
from the first list. It may also be desirable to add 'ontology property
ID' and 'VOP' to the respective lists.





[1] http://www.w3.org/TR/owl-semantics/direct.html#3.4

-- 
Dave Turner  Cube T400, HP Labs Bristol, Filton Road, Bristol BS34 8QZ
davidt@hp.com          +44 117 3129104 (Work) +44 7962 811627 (Mobile)

Hewlett-Packard Limited. Registered No: 690597 England
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Received on Thursday, 5 April 2007 09:42:45 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:43:30 GMT