Logic & Ontologies

Distributed Ontology, Modeling and Specification Language (DOL)

The Distributed Ontology, Modeling and Specification Language (DOL) has been designed to achieve integration and interoperability of ontologies, specifications and models (OMS for short). DOL is a language for distributed knowledge representation, system specification and model-driven development across multiple OMS, particularly OMS that have been formalized in different OMS languages and logics. DOL has been standardised as a standard of the  Object Management Group. We also have developed some DOL extension for Ontology design patterns.

DOL resources

Common Algebraic Specification Language (CASL)

The Common Framework Initiative is a voluntary organization, sponsored by  IFIP WG1.3, and founded as an open collaborative effort to produce a Common Framework for Algebraic Specification and Development, including  CASL, the Common Algebraic Specification Language. CASL has strongly influenced the development fo DOL.

Heterogeneous Tool Set (Hets)

Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications, in particular for the languages CASL and DOL. Logic translations are first-class citizens.

 Hets homepage

Ontology development

We participate actively in the development of the  Open Energy Ontology.

Completed projects

Publications

2025

Monadic ULLER: A Unified Categorical Semantics of the Neurosymbolic ULLER Framework.
In: G. Eleonora, P. Hitzler and E. van Krieken, editors, 19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025). 2025. to appear
Daniel Schellhorn and Till Mossakowski.
 [BibTeX] 

Box Embeddings for Extending Ontologies: A Data-Driven and Interpretable Approach.
Journal of Cheminformatics, 17(138), 2025.
Adel Memariani, Martin Glauer, Simon Flügel, Fabian Neuhaus, Janna Hastings and Till Mossakowski.
 [doi]   [BibTeX] 

Semantic Dependency in Ontologies.
In: C. Masolo, editor, International Conference on Formal Ontology in Information Systems (FOIS) . 2025. to appear
Fabian Neuhaus, Martin Glauer, Till Mossakowski, Lilly Gerlach and Colin Heidfeld.
 [BibTeX] 

ChemLog: Making MSOL Viable for Ontological Classification and Learning.
In: A. Tamaddoni-Nezhad, editor, 5th International Joint Conference on Learning and Reasoning (IJCLR 2025) . 2025. To appear
Simon Flügel, Martin Glauer, Till Mossakowski and Fabian Neuhaus.
 [BibTeX] 

Modelling model uncertainties ontologically .
In: C. Masolo, editor, International Conference on Formal Ontology in Information Systems (FOIS) . 2025. to appear
Mirjam Stappel, Till Mossakowski, Fabian Neuhaus and Sarah Berendes.
 [BibTeX] 

2024

Chebifier: Automating semantic classification in ChEBI to accelerate data-driven discovery.
Digital Discovery, 2024.
Martin Glauer, Fabian Neuhaus, Simon Flügel, Marie Wosny, Till Mossakowski, Adel Memariani, Johannes Schwerdt and Janna Hastings.
 [doi]   [abstract]   [BibTeX] 

2023

Neuro-symbolic semantic learning for chemistry.
In: P. Hitzler, M. K. Sarker and A. Eberhart, editors, A Compendium of Neuro-Symbolic Artificial Intelligence, chapter 21, pages 460 - 484. IOS press, 2023.
Martin Glauer, Till Mossakowski, Fabian Neuhaus, Adel Memariani and Janna Hastings.
 [doi]   [abstract]   [BibTeX] 

Ontology Pre-training for Poison Prediction.
In: D. Seipel and A. Steen, editors, German conference on artificial intelligence 2023, volume 14236, series Lecture Notes in Artificial Intelligence, pages 31-45. Springer, 2023. Best paper award. Also available at doi.org/10.48550/arXiv.2301.08577
Martin Glauer, Fabian Neuhaus, Till Mossakowski and Janna Hastings.
 [doi]   [abstract]   [BibTeX] 

