Problem in definition of satisfaction, point 1

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Problem in definition of satisfaction, point 1

Turner, David

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
[hidden email]          +44 117 3129104 (Work) +44 7962 811627 (Mobile)

Hewlett-Packard Limited. Registered No: 690597 England
Registered Office: Cain Road, Bracknell, Berks RG12 1HN