RE: Resources with more than one type

Thanks to Tim BL and Thomas Passin for their comments.  I realise now what
was confusing me: clearly an instance can have many types (i.e. be a member
of many classes), and a class can extend many super-classes. What I hadn't
been expecting was that elements of the DAML vocabulary at the level (q.v.
[1]) of Class or Property, rather than at the level of instances, would have
multiple types per se.  Clearly, I was wrong about this.  

In other words, just because daml:Class has type (is an) rdfs:Class, there's
no reason it can't become, in addition, any other kind of thing at any time.
Expect the unexpected :-)

Cheers,
Ian

[1] Metamodelling architecture of web ontology languages. Pan, J.Z. &
Horrocks, I. 2001.

_______________________________________________________________________
Ian J. Dickinson    HP Labs, Bristol, UK    mailto:Ian_Dickinson@hp.com

Received on Thursday, 19 July 2001 08:51:21 UTC