Extending OWL2 Manchester Syntax to include missing features from OWL2 Abstract Syntax.
In: C. Lutz, A. Ozaki and O. Kutz, editors, DL 2023 - 36th International Workshop on Description Logics, volume 3515, series CEUR workshop proceedings. 2023.
Björn Gehrke and Till Mossakowski.
 [doi]   [BibTeX] 

2022

Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden, August 15-19, 2022.
CEUR Workshop Proceedings. volume 3249. CEUR-WS.org, 2022.
Tiago Prince Sales, Maria M. Hedblom, He Tan, Guendalina Righetti, Oliver Kutz, Martin Glauer, Janna Hastings, Till Mossakowski, Fabian Neuhaus, Luca Gómez Álvarez, Rafael Peñaloza, Srdjan Vesic, Claudenir Morais Fonseca, Jona Thai, Stefano Borgo, Damion M. Dooley, Rhiannon Cameron, Lauren E. Chan, Duccio Cavalieri, Robert Warren, Hande Küçük-McGinty, Matthew Lange, Fernanda Forea, Francesco Vitali, Bart Gajderowicz, Daniela Rosu, Aldo Gangemi, Robert Porzel, Daniel Beßler, Mihai Pomarlan, Mohammed Diab and Alberto Olivares Alarcos.
 [doi]   [BibTeX] 

2021

Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification..
Journal of Cheminformatics, 13(23), 2021.
Janna Hastings, Martin Glauer, Adel Memariani, Fabian Neuhaus and Till Mossakowski.
 [doi]   [BibTeX] 

Generic Ontology Design Patterns: Roles and Change over Time .
In: E. Blomqvist, T. Hahmann, K. Hammar, P. Hitzler, R. Hoekstra, R. Mutharaju, M. Poveda-Villalón, C. Shimizu, M. G. Skjæveland, M. Solanki, V. Svátek and L. Zhou, editors, Advances in Pattern-Based Ontology Engineering, chapter 2, pages 25-47. IOS press, 2021.
Bernd Krieg-Brückner, Till Mossakowski and Mihai Codescu.
 [doi]   [BibTeX] 

Introducing the Open Energy Ontology: Enhancing Data Interpretation and Interfacing in Energy Systems Analysis.
Energy and AI, 2021.
Meisam Booshehri, Lukas Emele, Simon Flügel, Hannah Förster, Johannes Frey, Ulrich Frey, Martin Glauer, Janna Hastings, Christian Hofmann, Carsten Hoyer-Klick, Ludwig Hülk, Anna Kleinau, Kevin Knosala, Leander Kotzur, Patrick Kuckertz, Till Mossakowski, Christoph Muschner, Fabian Neuhaus, Michaja Pehl, Martin Robinius, Vera Sehn and Mirjam Stappel.
 [doi]   [BibTeX] 

Automated and explainable ontology extension based on deep learning: A case study in the chemical domain.
In: R. Confalonieri, O. Kutz and D. Calvanese, editors, International Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021), volume 2998, series CEUR Workshop Proceedings. ceur-ws.org/Vol-2998/, 2021.
Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski and Janna Hastings.
 [doi]   [BibTeX] 

2020

Generic Ontology Design Patterns: Roles and Change over Time.
2020.
Bernd Krieg-Brückner, Till Mossakowski and Mihai Codescu.
 [doi]   [BibTeX] 

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), Virtual & Bozen-Bolzano, Italy, August 31st to October 7th, 2020.
CEUR Workshop Proceedings. volume 2708. CEUR-WS.org, 2020.
Karl Hammar, Oliver Kutz, Anastasia Dimou, Torsten Hahmann, Robert Hoehndorf, Claudio Masolo, Randi Vita, Sarra Ben Abbès, Rim Hantach, Philippe Calvez, Tiago Prince Sales, Daniele Porello, Daniel Beßler, Stefano Borgo, Mohammed Diab, Aldo Gangemi, Alberto Olivares Alarcos, Mihai Pomarlan, Robert Porzel, Martin G. Skjæveland, Daniel P. Lupp, Ian Horrocks, Johan W. Klüwer, Christian Kindermann, Loris Bozzato, Till Mossakowski and Luciano Serafini.
 [doi]   [BibTeX] 

