W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2007

Names or not?

From: Turner, David <davidt@hp.com>
Date: Thu, 22 Feb 2007 17:02:42 -0000
Message-ID: <86FE9B2B91ADD04095335314BE6906E8D6D494@sdcexc04.emea.cpqcorp.net>
To: <public-owl-dev@w3.org>

Hi all,

In the model-theoretic semantics [1], a vocabulary V is defined as a
6-tuple (NC, NI, ...) where NC is a set of OWL classes, NI is a set of
individuals (and some other stuff). The paragraph below that definition
goes on to say that these sets are not disjoint, thus the same *name*
can be used for a class and an individual and so forth.

Should NC (etc) be defined as a set of *names* of OWL classes (etc)? I
was under the impression that the sets of classes, individuals, and so
on are still disjoint for computational reasons, and the syntax makes
clear which interpretation of a particular name one should use at any

(The repeated use of the letter N also suggests that names are intended)



[1] http://www.w3.org/Submission/2006/SUBM-owl11-semantics-20061219/

Dave Turner  Cube T400, HP Labs Bristol, Filton Road, Bristol BS34 8QZ
davidt@hp.com          +44 117 3129104 (Work) +44 7962 811627 (Mobile)
Received on Thursday, 22 February 2007 17:03:03 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:14 UTC