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

@inproceedings{pub6642,
    author = {

Lange, Christoph
 and 

Kutz, Oliver
 and 

Mossakowski, Till
 and 

Grüninger, Michael
},
    title = {The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization},
    booktitle = {Conferences on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-12), July 8-13, Bremen, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2012},
    volume = {7362},
    organization = {Jacobs University Bremen},
    publisher = {Springer}
}