Ontologies for the semantic web (2004)

by T Mossakowski, K Lttich, Kried-Brückner
Venue:in CASL. 17th Int. Workshop on Algebraic Development Techniques