a~EuE A@A A@A472 A@a0EQ2 a@702 e@A47.84I35Ek0K5 0 1 2 3 4 Class Definitions Concluding Remarks Property Definitions Reasoning and DAML Sean Bechhofer Carole Goble Information Management Group Department of Computer Science, University of Manchester , Kilburn Building Oxford Road Manchester M13 9PL UK 2 9

-

2.1 2.2 2.3 2.4

Layers of DAML+OIL

ANNOTATION 3.1

COHSE 3.1.1

Linking as Annotation 3.2 3.2.2

DISCUSSION 4.1

A n o n y m o us descriptio ns 4.2

O ntology

C o ntain m ent ! i ! =-=( ! ’ ? +-fikv 4.3

Instance vs. Aboutness 4.4 4.5

ACKNO

WLEDGEMENTS