2019

Generic Ontology Design Patterns at Work.
In: T. Hahmann, R. Peñaloza, S. Schulz, G. Guizzardi, O. Kutz and N. Troquard, editors, 2nd International Workshop on Bad Or Good Ontology (BOG). Part of Joint Ontology Workshops (JOWO). 2019.
Bernd Krieg-Brückner, Till Mossakowski and Fabian Neuhaus.
 [doi]   [abstract]   [BibTeX] 

Extensions of Generic DOL for Generic Ontology Design Patterns.
In: WoMoCoE, Joint Ontology Workshops (JOWO). 2019.
Mihai Codescu, Bernd Krieg-Brückner and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

WOMoCoE - 4th International Workshop on Ontology Modularity, Contextuality, and Evolution.
CEUR Workshop Proceedings. volume 2518. 2019. part of the JOWO 2019 The Joint Ontology Workshops Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology Graz, Austria, September 23-25, 2019.
Stefano Borgo, Loris Bozzato, Till Mossakowski and Antoine Zimmermann.
 [doi]   [BibTeX] 

Towards Fuzzy Neural Conceptors.
IfCoLog Journal of Logics and their Applications, 6(4):725-744, 2019.
Till Mossakowski, Razvan Diaconescu and Martin Glauer.
 [doi]   [BibTeX] 

Institutions for SQL Database Schemas and Datasets..
In: J. L. Fiadeiro and I. Tutu, editors, WADT, volume 11563, series Lecture Notes in Computer Science, pages 67-86. Springer, 2019.
Martin Glauer and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

2018

Partial pushout semantics of generics in DOL.
Theoretical Computer Science, 741:58-70, 2018.
Till Mossakowski and Bernd Krieg-Brückner.
 [doi]   [abstract]   [BibTeX] 

Multi-view Consistency in UML. A Survey.
In: R. Heckel and G. Taentzer, editors, Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig, volume 10800, series Lecture Notes in Computer Science, pages 1-25. Springer Verlag, 2018. see also arxiv.org/abs/1610.03960
Alexander Knapp and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

Conceptual Blending in DOL: Evaluating Consistency and Conflict Resolution.
In: R. Confalonieri, A. Pease, M. Schorlemmer, T. Besold, O. Kutz, E. Maclean and M. Kaliakatsos-Papakostas, editors, Concept Invention. Foundations, Implementation, Social Aspects and Applications, pages 69-98. Springer, 2018.
Mihai Codescu, Fabian Neuhaus, Till Mossakowski, Oliver Kutz and Danny de Jesús Gómez-Ramírez.
 [doi]   [abstract]   [BibTeX] 

Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, USA, October 29th, 2018..
CEUR Workshop Proceedings. volume 2237. CEUR-WS.org, 2018.
Kristijonas Cyras, Tiago Oliveira, Matthew Williams, Loris Bozzato, Martin Homola, Till Mossakowski and Antoine Zimmermann.
 [doi]   [BibTeX] 

2017

Between Contact and Support: Introducing a logic for image schemas and directed movement.
In: 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), pages 256-268. 2017.
Maria M. Hedblom, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.
 [doi]   [BibTeX] 

Ontohub: A semantic repository engine for heterogeneous ontologies.
Applied ontology, 12(3-4):275-298, 2017.
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski and Fabian Neuhaus.
 [doi]   [BibTeX] 

The Distributed Ontology, Model and Specification Language – DOL.
In: M. Roggenbach, editor, WADT 2016, volume 10644, series LNCS, pages 5-10. Springer, 2017.
Till Mossakowski.
 [doi]   [BibTeX] 

Specification refinements: calculi, tools, and applications.
Science of Computer Programming, 144:1–49, 2017.
Mihai Codescu, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.
 [doi]   [abstract]   [BibTeX] 

A categorical approach to networks of aligned ontologies.
Journal on data semantics, 6(4):155-197, 2017.
Mihai Codescu, Till Mossakowski and Oliver Kutz.
 [doi]   [BibTeX] 

