Specification of ontologies in CASL (2004)

by K Lüttich, T Mossakowski
Venue:Formal Ontology in Information Systems. Proceedings of the Third International Conference (FOIS 2004