The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.

Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grninger

Browse the full AISC paper archive.