Canonical Selection of Colimits.
In: M. Roggenbach, editor, WADT 2016, volume 10644, series LNCS, pages 170-188. Springer, 2017.
Till Mossakowski, Florian Rabe and Mihai Codescu.
 [doi]   [BibTeX] 

Institutions for database schemas and datasets.
In: CALCO early ideas 2017. 2017.
Martin Glauer and Till Mossakowski.
 [doi]   [BibTeX] 

UML interactions meet state machines - an institutional approach.
In: F. Bonchi and B. König, editors, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO). LIPICS, 2017.
Alexander Knapp and Till Mossakowski.
 [doi]   [BibTeX] 

Generic Ontologies and Generic Ontology Design Patterns.
In: Ontology Design and Patterns, workshop at ISWC 2017. 2017.
Bernd Krieg-Brückner and Till Mossakowski.
 [doi]   [BibTeX] 

2016

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), Annecy, France, July 6-9, 2016..
CEUR Workshop Proceedings. volume 1660. CEUR-WS.org, 2016.
Oliver Kutz, Sergio de Cesare, Maria M. Hedblom, Tarek Richard Besold, Tony Veale, Frederik Gailly, Giancarlo Guizzardi, Mark Lycett, Chris Partridge, Oscar Pastor, Michael Grüninger, Fabian Neuhaus, Till Mossakowski, Stefano Borgo, Loris Bozzato, Chiara Del Vescovo, Martin Homola, Frank Loebe, Adrien Barton and Jean-Rémi Bourguet.
 [doi]   [BibTeX] 

Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies..
In: O. Kutz, S. de Cesare, M. M. Hedblom, T. R. Besold, T. Veale, F. Gailly, G. Guizzardi, M. Lycett, C. Partridge, O. Pastor, M. Grüninger, F. Neuhaus, T. Mossakowski, S. Borgo, L. Bozzato, C. D. Vescovo, M. Homola, F. Loebe, A. Barton and J.-R. Bourguet, editors, JOWO@FOIS, volume 1660, series CEUR Workshop Proceedings. CEUR-WS.org, 2016.
Eugen Kuksa and Till Mossakowski.
 [doi]   [BibTeX] 

Heterogeneous verification in the context of model driven engineering.
Sci. Comput. Program., 126:3-30, 2016.
Daniel Calegari, Till Mossakowski and Nora Szasz.
 [doi]   [BibTeX] 

Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes.
Semantic Web, 7(1):25-61, 2016.
Mathew Joseph, Gabriel M. Kuper, Till Mossakowski and Luciano Serafini.
 [doi]   [BibTeX] 

Ontology Patterns with DOWL: The Case of Blending.
In: M. Lenzerini and R. Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., volume 1577, series CEUR Workshop Proceedings. CEUR-WS.org, 2016.
Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski and Mihai Codescu.
 [doi]   [BibTeX] 

Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.
In: Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., pages 56-68. 2016.
Eugen Kuksa and Till Mossakowski.
 [doi]   [BibTeX] 

Ontology Patterns with DOWL: The Case of Blending.
In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.. 2016.
Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski and Mihai Codescu.
 [doi]   [BibTeX] 

Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.
In: P. Fontaine, S. Schulz and J. Urban, editors, Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016., volume 1635, series CEUR Workshop Proceedings, pages 56-68. CEUR-WS.org, 2016.
Eugen Kuksa and Till Mossakowski.
 [doi]   [BibTeX] 

2015

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.
In: R. D. Nicola and R. Hennicker, editors, Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, volume 8950, series Lecture Notes in Computer Science, pages 215-230. Springer, 2015.
Alexander Knapp, Till Mossakowski and Markus Roggenbach.
 [doi]   [BibTeX] 

Modularity of Ontologies in an Arbitrary Institution.
In: Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, pages 361-379. 2015.
Yazmin Angélica Ibáñez-Garca, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.
 [doi]   [BibTeX] 

