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

DOI10.1007/978-3-642-31374-5_37zbMath1360.68814arXiv1204.5093OpenAlexW1956737505MaRDI QIDQ2907352

Christoph Lange, Till Mossakowski, Michael Gruninger, Oliver Kutz

Publication date: 7 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1204.5093

Mathematics Subject Classification ID

Knowledge representation (68T30)

This page was built for publication: The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization