- From: Turner, David <davidt@hp.com>
- Date: Thu, 5 Apr 2007 10:45:51 +0100
- 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 UTC