An Institution for Simple UML State Machines.
In: Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pages 3-18. 2015.
Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer.
 [doi]   [BibTeX] 

An Institution for Simple UML State Machines.
In: A. Egyed and I. Schaefer, editors, Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, volume 9033, series Lecture Notes in Computer Science, pages 3-18. Springer, 2015.
Alexander Knapp, Till Mossakowski, Markus Roggenbach and Martin Glauer.
 [doi]   [BibTeX] 

Modularity of Ontologies in an Arbitrary Institution.
In: N. Mart-Oliet, P. C. Ölveczky and C. L. Talcott, editors, Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, volume 9200, series Lecture Notes in Computer Science, pages 361-379. Springer, 2015.
Yazmin Angélica Ibáñez-García, Till Mossakowski, Donald Sannella and Andrzej Tarlecki.
 [doi]   [BibTeX] 

The Distributed Ontology, Modeling, and Specification Language –- DOL.
In: A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic, volume 2, series Studies in Universal Logic. Birkhäuser, 2015.
Till Mossakowski, Mihai Codescu, Fabian Neuhaus and Oliver Kutz.
 [doi]   [abstract]   [BibTeX] 

Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -.
In: Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, pages 215-230. 2015.
Alexander Knapp, Till Mossakowski and Markus Roggenbach.
 [doi]   [BibTeX] 

The Distributed Ontology, Modeling and Specification Language – DOL.
In: A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic, pages 489-520. Birkhäuser, 2015.
Till Mossakowski, Mihai Codescu, Fabian Neuhaus and Oliver Kutz.
 [doi]   [BibTeX] 

2014

The Institution-Theoretic Scope of Logic Theorems.
Logica Universalis, 8:393–406, 2014.
Razvan Diaconescu, Till Mossakowski and Andrzej Tarlecki.
 [doi]   [abstract]   [BibTeX] 

Parchments for CafeOBJ logics.
In: S. Iida, J. Meseguer and K. Ogata, editors, Specification, Algebra, and Software. Essays Dedicated to Kokichi Futatsugi, volume 8873, series Lecture Notes in Computer Science, pages 66-91. 2014.
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella and Andrzej Tarlecki.
 [doi]   [abstract]   [BibTeX] 

A Categorical Approach to Ontology Alignment.
In: Proc. of the 9th International Workshop on Ontology Matching (OM-2014), ISWC-2014, Riva del Garda, Trentino, Italy., series CEUR-WS online proceedings. 2014.
Mihai Codescu, Till Mossakowski and Oliver Kutz.
 [abstract]   [BibTeX] 

What Is a Derived Signature Morphism?.
In: M. Codescu, R. Diaconescu and I. Tutu, editors, WADT, volume 9463, series Lecture Notes in Computer Science, pages 90-109. Springer, 2014.
Till Mossakowski, Ulf Krumnack and Tom Maibaum.
 [doi]   [BibTeX] 

Ontohub: A semantic repository for heterogeneous ontologies.
In: Proc. of the Theory Day in Computer Science (DACS-2014), satellite workshop of ICTAC-2014, University of Bucharest, September 15-16, 2014. 2014.
Till Mossakowski, Oliver Kutz and Mihai Codescu.
 [abstract]   [BibTeX] 

Proof Support for Common Logic.
In: Proc. of the Workshop on Automated Reasoning for Quantified Non-Classical Logic (ARQNL), July 23, Vienna Summer of Logic,, 2014. 2014.
Till Mossakowski, Mihai Codescu, Oilver Kutz, C. Lange and M. Gruninger.
 [abstract]   [BibTeX] 

Space for Space. SpacePortal: the 21st Century Home for Spatial Ontologies.
In: Short paper for Spatial Cognition 2014, Bremen, Germany, 15-19 September 2014. 2014.
John Bateman, Oliver Kutz, Till Mossakowski, Aleksandra Sojic and Mihai Codescu.
 [BibTeX] 

2013

The VSE Refinement Method in Hets.
Electronic Communications of the EASST, 62, 2013.
Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

