Names or not?

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

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

Cheers,

Dave

[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