%0 Conference Paper %1 LKMG:DistributedOntologyLanguage12 %A Lange, Christoph %A Kutz, Oliver %A Mossakowski, Till %A Grüninger, Michael %B Intelligent Computer Mathematics %D 2012 %E Jeuring, Johan %E Campbell, John A. %E Carette, Jacques %E Dos Reis, Gabriel %E Sojka, Petr %E Wenzel, Makarius %E Sorge, Volker %I Springer Verlag %K conference %N 7362 %P 463--467 %T The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization %@ 978-3-642-31373-8

@inproceedings{LKMG:DistributedOntologyLanguage12, acceptancerate = {73}, acceptanceratecomment = {MKM: 13/19, Calculemus: 6/9, AISC: 6/8, DML: 2/3, S&P: 11/12}, added-at = {2017-01-27T23:28:47.000+0100}, author = {Lange, Christoph and Kutz, Oliver and Mossakowski, Till and Gr{\"u}ninger, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2d73ffe9036e3fdb9794e0dfc6e402470/soeren}, booktitle = {{Intelligent Computer Mathematics}}, crossref = {CICM12}, editor = {Jeuring, Johan and Campbell, John A. and Carette, Jacques and Dos Reis, Gabriel and Sojka, Petr and Wenzel, Makarius and Sorge, Volker}, eprint = {1204.5093}, eprintclass = {cs.LO}, eprinttype = {arxiv}, eventdate = {2012-07-09/2012-07-14}, eventtitle = {Conferences on Intelligent Computer Mathematics (CICM)}, file = {http://arxiv.org/pdf/1204.5093}, interhash = {11cf328123472b5778a593fa247e7985}, intrahash = {d73ffe9036e3fdb9794e0dfc6e402470}, isbn = {978-3-642-31373-8}, keywords = {conference}, location = {Berlin and Heidelberg}, nokey = {CICM12}, nolabel = {CICM12}, number = 7362, pages = {463--467}, publisher = {Springer Verlag}, pubs = {clange,projects/ontoiop}, series = {Lecture Notes in Artificial Intelligence}, speaker = {Christoph Lange}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {The Distributed Ontology Language ({DOL}): Ontology Integration and Interoperability Applied to Mathematical Formalization}, venue = {Bremen, Germany}, vgwortseiten = {9}, year = 2012 }