Three Semantics for the Core of the Distributed Ontology Language.
In: F. Rossi, editor, IJCAI 2013. 2013. IJCAI 2013 track on Best Papers in Sister Conferences
Till Mossakowski, Oliver Kutz and Christoph Lange.
 [doi]   [abstract]   [BibTeX] 

Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL.
In: N. Martí-Oliet and M. Palomino, editors, Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841, series Lecture Notes in Computer Science, pages 178-194. Springer, 2013.
Phillip James, Alexander Knapp, Till Mossakowski and Markus Roggenbach.
 [doi]   [abstract]   [BibTeX] 

The Distributed Ontology, Modeling and Specification Language.
In: C. D. Vescovo, T. Hahmann, D. Pearce and D. Walther, editors, WoMo 2013, volume 1081, series CEUR-WS online proceedings. 2013.
Till Mossakowski, Oliver Kutz, Mihai Codescu and Christoph Lange.
 [doi]   [abstract]   [BibTeX] 

Semantics of the distributed ontology language: Institutes and Institutions.
In: N. Martí-Oliet and M. Palomino, editors, Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, volume 7841, series Lecture Notes in Computer Science, pages 212-230. Springer, 2013.
Till Mossakowski, Oliver Kutz and Christoph Lange.
 [doi]   [abstract]   [BibTeX] 

2012

Ontology-based Route Planning for OpenStreetMap.
In: D. Kolas, M. Perry, R. Grütter and M. Koubarakis, editors, Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web, volume 901, series CEUR-WS online proceedings, pages 62-73. 2012.
Mihai Codescu, Daniel Couto Vale, Oliver Kutz and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.
In: Conferences on Intelligent Computer Mathematics CICM 2012, volume 7362, series Lecture Notes in Computer Science. Springer, 2012.
Christoph Lange, Oliver Kutz, Till Mossakowski and Michael Grüninger.
 [doi]   [abstract]   [BibTeX] 

Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs.
In: A. Ramsay and G. Agre, editors, 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, volume 7557, series Lecture Notes in Computer Science, pages 103-111. Springer, 2012.
Oliver Kutz, Janna Hastings and Till Mossakowski.
 [abstract]   [BibTeX] 

Three Semantics for the Core of the Distributed Ontology Language.
In: M. Donnelly and G. Guizzardi, editors, FOIS 2012: 7th International Conference on Formal Ontology in Information Systems , pages 337-352. IOS Press; Amsterdam; www.iospress.nl, 2012. Best paper award
Till Mossakowski, Christoph Lange and Oliver Kutz.
 [doi]   [abstract]   [BibTeX] 

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics.
In: TKE (Terminology and Knowledge Engineering) Conference 2012. 2012.
Christian Galinski, Oliver Kutz, Christoph Lange and Till Mossakowski.
 [BibTeX] 

LoLa: A Modular Ontology of Logics, Languages, and Translations.
In: T. Schneider and D. Walther, editors, Workshop on modular ontologies, volume 875, series CEUR-WS online proceedings. 2012.
Christoph Lange, Till Mossakowski and Oliver Kutz.
 [doi]   [abstract]   [BibTeX] 

2011

DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.
In: C. Claramunt, S. Levashkin and M. Bertolotto, editors, Fourth International Conference on GeoSpatial Semantics, volume 6631, series Lecture Notes in Computer Science, pages 88–107. Springer, 2011.
Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski and Rafaela Rau.
 [doi]   [abstract]   [BibTeX] 

The Onto-Logical Translation Graph.
In: O. Kutz and T. Schneider, editors, Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), volume 230, series Frontiers in Artificial Intelligence and Applications, pages 94-109. IOS Press, 2011.
Oliver Kutz and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

Refinement trees: calculi, tools and applications.
In: B. K. Andrea Corradini, editor, Algebra and Coalgebra in Computer Science, CALCO'11, volume 6859, series Lecture Notes in Computer Science, pages 145-160. Springer, 2011.
Mihai Codescu and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

