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

Clarification of EC extension table

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

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


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

    intersectionOf(c1 ... cn)


    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
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:14 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:09:30 UTC