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.comReceived on Thursday, 19 July 2001 08:51:21 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 October 2009 08:34:47 GMT