Project Abstract: Logic Atlas and Integrator (LATIN).
In: J. H. Davenport, W. M. Farmer, J. Urban and F. Rabe, editors, Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, volume 6824, series Lecture Notes in Computer Science, pages 289-291. Springer-Verlag Berlin Heidelberg, 2011.
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski and Florian Rabe.
 [doi]   [BibTeX] 

A Modular Consistency Proof for Dolce.
In: W. Burgard and D. Roth, editors, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pages 227-234. AAAI Press; Menlo Park, CA, 2011.
Oliver Kutz and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

2010

Integrating Maude into Hets.
In: M. Johnson and D. Pavlovic, editors, AMAST 2010, volume 6486, series Lecture Notes in Computer Science, pages 60-75. Springer, 2010.
Mihai Codescu, Till Mossakowski, Adrían Riesco and Christian Maeder.
 [doi]   [abstract]   [BibTeX] 

Change Management for Heterogeneous Development Graphs.
In: S. Siegler and N. Wasser, editors, Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, pages 54-80. Springer, 2010.
Serge Autexier, Dieter Hutter and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design.
Logica Univeralis, 4(2):255-333, 2010.
Oliver Kutz, Till Mossakowski and Dominik Lücke.
 [doi]   [abstract]   [BibTeX] 

Chinese Whispers and Connected Alignments .
In: P. S. et al., editor, Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China. , volume 689, series CEUR-WS online proceedings, pages 25-36. 2010.
Oliver Kutz, Immanuel Normann, Till Mossakowski and Dirk Walther.
 [doi]   [abstract]   [BibTeX] 

A Generic Complete Dynamic Logic for Reasoning about Purity and Effects.
Formal Aspects of Computing, 22(3-4):363-384, 2010.
Till Mossakowski, Lutz Schröder and Sergey Goncharov.
 [doi]   [abstract]   [BibTeX] 

2009

What is a logic translation?.
Logica Universalis, 3(1):95-124, 2009. Winner of the universal logic 2007 contest.
Till Mossakowski, Andrzej Tarlecki and Razvan Diaconescu.
 [doi]   [abstract]   [BibTeX] 

The VSE Refinement Method in HETS.
In: K. Breitman and A. Cavalcanti, editors, ICFEM 2009, volume 5885, series Lecture Notes in Computer Science, pages 660-678. Springer, 2009.
Mihai Codescu, Bruno Langenstein, Christian Maeder and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

HasCASL: Integrated Higher-Order Specification and Program Development.
Theoretical Computer Science, 410(12-13):1217-1260, 2009.
Lutz Schröder and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

On Teaching Logic and Algebraic Specification.
In: F. Drewes, A. Habel, B. Hoffmann and D. Plump, editors, Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, pages 269-286. 2009.
Till Mossakowski.
 [doi]   [BibTeX] 

2008

A generic complete dynamic logic for reasoning about purity and effects.
In: J. Fiadeiro and P. Inverardi, editors, Fundamental Approaches to Software Engineering (FASE 2008), volume 4961, series Lecture Notes in Computer Science, pages 199-214. Springer, 2008.
Till Mossakowski, Lutz Schröder and Sergey Goncharov.
 [doi]   [abstract]   [BibTeX] 

2007

The Heterogeneous Tool Set.
In: B. Beckert, editor, VERIFY 2007, 4th International Verification Workshop, pages 119-135. 2007.
Till Mossakowski, Christian Maeder and Klaus Lüttich.
 [doi]   [abstract]   [BibTeX] 

The Heterogeneous Tool Set.
In: O. Grumberg and M. Huth, editors, TACAS 2007, volume 4424, series Lecture Notes in Computer Science, pages 519-522. Springer-Verlag Heidelberg, 2007.
Till Mossakowski, Christian Maeder and Klaus Lüttich.
 [abstract]   [BibTeX] 

The Heterogeneous Tool Set, Hets..
In: O. Grumberg and M. Huth, editors, TACAS, volume 4424, series Lecture Notes in Computer Science, pages 519-522. Springer, 2007.
Till Mossakowski, Christian Maeder and Klaus Lüttich.
 [doi]   [BibTeX] 

