Till Mossakowski

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 49

Top Venues

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Simon Flügel, Martin Glauer, Till Mossakowski, Fabian Neuhaus
A semantic loss for ontology classification. CoRR (2024)
Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
Ontology Pre-training for Poison Prediction. CoRR (2023)
Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
Ontology Pre-training for Poison Prediction. KI (2023)
Björn Gehrke, Till Mossakowski
Extending OWL2 Manchester Syntax to Include Missing Features from OWL2 Abstract Syntax. Description Logics (2023)
Till Mossakowski
Modular design patterns for neural-symbolic integration: refinement and combination. CoRR (2022)
Till Mossakowski
Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination. NeSy (2022)
Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
Automated and Explainable Ontology Extension Based on Deep Learning: A Case Study in the Chemical Domain. CoRR (2021)
Adel Memariani, Martin Glauer, Fabian Neuhaus, Till Mossakowski, Janna Hastings
Automated and Explainable Ontology Extension based on Deep Learning: A Case Study in the Chemical Domain. DAO-XAI (2021)
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
Generic Ontology Design Patterns: Roles and Change Over Time. WOP (Book) (2021)
Janna Hastings, Martin Glauer, Adel Memariani, Fabian Neuhaus, Till Mossakowski
Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification. J. Cheminformatics 13 (1) (2021)
Madhura Thosar, Christian A. Mueller, Georg Jäger, Max Pfingsthorn, Michael Beetz, Sebastian Zug, Till Mossakowski
Substitute selection for a missing tool using robot-centric conceptual knowledge of objects. SAC (2020)
Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
Generic Ontology Design Patterns: Roles and Change over Time. CoRR (2020)
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO (2019)
Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR (2019)
Till Mossakowski, Razvan Diaconescu, Martin Glauer
Towards Fuzzy Neural Conceptors. FLAP 6 (4) (2019)
Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
Generic Ontology Design Patterns at Work. JOWO (2019)
Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
Generic Ontology Design Patterns at Work. CoRR (2019)
Alexander Knapp, Till Mossakowski
Multi-view Consistency in UML: A Survey. Graph Transformation, Specifications, and Nets (2018)
Martin Glauer, Till Mossakowski
Institutions for SQL Database Schemas and Datasets. WADT (2018)
Till Mossakowski, Bernd Krieg-Brückner
Partial pushout semantics of generics in DOL. Theor. Comput. Sci. 741 (2018)
Till Mossakowski, Fabian Neuhaus
Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs. CoRR (2018)
Bernd Krieg-Brückner, Till Mossakowski
Generic Ontologies and Generic Ontology Design Patterns. WOP@ISWC (2017)
Marcus Thiel, Philipp Ludwig, Till Mossakowski, Fabian Neuhaus, Andreas Nürnberger
Web-Retrieval Supported Argument Space Exploration. CHIIR (2017)
Alexander Knapp, Till Mossakowski
UML Interactions Meet State Machines - An Institutional Approach. CALCO (2017)
Till Mossakowski, Reinhard Moratz
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract). IJCAI (2017)
Maria M. Hedblom, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement. AI*IA (2017)
Till Mossakowski, Florian Rabe, Mihai Codescu
Canonical Selection of Colimits. CoRR (2017)
Mihai Codescu, Till Mossakowski, Oliver Kutz
A Categorical Approach to Networks of Aligned Ontologies. J. Data Semant. 6 (4) (2017)
Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter
A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties. ACM Comput. Surv. 50 (1) (2017)
Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
Specification refinements: Calculi, tools, and applications. Sci. Comput. Program. 144 (2017)
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
Ontohub: A semantic repository engine for heterogeneous ontologies. Appl. Ontology 12 (3-4) (2017)
Eugen Kuksa, Till Mossakowski
Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies. JOWO@FOIS (2016)
Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules: Decidable finite extension classes. Semantic Web 7 (1) (2016)
Till Mossakowski
The Distributed Ontology, Model and Specification Language - DOL. WADT (2016)
Frank Dylla, Jae Hee Lee, Till Mossakowski, Thomas Schneider, André van Delden, Jasper van de Ven, Diedrich Wolter
A Survey of Qualitative Spatial and Temporal Calculi - Algebraic and Computational Properties. CoRR (2016)
Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu
Ontology Patterns with DOWL: The Case of Blending. Description Logics (2016)
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
Ontohub: A semantic repository for heterogeneous ontologies. CoRR (2016)
Ramya Dirsumilli, Till Mossakowski
RESTful Encapsulation of OWL API. DATA (2016)
Eugen Kuksa, Till Mossakowski
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. PAAR@IJCAR (2016)
Till Mossakowski, Florian Rabe, Mihai Codescu
Canonical Selection of Colimits. WADT (2016)
Alexander Knapp, Till Mossakowski
Multi-view Consistency in UML. CoRR (2016)
Till Mossakowski, Fabian Neuhaus
Bipolar Weighted Argumentation Graphs. CoRR (2016)
Daniel Calegari, Till Mossakowski, Nora Szasz
Heterogeneous verification in the context of model driven engineering. Sci. Comput. Program. 126 (2016)
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
An Institution for Simple UML State Machines. FASE (2015)
Yazmín Angélica Ibáñez-García, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
Modularity of Ontologies in an Arbitrary Institution. Logic, Rewriting, and Concurrency (2015)
Till Mossakowski, Reinhard Moratz
Relations Between Spatial Calculi About Directions and Orientations. J. Artif. Intell. Res. 54 (2015)
Mathew Joseph, Gabriel M. Kuper, Till Mossakowski, Luciano Serafini
Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print). CoRR (2015)
Alexander Knapp, Till Mossakowski, Markus Roggenbach
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. Software, Services, and Systems (2015)
Till Mossakowski, Lutz Schröder
On Inconsistency and Unsatisfiability. Int. J. Softw. Informatics 9 (2) (2015)
Till Mossakowski, Ulf Krumnack, Tom Maibaum
What Is a Derived Signature Morphism? WADT (2014)
Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
An Institution for Simple UML State Machines. CoRR (2014)
Mihai Codescu, Till Mossakowski, Oliver Kutz
A categorical approach to ontology alignment. OM (2014)
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki
Parchments for CafeOBJ Logics. Specification, Algebra, and Software (2014)
Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, Michael Grüninger
Proof Support for Common Logic. ARQNL@IJCAR (2014)
Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki
The Institution-Theoretic Scope of Logic Theorems. Logica Universalis 8 (3-4) (2014)
Oliver Kutz, Fabian Neuhaus, Till Mossakowski, Mihai Codescu
Blending in the Hub. ICCC (2014)
Daniel Calegari, Till Mossakowski, Nora Szasz
Model-Driven Engineering in the Heterogeneous Tool Set. SBMF (2014)
Till Mossakowski, Andrzej Tarlecki
A Relatively Complete Calculus for Structured Heterogeneous Specifications. FoSSaCS (2014)
Alexander Knapp, Till Mossakowski, Markus Roggenbach
An Institutional Framework for Heterogeneous Formal Development in UML. CoRR (2014)
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
Algebraic Properties of Qualitative Spatio-Temporal Calculi. CoRR (2013)
Mihai Codescu, Till Mossakowski, Christian Maeder
Checking Conservativity with Hets. CALCO (2013)
Till Mossakowski, Christoph Lange, Oliver Kutz
Three Semantics for the Core of the Distributed Ontology Language (Extended Abstract). IJCAI (2013)
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter
Algebraic Properties of Qualitative Spatio-temporal Calculi. COSIT (2013)
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory CoRR (2013)
Till Mossakowski, Markus Roggenbach, Lutz Schröder
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange
The Distributed Ontology, Modeling and Specification Language. WoMO (2013)
André van Delden, Till Mossakowski
- Mastering Left and Right - Different Approaches to a Problem That Is Not Straight Forward. KI (2013)
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory. MKM/Calculemus/DML (2013)
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein
The VSE Refinement Method in Hets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 62 (2013)
Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization CoRR (2012)
Till Mossakowski, Christoph Lange, Oliver Kutz
Three Semantics for the Core of the Distributed Ontology Language. FOIS (2012)
Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. WADT (2012)
Mihai Codescu, Daniel Couto Vale, Oliver Kutz, Till Mossakowski
Ontology-based Route Planning for OpenStreetMap. Terra Cognita@ISWC (2012)
Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe
Compiling Logics. WADT (2012)
Christoph Lange, Till Mossakowski, Oliver Kutz
LoLa: A Modular Ontology of Logics, Languages, and Translations. WoMO (2012)
Oliver Kutz, Janna Hastings, Till Mossakowski
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. AIMSA (2012)
Till Mossakowski, Reinhard Moratz
Qualitative reasoning about relative direction of oriented points. Artif. Intell. (2012)
Christoph Lange, Till Mossakowski, Oliver Kutz, Christian Galinski, Michael Grüninger, Daniel Couto Vale
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility CoRR (2012)
Christoph Lange, Oliver Kutz, Till Mossakowski, Michael Grüninger
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. AISC/MKM/Calculemus (2012)
Till Mossakowski, Oliver Kutz, Christoph Lange
Semantics of the Distributed Ontology Language: Institutes and Institutions. WADT (2012)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
Project Abstract: Logic Atlas and Integrator (LATIN). Calculemus/MKM (2011)
Till Mossakowski, Oliver Kutz
The Onto-Logical Translation Graph. WoMO (2011)
Reinhard Moratz, Dominik Lücke, Till Mossakowski
A condensed semantics for qualitative spatial reasoning about oriented straight line segments. Artif. Intell. 175 (16-17) (2011)
Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. GeoS (2011)
Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander García Castro, Aleksandra Sojic
Hyperontology for the Biomedical Ontologist: A Sketch and Some Examples. ICBO (2011)
Mihai Codescu, Till Mossakowski
Refinement Trees: Calculi, Tools, and Applications. CALCO (2011)
Oliver Kutz, Till Mossakowski
A Modular Consistency Proof for DOLCE. AAAI (2011)
Serge Autexier, Dieter Hutter, Till Mossakowski
Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis (2010)
Till Mossakowski, Lutz Schröder, Sergey Goncharov
A generic complete dynamic logic for reasoning about purity and effects. Formal Aspects Comput. 22 (3-4) (2010)
Till Mossakowski
On Teaching Logic and Algebraic Specification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
Liam O'Reilly, Till Mossakowski, Markus Roggenbach
Compositional Modelling and Reasoning in an Institution for Processes and Data. WADT (2010)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe
A Proof Theoretic Interpretation of Model Theoretic Hiding. WADT (2010)
Oliver Kutz, Till Mossakowski, Dominik Lücke
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Logica Universalis 4 (2) (2010)
Mihai Codescu, Feryal Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. WADT (2010)
Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
Integrating Maude into Hets. AMAST (2010)
Dominik Lücke, Till Mossakowski
A much better polynomial time approximation of consistency in the LR calculus. STAIRS (2010)
Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther
Chinese whispers and connected alignments. OM (2010)
Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman
Towards Ontological Blending. AIMSA (2010)
Till Mossakowski, Reinhard Moratz
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity CoRR (2010)
Sergey Goncharov, Lutz Schröder, Till Mossakowski
Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO (2009)

Till Mossakowski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Till Mossakowski