Kactus --- Reports

KACTUS-DO1a1

A. Bernaras, T. Turner, E. Meis, R. Ostermayer, A. Gittinger, W. Jansweijer, A. Th. Schreiber, and B. Wielinga. Analysis of formalisms. ESPRIT Project 8145 KACTUS, deliverable DO1a.1, LABEIN. LR, RPK & UvA, 1994.

KACTUS-DO1b1 (available online)

B. Wielinga, A. Th. Schreiber, W. Jansweijer, A. Anjewierden, and F. van Harmelen. Framework and formalism for expressing ontologies. ESPRIT Project 8145 KACTUS, deliverable DO1b.1, UvA, 1994.