Clarification of EC extension table

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

Clarification of EC extension table

Turner, David

The table 'EC Extension table' [1] does not make clear the semantics of

    intersectionOf()

(with an empty list of descriptions) I suspect the answer is O; in which
case it may be clearer to interpret

    intersectionOf(c1 ... cn)

as

    O \cap EC(c1) \cap ... \cap EC(cn)

Not a typo, this one, just a clarification.



[1] http://www.w3.org/TR/owl-semantics/direct.html#3.2

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