Structured CSP - A Process Algebra as an Institution.
In: J. Fiadeiro, editor, WADT 2006, volume 4409, series Lecture Notes in Computer Science, pages 92-110. Springer-Verlag Heidelberg, 2007.
Till Mossakowski and Markus Roggenbach.
 [abstract]   [BibTeX] 

Coalgebraic Modal Logic in CoCASL.
In: J. L. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409, series Lecture Notes in Computer Science, pages 128-142. Springer, 2007.
Lutz Schröder and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

2006

Institutional 2-cells and Grothendieck institutions.
In: K. Futatsugi, J.-P. Jouannaud and J. Meseguer, editors, Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060, series Lecture Notes in Computer Science, pages 124-149. Springer; Berlin; www.springer.de, 2006.
Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

Completeness of Global Evaluation Logic.
In: R. Kralovic and P. Urzyczyn, editors, Mathematical Foundations of Computer Science, volume 4162, series Lecture Notes in Computer Science, pages 447-458. Springer; Berlin; www.springer.de, 2006.
Sergey Goncharov, Lutz Schröder and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

Monad-Based Logics for Computational Effects.
In: M. Johnson and V. Vene, editors, AMAST 2006, volume 4019, series Lecture Notes in Computer Science, pages 3-4. Springer; Berlin; www.springer.de, 2006.
Till Mossakowski.
 [abstract]   [BibTeX] 

Development Graphs - Proof Management for Structured Specifications.
Journal of Logic and Algebraic Programming, 67(1-2):114-145, 2006.
T. Mossakowski, S. Autexier and D. Hutter.
 [doi]   [abstract]   [BibTeX] 

2005

Type class polymorphism in an institutional framework.
In: J. Fiadeiro, editor, Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423, series Lecture Notes in Computer Science, pages 234-248. Springer; Berlin; www.springer.de, 2005.
Lutz Schröder, Till Mossakowski and Christoph Lüth.
 [doi]   [abstract]   [BibTeX] 

2004

ModalCASL - Specification with Multi-Modal Logics. Language Summary.
2004.
T. Mossakowski.
 [abstract]   [BibTeX] 

CASL Logic.
In: P. D. Mosses, editor, CASL Reference Manual, chapter ÏV. Springer Verlag, London, 2004. Ëdited by T. Mossakowski
Till Mossakowski, Piotr Hoffman, Serge Autexier and Dieter Hutter.
 [doi]   [BibTeX] 

Generic exception handling and the Java monad.
In: C. Rattray, S. Maharaj and C. Shankland, editors, Algebraic Methodology and Software Technology, volume 3116, series Lecture Notes in Computer Science, pages 443-459. Springer; Berlin; www.springer.de, 2004.
Lutz Schröder and Till Mossakowski.
 [doi]   [abstract]   [BibTeX] 

Tramway Networks as Route Graphs.
In: E. Schnieder and G. Tarnai, editors, FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119. 2004.
K. Lüttich, B. Krieg-Brückner and T. Mossakowski.
 [abstract]   [BibTeX] 

CASL Semantics.
In: P. D. Mosses, editor, CASL Reference Manual, chapter ÏII. Springer Verlag, London, 2004. Ëdited by D. Sannella and A. Tarlecki
Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella and Andrzej Tarlecki.
 [doi]   [BibTeX] 

Specification of Ontologies in CASL.
In: A. C. Varzi and L. Vieu, editors, Formal Ontology in Information Systems - Proceedings of the Third International Conference (FOIS-2004), volume 114, series Frontiers in Artificial Intelligence and Applications, pages 140-150. IOS Press; Amsterdam; www.iospress.nl, 2004.
K. Lüttich and T. Mossakowski.
 [abstract]   [BibTeX] 

Monad-independent dynamic logic in HasCASL.
Journal of Logic and Computation, 14(4):571-619, 2004. Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441
Lutz Schröder and Till Mossakowski.
 [doi]   [abstract]   [BibTeX]