Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}