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

Problem in definition of satisfaction, point 5

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

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

[[ 
   I satisfies each ontology mentioned in an owl:imports 
   annotation directive of O.
]]

This recursive definition is ill-defined if the graph of owl:imports is
ill-founded (in particular, if there is a loop).

[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:46:01 GMT

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