Problem in definition of satisfaction, point 5

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Open this post in threaded view
Report Content as Inappropriate

Problem in definition of satisfaction, point 5

Turner, David

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).


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