Quantcast

Problem in definition of satisfaction, point 4

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

Problem in definition of satisfaction, point 4

Turner, David

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

[[
    There is some o \in R with <o,S(owl:Ontology)> \in ER(rdf:type) such
that
    for each Ontology Annotation of the form Annotation(p v),
    <o,S(v)> \in ER(p) and that if O has name n, then S(n) = o
]]

The v in Annotation(p v) may be an individual, as well as a URI or a
literal, so that S(v) is not defined. If v is a named individual then I
suspect that S(v) may be interpreted as S(v.name) but if v is an
anonymous individual it is unclear how to interpret this condition.

[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

Loading...