Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Institutions for database schemas and datasets, and . CALCO early ideas 2017, (2017)OSMonto - An Ontology of OpenStreetMap Tags, , , , and . State of the map Europe (SOTM-EU) 2011, (2011)Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design, , and . Logica Univeralis, 4 (2): 255-333 (2010)Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap, , and . Magdeburger Logistiktagung, (2011)How to write consistent CASL design specifications. (2000)CoFI note M-8.What is a Logic? (revised version), , , and . Logica Universalis, second edition, page 111-133. Birkhäuser, (2007)An Institutional View on Categorical Logic, , , , and . Int J Software Informatics, 1, page 129-152. (2007)Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen, (2005)Three Semantics for the Core of the Distributed Ontology Language, , and . IJCAI 2013, (2013)IJCAI 2013 track on Best Papers in Sister Conferences.Parametrized Exceptions, , and . Algebra and Coalgebra in Computer Science, volume 3629 of Lecture Notes in Computer Science, page 424-438. Springer; Berlin; http://www.springer.de, (2005)