Prof. Mossakowski
Prof. Dr.-Ing. habil. Till Mossakowski
Institut für Intelligente Kooperierende Systeme (IKS)
Aktuelle Projekte
Erweiterungen von Ontologien strukturierter Entitäten
Laufzeit: 01.11.2023 bis 31.10.2026
Referenzontologien spielen eine wesentliche Rolle bei der Organisation von Wissen in den Biowissenschaften und anderen Bereichen. Da sie in einem aufwändigen Prozess manuell erstellt werden, decken sie oft nur einen kleinen Teil ihrer Domäne ab. Unser Ziel ist es, eine automatische Erweiterung des Abdeckungsgrades einer Referenzontologie zu ermöglichen. Dies geschieht, indem diese automatisch um Klassen erweitert wird, die noch nicht manuell hinzugefügt wurden. Diese Erweiterung soll den (oft impliziten) Designentscheidungen der Entwickler der Referenzontologie treu bleiben.
Während es sich hierbei um ein allgemeines Problem handelt, fokussieren wir uns auf die Chemical Entities of Biological Interest (ChEBI) als Anwendungsgebiet. In unserem Ansatz werden die Blattklassen der manuell kuratierten Referenzontologie verwendet, um ein System zur Vorhersage von Unterklassenbeziehungen zwischen Klassen mittlerer Ebene und neuen Klassen zu trainieren. Wir verwenden also Techniken des maschinellen Lernens, sind aber nicht auf Textkorpora als Input angewiesen, sondern nutzen den Inhalt der Ontologie selbst. Eine Schlüsselrolle spielen dabei Annotationen von Klassen, die Informationen liefern, die für die Klassifizierung einer bestimmten Entität innerhalb der Ontologie relevant sind. Im Fall von ChEBI sind dies z. B. die Struktur chemischer Entitäten (z. B. Moleküle und funktionelle Gruppen).
Darüber hinaus werden die Axiome der Ontologie als logische neuronale Netze dargestellt. Somit bietet unser Ansatz eine Art neuro-symbolische Integration. In Vorarbeiten haben wir die Machbarkeit des Ansatzes durch den Vergleich der Leistung einer Reihe von maschinellen Lernansätzen nachgewiesen. Trotz der Einschränkungen der Vorarbeiten ist die Leistung einiger unserer Modelle im Vergleich zu ClassyFire positiv. ClassyFire ist ein regelbasiertes System, das den Stand der Technik für diese Aufgabe darstellt und bei der Entwicklung von ChEBI eingesetzt wird. Darüber hinaus zeigen unsere Ergebnisse, dass verschiedene Ansätze des maschinellen Lernens für unterschiedliche Arten von chemischen Entitäten geeignet sind. Daher planen wir, in unserem Projekt einen Ensemble-Ansatz zu verwenden.
Die Ergebnisse dieses Projektes werden sein: (a) ein Benchmark-Trainingssatz für das Trainieren von Modellen zur Erweiterung der chemischen Ontologie und (b) ein System, das - wenn es eine Reihe neuer chemischer Entitäten als Eingabe erhält - automatisch eine neue Ontologie generiert, die ChEBI um diese Entitäten erweitert. Der Nutzen dieser Arbeit besteht in einer neuartigen Methodik zur Erweiterung des Abdeckungsgrads bestehender Referenzontologien. Wenn sie angenommen wird, wird sie eine verbesserte Interoperabilität und Wissensintegration für die Gebiete ermöglichen, in denen diese Referenzontologien verwendet werden. Ein weiteres Ergebnis ist eine neuartige neuronal- symbolische Architektur, die neuronale Graphennetze, Transformer und logische neuronale Netze integriert.
Das Projekt ist ein Kooperationsprojekt mit Prof. Dr. Janna Hastings (Universität Zürich) im Rahmen des Weave Lead Agency-Verfahrens der DFG.
Robustheit und Übertragbarkeit von interkommunalen Energiewendeszenarien im Stadt-Land-Nexus
Laufzeit: 01.08.2022 bis 31.07.2025
Im Projekt Stadt-Land-Energie entwickeln wir offene und übertragbare Methoden und Tools, die es ermöglichen, robuste, regional verzahnte und sektorengekoppelte Energiewendeszenarien für den Stadt-Land-Nexus zu berechnen und geeignet aufzubereiten. Unser Ziel ist es, damit die interkom- munale Zusammenarbeit zu fördern und die Energiewende vor Ort zu beschleunigen. Forschende profitieren dabei von der innovativen Methodik zur Robustheitsanalyse in Energiesystemmodellen, der Verbesserung der Modelllösungszeit sowie durch Weiterentwicklungen des effizienten und offe- nen Datenmanagements. Das Teilprojekt 'Datenmodell, Ontologie und Workflows für Übertragbarkeit' hat qualitative Methoden zum Schwerpunkt, die die Organisation und Übertragbarkeit der im Projekt Stadt-Land-Energie verwendeten Daten und Prozesse ermöglichen und verbessern. Wir werden Begrifflichkeiten aus verschiedenen für Stadt-Land-Energie wichtigen Bereichen an die Open Energy Ontology (OEO) anbinden, nämlich aus dem Datenmodell, den Bereichen Robustheit, Unsicherheit und Stadt-Land-Nexus, sowie aus den Energiesystemmodellen. Auf diese Weise können wir die verwendeten Begriffe (vor allem für Stakeholder) verständlicher gestalten, die Daten und Modelle besser auffindbar machen, die Analyse von Unsicherheiten besser strukturieren sowie die Übertragbarkeit zwischen Modellen verbessern. Ein weiterer Schwerpunkt der OVGU betrifft die Vorbereitung der Eingangsdaten für die in Stadt-Land-Energie geplanten neuen Modellrechnungen. Oft wird der Aufwand der Prozessierung heterogener Eingangsdaten unterschätzt. Daher erstellen wir über ein Graph-basiertes Workflow-Tool eine automatische Prozessierungspipeline, die unterschiedliche Szenariendaten in das entwickelte Format überführt und auf der Open Energy Platform (OEP) zur einfachen Nutzung bereitstellt.
Abgeschlossene Projekte
Automatisiertes Vergleichen von Energieszenarien - SIROP
Laufzeit: 01.04.2021 bis 31.03.2024
Das Projekt "SIROP: Auf dem Weg zur Szenarieninteroperabilität" hat das Ziel, Szenarieninteroperabilität und Szenarienvergleiche zu ermöglichen und zu (teil-)automatisieren. Dies ist ein wichtiger Schritt auf dem Weg zu einer nachvollziehbareren und reproduzierbareren Energiesystemforschung.
Die Energiesystemforschung arbeitet mit sogenannten Szenarien - das sind Modelberechnungen, die eine Prognose über die zukünftige Entwicklung von Energiesystemen ermöglichen. Mit ihnen kann man technische und wirtschaftliche Folgen von Netzausbau, Transformation des Energiesystems und klimapolitischen Entscheidungen durchspielen und je nachdem welche Daten als Grundlage gewählt werden verändern. Kern der Forschungsarbeit ist es, die verschiedenen Szenarien zu vergleichen und aufzuzeigen, welche Stellschrauben das Ergebnis entscheidend verändern.
Die Modelle, mit denen Szenarien berechnet werden, werden zunehmend komplexer, da immer mehr Aspekte berücksichtigt werden müssen und häufig sogar verschiedene Modelle kombiniert werden. Viele Szenarien aus Forschungsprojekten sind aktuell kaum miteinander vergleichbar. Sie müssen manuell und zeitaufwändig gegenübergestellt und geprüft werden. Ziel des SIROP-Projekts ist es daher, grundlegende Funktionen für Szenarieninteroperabilität herzustellen, also verschiedenen Systemen, Techniken oder Organisationen eine Zusammenarbeit zu ermöglichen.
Ontologiebasierte Klassifikation von chemischen Substanzen
Laufzeit: 01.01.2020 bis 31.12.2023
Mit der Einführung der CHEBI-Ontologie und dem zugehörigen Weblexikon wurde eine Struktur geschaffen, anhand derer die logischen Zusammenhänge verschiedener chemischer Substanzen und ihrer funktionalen Eigenschaften dargestellt werden können. Die Klassifizierung von Chemikalien kann anhand der verschiedensten Charakteristika erfolgen und ist ein hochgradig manueller und zeitaufwändiger Prozess. Im Zuge dieser Forschungsarbeit werden Möglichkeiten erforscht die Klassifizierung von Chemikalien zu automatisieren. Hierzu kommen nicht nur neuste Erkenntnisse und Modelle aus dem Deep Learning und insbesondere der neuro-symbolischen Integration zum Einsatz, sondern auch die reichhaltigen logischen Annotationen der CHEBI Ontologie.
Offenes netzebenen- und sektorenübergreifendes Planungsinstrument zur Bestimmung des optimalen Einsatzes und Ausbaus von Flexibilitätsoptionen in Deutschland (eGo_n)
Laufzeit: 01.12.2019 bis 31.03.2023
Das Forschungsvorhaben eGon stellt die Weiterentwicklung des Projekts open_eGo dar. Hier wird derzeit ein transparentes, netzebenenübergreifendes Planungsinstrument des Stromsystems zur Ermittlung volkswirtschaftlich günstiger Netzausbau-Szenarien unter Berücksichtigung alternativer Flexibilitätsoptionen entwickelt. Die geplanten Erweiterungen umfassen die Kopplung des bisherigen Stromnetzmodells mit den Sektoren Wärme, Gas und Mobilität sowie die Integration weiterer Flexibilitäten. Die Erstellung und Anwendung eines Planungsinstruments, welches die fortschreitende Sektorenkopplung abbilden kann, ermöglicht die Bestimmung eines nach Gesamtkosten optimierten Energiesystems. In diesem Sinne können sektorenübergreifende Synergien für das Energiesystem der Zukunft berücksichtigt werden.
Dementsprechend gilt es eine Vielzahl von Flexibilitätsoptionen investiv und betrieblich optimal einzusetzen. Infolge der immensen Modellierungskomplexität bedarf es der Erarbeitung innovativer Methoden zur adäquaten Reduktion der räumlichen und zeitlichen Dimension. Hierbei ist der Zielkonflikt zwischen Rechenaufwand und Modellierungsgenauigkeit zentraler Forschungsgegenstand.
Dieses Anschlussvorhaben wird weiterhin die vielversprechende Open Source und Open Data-Strategie verfolgen, um die Daten und Methoden unter einer geeigneten offenen Lizenz zur Verfügung zu stellen. Dadurch soll die spätere Verwertung durch verschiedene Interessengruppen (Netzbetreiber, Behörden, Politik, Wissenschaft etc.) explizit stimuliert werden.
Axiomsauswahl für automatische Beweissysteme
Laufzeit: 01.01.2020 bis 31.12.2022
Automatische Beweissyteme haben in den vergangenen Jahren eine rasante Entwicklung durchlebt. Durch die Einbindung von Techniken des maschinellen Lernens konnten wirkungsvolle Heuristiken für die Beweisführung entwickelt werden. Dennoch führen große logische Theorien, wie sie in vielen Ontologien vorzufinden sind, oft zu Problemen. Daher erforschen wir in dieser Forschungsarbeit mögliche Ansätze des maschinellen Lernens, die es ermöglichen automatisiert jene Axiome aus einer großen Theorie auszuwählen, die gebraucht werden, um ein gegebenes Beweisziel zu erfüllen.
SzenarienDB: Datenbank für Klima- und Energieszenarien, Teilvorhaben: Szenarienrecherche und exemplarische Erweiterung der OpenEnergy Database
Laufzeit: 01.01.2018 bis 31.03.2021
Wie schafft man die Energiewende? Technische und wirtschaftliche Folgen von Netzausbau, Transformation des Energiesystems und klimapolitischen Entscheidungen werden in der Regel mithilfe sogenannter Energiesystemmodelle berechnet. Diese Modelle werden zunehmend komplexer, da immer mehr Aspekte berücksichtigt werden müssen und häufig verschiedene Modelle kombiniert werden.
Die Grundlage für solche Berechnungen sind die Eingangsdaten wie Wetterdaten und historische Entwicklungen und darauf aufbauende Annahmen für zukünftige Entwicklungen, sowohl technischer als auch wirtschaftlicher Natur. Die Ergebnisse der Berechnungen werden zusammen mit dem Input ausgewertet. Für die Qualität der Szenarien sind die Eingangsdaten, die Annahmen und deren Aufbereitung von zentraler Bedeutung. Zu ihnen zählen unter anderem die Ausbaupfade der Erneuerbaren Energien, die Nachfrageentwicklung (Stromverbrauch, Verkehrs, Gebäude- und Industrieprozesswärme) sowie Annahmen zu Investitions- und Betriebskosten, Finanzierung, Energieträger- und CO2-Zertifikatskosten. Da es sich natürlich nur um Annahmen über die zukünftige Entwicklung handelt, ist ein großes Spektrum an Varianz der Eingangsparameter möglich und notwendig. Um Untersuchungen zukünftiger Energiesysteme wissenschaftlich vergleichen zu können, ist es also sehr wichtig zu wissen, welches Energiesystemmodell verwendet wurde und welche Eingangsdaten darin verwendet wurden. Leider werden diese Werte noch zu selten vollständig publiziert.
Ziel von SzenarienDB ist die Erstellung einer öffentlich zugänglichen Datenbank auf der Szenariendaten, also alle Daten, die im Zusammenhang mit jeweils einer Szenarioberechnung stehen, zusammengefasst und veröffentlicht werden. Das beinhaltet sowohl Input- als auch Output-Daten der Berechnung. Darüber hinaus werden die Daten mit den Modellbeschreibungen verknüpft. Damit werden Transparenz und der Austausch von Szenariendaten wesentlich verbessert und ein effizienter Einsatz von öffentlichen Mitteln gefördert.
Grundlage bildet die OpenEnergyDatabase (OEDB). Die OEDB ist eine offene Datenbank für Energiesystemdaten, die seit 2015 im Rahmen der Projekte open_eGo und open_FRED entwickelt wird. Sie ist eingebunden in die zugehörige OpenEnergy Platform (OEP), eine Webplattform, die verschiedene Werkzeuge zum Austausch und zur Dokumentation von Modellen enthält.
open_FRED: Erstellung von Einspeisezeitreihen der fluktuierenden Erneuerbaren Energien auf Basis einer offenen Datenbank
Laufzeit: 01.08.2016 bis 31.01.2019
Für Energiesystemanalysen benötigt man einen Grundstock von konsistenten Daten, die jedoch selten als Open Data in guter Qualität vorliegen. Insbesondere Wetterdatensätze (etwa Solarstrahlung; Windgeschwindigkeiten und Windrichtung für verschiedene Höhen, Temperaturprofile und Niederschlag) sind kaum vollständig verfügbar. Die vorhandenen Daten sind zudem nicht auf die Bedürfnisse von Simulationsmodellen für fluktuierenden Erneuerbaren Energien (fEE) zugeschnitten.
Ziel von open_FRED ist es, diese Datengrundlage mit einheitlichem Standard zu schaffen und eine offene Datenbank mit relevanten Datensätzen (Kraftwerks-, Klima- und Grunddaten) zu erstellen. Diese werden dann mit Open-Source-Simulationsmodellen verknüpft, die Einspeisezeitreihen der fEE erzeugen.
Die Forschung findet in einem interdisziplinären Team aus den Bereichen Meteorologie, Energietechnik und Informatik statt. Gemeinsam sollen die Anforderungen, Annahmen und Möglichkeiten der Energiesystemanalyse mit denen von Klimamodellen zusammen gebracht werden, um einen hochwertigen, transparenten und zitierbaren Datensatz zu schaffen.
Modulare Semantiken für Argumentationsgraphen
Laufzeit: 01.01.2018 bis 31.12.2018
Nach einem Austausch von Argumenten stellt sich oft die Frage nach einer Bewertung der Situation. Mittels Argumentationsgraphen kann die Struktur von argumentativen Diskursen formalisiert werden. Argumente können sich gegenseitig bestärken oder attackieren, und sie haben eine initiale Plausibilität. In diesem Projekt werden Semantiken für solchen Argumentationsgraphen und Konvergenzeigenschaften untersucht.
open_eGo: open electricity Grid optimization
Laufzeit: 01.08.2015 bis 31.07.2018
Netzebenen-übergreifendes Planungsinstrument zur Bestimmung des optimalen Netz- und Speicherausbaus in Deutschland integriert in einer OpenEnergy-Plattform
Das deutsche Stromnetz wird von über 800 verschiedenen Netzbetreibern bewirtschaftet. Die daraus resultierende Vielzahl von Interessen steht im Spannungsfeld mit den volkswirtschaftlichen Herausforderungen der Energiewende, die eine ganzheitliche Netzplanung erfordern. Es fehlt derzeit jedoch an einem geeigneten Netzplanungsinstrument, das eine volkswirtschaftlich optimale Nutzung von Flexibilitätsoptionen auf verschiedenen Ebenen berücksichtigen kann.
Die aktuellen Probleme der Netzausbauplanung, die im Zusammenhang mit der Energiewende stehen werden durch open-eGo beantwortet, wobei Ressourcen im Bereich der Energiesystemmodellierung effizient genutzt werden.
Der Bereich Energiesystemanalyse- und modellierung ist gegenwärtig von proprietärer Modellentwicklung und intransparentem Umgang mit verwendeten Eingangsdaten geprägt. In Bezug auf Forschung, die die Netzausbauplanung betrifft, führt dies zu einem Mangel an Transparenz und Partizipationsmöglichkeiten interessierter Akteure. Durch die Entwicklung der öffentlich zugänglichen virtuellen Forschungsplattform OpenEnergy-Plattform werden Transparenz, Partizipation und die Bündelung der eingesetzten Ressourcen erzielt.
Das Ziel von open_eGo ist die Erstellung eines transparenten, Netzebenen-übergreifenden Netzplanungsinstrumentes zur Ermittlung volkswirtschaftlich günstiger Netzausbau-Szenarien unter Berücksichtigung alternativer Flexibilitätsoptionen wie z.B. dem Einsatz von Speichern oder Redispatch-Maßnahmen. Die Entwicklung des Planungsinstruments erfolgt auf einer öffentlich zugänglichen virtuellen Forschungsplattform, die ebenfalls im Rahmen des Projekts entwickelt wird. Diese Forschungsplattform zielt dabei auch darauf ab, Akteuren der Energiewende einen Baustein zur Partizipation bereitzustellen
Entwicklung eines OMG-Standards OntoIOp für Ontologien, Modellierung und Spezifikation
Laufzeit: 01.11.2013 bis 31.12.2017
OntoIOp hat die Entwicklung einer Meta-Sprache zum Ziel, die der modularen Spezifikation logischer Theorien und ihrer Relationen dient. Spezielles Augenmerk wird dabei auf (formale) Ontologien, Spezifikationen und Modelle und ihre zugrundeliegenden logischen Theorien gelegt. OntoIOps wesentliche Features sind:
- Modularität von Ontologien, Modellen und Spezifikationen (OMS), inklusive deren Wiederverwendung
- Abbildungen zwischen OMS
- Netzwerke von OMS und ihre Kombination
- Heterogene OMS
- Abfragen
Für Basis-OMS werden dabei u.a. folgende Sprachen unterstützt: OWL, RDF, CASL, Common Logic and UML.
Die Ergebnisse des Projekts werden als "Distributed Ontology, Modeling and Specification Language (DOL)" bei der Object Management Group (OMG) als Standard eingereicht.
DOL wurde auf dem OMG technical meeting in La Jolla im Dezember 2015 als OMG-Standard beschlossen.
COINVENT - Concept Invention Theory
Laufzeit: 01.10.2013 bis 30.09.2016
Kreative Computer finden neue Ideen
Kombinatorische Kreativität ist die Fähigkeit, neue Ideen durch eine überraschende Kombination und Vermischung bekannter Ideen zu finden. Diese Art von Kreativität mit Computern zu realisieren oder zu simulieren ist eine große Herausforderung. Eine besondere Schwierigkeit besteht darin, Algorithmen zu entwickeln, die den Wert neu geschaffener Ideen bewerten.
In COINVENT werden wir eine formale Theorie der Begriffserfindung entwickeln, die Einsichten aus der Kognitionswissenschaft und der Künstlichen Intelligenz verbindet. Wesentlicher Bestandteil wird eine mathematische Theorie der Begriffe sein, welche als Fundament für Fauconniers und Turners Theorie der Begriffsverschmelzung (conceptual blending) dienen kann. Denn obgleich diese Art von Begriffsverschmelzung erfolgreich in der Beschreibung kombinatorischer Kreativität in diversen Bereichen angewandt wurde, ist sie wegen des Fehlens einer hinreichend präzisen mathematischen Charakterisierung kaum zur Entwicklung von kreativen Computersystemen genutzt worden.
Der zu entwickelnde Prototyp eines autonomen kreativen Computersystems wird in zwei Bereichen durch Menschen evaluiert werden, in der Mathematik und in der Musik. Die Ergebnisse des Projektes werden neue wissenschaftliche Einblicke in die Natur der Kreativität erlauben und es werden die Grundlagen für eine Fortentwicklung autonomer kreativer Computersysteme gelegt.
2023
Buchbeitrag
Extending OWL2 Manchester syntax to include missing features fromOWL2 abstract syntax
Gehrke, Björn; Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 3515 (2023), insges. 9 S.
Ontology pre-training for poison prediction
Glauer, Martin; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna
In: KI 2023: Advances in Artificial Intelligence , 1st ed. 2023. - Cham : Springer Nature Switzerland ; Seipel, Dietmar, S. 31-45 - ( Lecture notes in computer science; volume 14236) [Konferenz: 46th German Conference on AI, Berlin, Germany, September 26-29, 2023]
Neuro-Symbolic Semantic Learning for Chemistry
Glauer, Martin; Mossakowski, Till; Neuhaus, Fabian; Memariani, Adel; Hastings, Janna
In: Compendium of Neurosymbolic Artificial Intelligence - Amsterdam : IOS Press . - 2023, S. 460-484, Artikel 21 - (Frontiers in artificial intelligence and applications; volume 369)
Using the diagrammatic image schema language for joint human-machine cognition
Mossakowski, Till; Hedblom, Maria M.; Neuhaus, Fabian; Arévalo Arboleda, Stephanie; Raake, Alexander
In: Engineering for a changing world - Ilmenau : Technische Universität Ilmenau, Department of Mechanical Engineering ; Sattler, Kai-Uwe *1968-* . - 2023, S. 1-5, Artikel 5.1.133
Begutachteter Zeitschriftenartikel
Interpretable ontology extension in chemistry
Glauer, Martin; Memariani, Adel; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna
In: Semantic web - Amsterdam : IOS Press . - 2023, insges. 22 S. [Online first]
2022
Buchbeitrag
Modular design patterns for neural-symbolic integration - refinement and combination
Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 3212 (2022), Artikel paper 14, insges. 10 S.
2021
Buchbeitrag
Automated and explainable ontology extension based on deep learning - a case study in the chemical domain
Memarian, Adel; Glauer, Martin; Neuhaus, Fabian; Mossakowski, Till; Hastings, Janna
In: DAO-XAI 2021, Data meets Applied Ontologies in Explainable AI , 2021 - [Aachen, Germany] : [RWTH Aachen] ; Confalonieri, Roberto, insges. 15 S. [Workshop: Workshop on Data meets Applied Ontologies in Explainable AI, DAO-XAI 2021, Bratislava, Slovakia, September 18 - 19, 2021]
Generic ontology design patterns - roles and change over time
Krieg-Brückner, Bernd; Mossakowski, Till; Codescu, Mihai
In: Advances in Pattern-Based Ontology Engineering / Blomqvist , E. , 1st ed. - [Erscheinungsort nicht ermittelbar] : IOS Press, Incorporated ; Blomqvist, E. . - 2021, S. 25-47 - (Studies on the Semantic Web; Volume 51)
Begutachteter Zeitschriftenartikel
Learning chemistry - exploring the suitability of machine learning for the task of structure-based chemical ontology classification
Hastings, Janna; Glauer, Martin; Memariani, Adel; Neuhaus, Fabian; Mossakowski, Till
In: Journal of cheminformatics - London : BioMed Central, Bd. 13 (2021), Artikel 23, insges. 20 S.
Introducing the Open Energy Ontology - enhancing data interpretation and interfacing in energy systems analysis
Booshehri, Meisam; Emele, Lukas; Flügel, Simon; Förster, Hannah; Frey, Johannes; Frey, Ulrich; Glauer, Martin; Hastings, Janna; Hofmann, Christian; Hoyer-Klick, Carsten; Hülk, Ludwig; Kleinau, Anna; Knosala, Kevin; Kotzur, Leander; Kuckertz, Patrick; Mossakowski, Till; Muschner, Christoph; Neuhaus, Fabian; Pehl, Michaja; Robinius, Martin; Sehn, Vera; Stappel, Mirjam
In: Energy and AI - Amsterdam : Elsevier ScienceDirect, Bd. 5 (2021), Artikel 100074, insges. 14 S.
2020
Buchbeitrag
Substitute selection for a missing tool using robot-centric conceptual knowledge of objects
Thosar, Madhura; Mueller, Christian A.; Jaeger, Georg; Pfingsthorn, Max; Beetz, Michael; Zug, Sebastian; Mossakowski, Till
In: The 35th Annual ACM Symposium on Applied Computing , 2020 - New York, NY : Association for Computing Machinery ; Hung, Chih-Cheng, S. 972-979 [Symposium: 35th ACM/SIGAPP Symposium on Applied Computing, Brno Czech Republic, March, 2020]
Herausgeberschaft
JOWO 2020: the Joint Ontology Workshops - 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
Hammar, Karl; Kutz, Oliver; Dimou, Anastasia; Hahmann, Torsten; Hoehndorf, Robert; Masolo, Claudio; Vita, Randi; Ben Abbès, Sarra; Calvez, Philippe; Hantach, Rim; Sales, Tiago Prince; Porello, Daniele; Beßler, Daniel; Borgo, Stefano; Diab, Mohammed; Gangemi, Aldo; Olivares-Alarcos, Alberto; Pomarlan, Mihai; Porzel, Robert; Skjæveland, Martin G.; Lupp, Daniel P.; Horrocks, Ian; Klüwer, Johan W.; Kindermann, Christian; Bozzato, Loris; Mossakowski, Till; Serafini, Luciano
In: [Aachen, Germany]: [RWTH Aachen], 2020, 1 Online-Ressource - (CEUR workshop proceedings; vol-2708) Kongress: WOMoCoE 5 Online 2020.09.16[Literaturangaben; Die Workshops "DeepOntoNLP", "FOUST", "SKALE", "WOMoCoE" wurden online abgehalten. Der Workshop "RobOntics" sollte im September 2020 in Bolzano stattfinden, wurde aufgrund der COVID-19-Pandemie auf 2021 verschoben.; BOSK 2020-Veranstaltungen haben Juni bis November 2020 stattgefunden.]
Nicht begutachteter Zeitschriftenartikel
Generic ontology design patterns - roles and change over time
Krieg-Brückner, Bernd; Mossakowski, Till; Codescu, Mihai
In: De.arxiv.org - [S.l.] : Arxiv.org - 2020, article 2011.09353, 23 Seiten
2019
Buchbeitrag
Extensions of generic DOL for generic ontology design patterns
Codescu, Mihai; Krieg-Brückner, Bernd; Mossakowski, Till
In: CEUR workshop proceedings - Aachen : RWTH - Volume 2518 (2019), paper WOMOCOE1, insgesamt 12 Seiten [Workshop: 4th International Workshop on Ontology Modularity, Contextuality, and Evolution, WOMoCoE, Graz, Austria, 2019]
Generic ontology design patterns at work
Krieg-Brückner, Bernd; Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen - Volume 2518 (2019), paper BOG2, insgesamt 13 Seiten [Workshop: 2nd International Workshop on Bad Or Good Ontology, BOG, Graz, Austria, 2019]
Institutions for SQL database schemas and datasets
Glauer, Martin; Mossakowski, Till
In: Recent Trends in Algebraic Development Techniques , 1st ed. 2019 - Cham : Springer ; Fiadeiro, José Luiz, S. 67-86 - (Lecture Notes in Computer Science; volume 11563) [Workshop: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018]
Begutachteter Zeitschriftenartikel
Towards fuzzy neural conceptors
Mossakowski, Till; Diaconescu, Razvan; Glauer, Martin
In: Journal of applied logics - IfCoLoG journal of logics and their applications - London : College Publications, Bd. 6 (2019), Heft 4, S. 725-744
Herausgeberschaft
WOMoCoE - 4th International Workshop on Ontology Modularity, Contextuality, and Evolution
Borgo, Stefano; Bozzato, Loris; Mossakowski, Till; Zimmermann, Antoine
In: CEUR workshop proceedings - Aachen : RWTH , 1995, Bd. 2518 (2019)
2018
Buchbeitrag
Multi-view consistency in UML - a survey
Knapp, Alexander; Mossakowski, Till
In: Graph Transformation, Specifications, and Nets - Cham : Springer International Publishing . - 2018, S. 37-60 - (Lecture Notes in Computer Science; 10800)
Conceptual blending in DOL - evaluating consistency and conflict resolution
Codescu, Mihai; Neuhaus, Fabian; Mossakowski, Till; Kutz, Oliver; Jesús Gómez-Ramírez, Danny
In: Concept Invention - Cham : Springer International Publishing . - 2018, S. 99-132
Begutachteter Zeitschriftenartikel
Partial pushout semantics of generics in DOL
Mossakowski, Till; Krieg-Brückner, Bernd
In: Theoretical computer science - Amsterdam [u.a.] : Elsevier, Bd. 741 (2018), S. 58-70
Herausgeberschaft
MedRACER+WOMoCoE 2018 - joint proceedings of MedRACER and WOMoCoE 2018 : 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
Cyras, Kristijonas; Oliveira, Tiago; Williams, Matthew; Bozzato, Loris; Homola, Martin; Mossakowski, Till; Zimmermann, Antoine
In: Aachen, Germany: RWTH Aachen, 2018, 1 Online Ressource - (CEUR workshop proceedings; vol-2237) Kongress: International Conference on Principles of Knowledge Representation and Reasoning (KR) 16 Tempe, Ariz. 2018.10.27-11.02[Literaturangaben]
Nicht begutachteter Zeitschriftenartikel
Modular semantics and characteristics for bipolar weighted argumentation graphs
Mossakowski, Till; Neuhaus, Fabian
In: Arxiv - Ithaca, NY : Cornell University . - 2018
2017
Buchbeitrag
The Distributed Ontology, Model and Specification Language - DOL
Mossakowski, Till
In: Recent Trends in Algebraic Development Techniques - Cham : Springer International Publishing ; James, Phillip . - 2017, S. 5-10 - (Lecture Notes in Computer Science; 10644) [Workshop: 23rd International Workshop on Algebraic Development Techniques (WADT 2016),Gregynog, Wales, UK, September 21-24, 2016]
Canonical selection of colimits
Mossakowski, Till; Rabe, Florian; Codescu, Mihai
In: Recent Trends in Algebraic Development Techniques - Cham : Springer International Publishing ; James, Phillip . - 2017, S. 170-188 - (Lecture Notes in Computer Science; 10644) [Workshop: 23rd International Workshop on Algebraic Development Techniques (WADT 2016),Gregynog, Wales, UK, September 21-24, 2016]
Between contact and support - introducing a logic for image schemas and directed movement
Hedblom, Maria M.; Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian
In: AI*IA 2017 Advances in Artificial Intelligence - Cham : Springer, S. 256-268 - (Lecture Notes in Computer Science; 10640) [Konferenz: 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, Bari, Italy, November 14-17, 2017]
Web-retrieval supported argument space exploration
Thiel, Marcus; Ludwig, Philipp; Mossakowski, Till; Neuhaus, Fabian; Nürnberger, Andreas
In: Proceedings of the 2017 Conference on Conference Human Information Interaction and Retrieval - New York, NY : ACM, Association for Computing Machinery, S. 309-312 [Kongress: 2017 Conference on Conference Human Information Interaction and Retrieval : Oslo, Norway, March 07 - 11, 2017]
UML interactions meet state machines - an institutional approach
Knapp, Alexander; Mossakowski, Till
In: 7th Conference on Algebra and Coalgebra in Computer Science / CALCO , 2017 - Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing - 2017, S. 15.1-15.15, ingesamt 15 S. - (Leibniz international proceedings in informatics; Vol. 72) [Konferenz: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO17, Ljubljana, Slovenia, June 12-16, 2017]
The Distributed Ontology, Model and Specification Language DOL
Mossakowski, Till
In: Recent Trends in Algebraic Development Techniques, Springer International Publishing, 2017, S. 5-10, Lecture Notes in Computer Science
Relations between spatial calculi about directions and orientations
Mossakowski, Till; Moratz, Reinhard
In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17) - International Joint Conferences on Artificial Intelligence . - 2017, S. 5040-5044 [Konferenz: 26th International Joint Conference on Artificial Intelligence, IJCAI-17, Melbourne, Australia, 19-25 August 2017]
Begutachteter Zeitschriftenartikel
A survey of qualitative spatial and temporal calculi - algebraic and computational properties
Dylla, Frank; Lee, Jae Hee; Mossakowski, Till; Schneider, Thomas; van Delden, André; van de Ven, Jasper; Wolter, Diedrich
In: ACM computing surveys / Association for Computing Machinery - New York, NY : Association for Computing Machinery - Vol. 50.2017, 1, Art. 7, insgesamt 39 S.
A categorical approach to networks of aligned ontologies
Codescu, Mihai; Mossakowski, Till; Kutz, Oliver
In: Journal on data semantics - Berlin : Springer . - 2017, insges. 43 S.
Ontohub - a semantic repository engine for heterogeneous ontologies
Codescu, Mihai; Kuksa, Eugen; Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian
In: Applied ontology - Amsterdam : IOS Press, Bd. 12 (2017), Heft 3/4, S. 275-298
Specification refinements - calculi, tools, and applications
Codescu, Mihai; Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej
In: Science of computer programming - Amsterdam [u.a.] : Elsevier Science, Bd. 144 (2017), S. 1-49
Artikel in Kongressband
Institutions for database schemas and datasets
Glauer, Martin; Mossakowski, Till
In: CALCO Early Ideas 2017$a satellite workshop of CALCO 2017 - Ljubljana - 2017, S. 6:1-6:3 [Workshop: CALCO Early Ideas 2017, Ljubljana, 14-16 June 2017]
2016
Buchbeitrag
Prover-independent axiom selection for automated theorem proving in Ontohub
Kuksa, Eugen; Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 1635 (2016), S. 56-68
Ontohub - version control, linked data and theorem proving for ontologies
Kuksa, Eugen; Mossakowski, Till
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen, Bd. 1660 (2016), insges. 5 S. [Kongress: Joint Ontology Workshops 2016, Annecy, France, July 69, 2016]
RESTful encapsulation of OWL API
Dirsumilli, R.; Mossakowski, Till
In: DATA 2016 / International Conference on Data Management Technologies and Applications , 2016 - [Setúbal, Portugal] : SCITEPRESS - Science and Technology Publications, Lda., S. 150-157 [Kongress: 5th International Conference on Data Management Technologies and Applications, DATA 2016, Lisbon, Portugal, July 24-26, 2016]
Ontology patterns with DOWL - the case of blending
Kutz, Oliver; Neuhaus, Fabian; Hedblom, Maria M.; Mossakowski, Till; Codescu, Mihai
In: CEUR workshop proceedings - Aachen : RWTH, Bd. 1577 (2016), insges. 13 S. [Kongress: 29th International Workshop on Description Logics, DL 2016, Cape Town, South Africa, April 22-25, 2016]
Begutachteter Zeitschriftenartikel
Heterogeneous verification in the context of model driven engineering
Calegari, Daniel; Mossakowski, Till; Szasz, Nora
In: Science of computer programming - Amsterdam [u.a.] : Elsevier Science, Bd. 126 (2016), S. 3-30 [Selected Papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014)]
Query answering over contextualized RDF/OWL knowledge with forall-existential bridge rules : decidable finite extension classes
Joseph, Mathew; Kuper, Gabriel; Mossakowski, Till; Serafini, Luciano
In: Semantic web - Amsterdam : IOS Press, Bd. 7 (2016), Heft 1, S. 25-61
Herausgeberschaft
JOWO 2016 - the Joint Ontology Workshops : episode 2 - the French summer : CAOS, Onto.Com, NSWO, WOMoCoE, Ontology Competition, Demos, Early Career Symposium : held at the 9th International Conference on Formal Ontology in Information Systems - FOIS 2016 : July 6-9, 2016, Annecy, France
Kutz, Oliver; Cesare, Sergio; Hedblom, Maria M.; Besold, Tarek Richard; Veale, Tony; Gailly, Frederik; Guizzardi, Giancarlo; Lycett, Mark; Partridge, Chris; Pastor, Oscar; Grüninger, Michael; Neuhaus, Fabian; Mossakowski, Till; Borgo, Stefano; Bozzato, Loris; Chiara, Vescovo; Homola, Martin; Loebe, Frank; Barton, Adrien; Bourguet, Jean-Rémi
In: Aachen: RWTH Aachen, 2016, 1 Online-Ressource - (CEUR workshop proceedings; vol-1660) Kongress: International Conference on Formal Ontology in Information Systems (FOIS) 9 Annecy 2016.07.06-09[Literaturangaben]
Nicht begutachteter Zeitschriftenartikel
A survey of qualitative spatial and temporal calculi-algebraic and computational properties
Dylla, Frank; Lee, Jae Hee; Mossakowski, Till; Schneider, Thomas; Delden, André; Ven, Jasper; Wolter, Diedrich
In: Arxiv - Ithaca, NY : Cornell University . - 2016, insges. 55 S.
Bipolar weighted argumentation graphs
Mossakowski, Till; Neuhaus, Fabian
In: Arxiv - Ithaca, NY : Cornell University . - 2016, insges. 22 S.
Multi-view consistency in UML
Knapp, Alexander; Mossakowski, Till
In: Arxiv - Ithaca, NY : Cornell University . - 2016, insges. 23 S.
2015
Buchbeitrag
Model-driven engineering in the heterogeneous tool set
Calegari, Daniel; Mossakowski, Till; Szasz, Nora
In: Formal methods: foundations and applications - Cham [u.a.] : Springer . - 2015, S. 64-79 - (Lecture Notes in Computer Science; 8941)
E pluribus unum - formalisation, use-cases, and computational support for conceptual blending
Kutz, Oliver; Bateman, John; Mossakowski, Till; Neuhaus, Fabian; Bhatt, Mehul
In: Computational Creativity Research: Towards Creative Machines - Paris : Atlantis Press ; Besold, Tarek R. . - 2015, S. 167-196 - (Atlantis Thinking Machines; 7)
An institution for simple UML state machines
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus; Glauer, Martin
In: Fundamental Approaches to Software Engineering / Egyed , Alexander - Berlin, Heidelberg : Springer . - 2015, S. 3-18 - (Lecture Notes in Computer Science; 9033) Kongress: FASE 18 London, UK 2015.04.11-18
Towards an institutional framework for heterogeneous formal development in UML - a position paper
Knapp, Alexander; Mossakowski, Till; Roggenbach, Markus
In: Software, Services, and Systems / Nicola , Rocco - Cham [u.a.] : Springer ; Nicola, Rocco . - 2015, S. 215-230 - (Lecture Notes in Computer Science; 8950)
The distributed ontology, modeling, and specification language - DOL
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver
In: The Road to Universal Logic - Cham : Birkhäuser . - 2015, S. 489-520
Modularity of ontologies in an arbitrary institution
Ibanez, Yazmin Angelica; Mossakowski, Till; Tarlecki, Andrzej; Sannella, Don
In: Logic, Rewriting, and Concurrency , 1st ed. 2015 - Cham [u.a.] : Springer, S. 361-379 - (Lecture notes in computer science; 9200)
What is a derived signature morphism?
Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom
In: Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers , 1st ed. 2015 - [Cham] : Springer ; Codescu, Mihai, S. 90-109 - (Lecture notes in computer science; 9463) Kongress: WADT 22 Sinaia 2014.09.04-07
Begutachteter Zeitschriftenartikel
Relations between spatial calculi about directions and orientations
Mossakowski, Till; Moratz, Reinhard
In: Journal of artificial intelligence research - [Erscheinungsort nicht ermittelbar] : AI Access Found., Bd. 54 (2015), S. 277-308
Artikel in Kongressband
Blending in the hub - towards a collaborative concept invention platform
Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian; Codescu, Mihai
In: Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014, June 10-13, 2014, Ljubljana, Slovenia , 2014 - Ljubljana, Slovenia : Jožef Stefan Institute, insges. 9 S. Kongress: International Conference on Computational Creativity 5 Ljubljana, Slovenia 2014.06.09-13
2014
Abstract
Ontohub - a semantic repository for heterogeneous ontologies
Mossakowski, Till; Kutz, Oliver; Codescu, Mihai
In: ICTAC 2014 associated workshop: Theory Day in Computer Science: Buchaest, September 15-16, 2014 - BucharestKongress: Workshop Theory Day in Computer Science : (Bucharest) : 2014.09.15-16
Buchbeitrag
A relatively complete calculus for structured heterogeneous specifications
Mossakowski, Till; Tarlecki, Andrzej
In: Foundations of software science and computation structures: 17th international conference, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings - Berlin [u.a.]: Springer, S. 441-456 - (Lecture notes in computer science; 8412)Kongress: FOSSACS 17 (Grenoble : 2014.04.08-11)
A categorical approach to ontology alignment
Codescu, M.; Mossakowski, T.; Kutz, O.
In: CEUR Workshop Proceedings, Vol. 1317, 2014, S. 1-12, ISSN 16130073
A categorical approach to ontology alignment
Codescu, Mihai; Mossakowski, Till; Kutz, Oliver
In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1317/2014, S. 1-12Kongress: International Workshop on Ontology Matching 9 (Trentino, Italy : 2014.10.20)
Parchments for CafeOBJ logics
Mossakowski, Till; Pawłowski, Wiesław; Sannella, Donald; Tarlecki, Andrzej
In: Specification, algebra, and software: essays dedicated to Kokichi Futatsugi - Berlin [u.a.]: Springer, S. 66-91, 2014 - (Lecture notes in computer science; 8373)
Artikel in Kongressband
Space for space - SpacePortal: the 21st Century Home for Spatial Ontologies
Bateman, John; Kutz, Oliver; Mossakowski, Till; Sojic, Aleksandra; Codescu, Mihai
In: Spatial Cognition 2014: poster presentations - Bremen [u.a.]: Univ. [u.a.], S. 13-16
Fabricating monsters is hard - towards the automation of conceptual blending
Neuhaus, Fabian; Kutz, Oliver; Codescu, Mihai; Mossakowski, Till
In: Computational Creativity, Concept Invention, and General Intelligence: 3rd International Workshop, C3GI ECAI 2014, Prague, Czech Republic, August 19, 2014 ; proceedings - Osnabrück: Inst. of Cognitive Science - (Publication of the Institute of Cognitive Science; 1.2014)Kongress: International Workshop Computational Creativity, Concept Invention, and General Intelligence 3 (Prague : 2014.08.19)
Proof support for common logic
Mossakowski, Till; Codescu, Mihai; Kutz, Oilver; Lange, Christoph; Gruninger, Michael
In: Automated reasoning in quantified non-classical logics: 1st international Workshop, ARQNL 2014, Vienna, Austria, July 23, 2014 ; proceedings - Vienna, 2014, Paper 5, insgesamt 16 S.Kongress: ARQNL 2014 1 (Vienna, Austria : 2014.07.23)
2013
Buchbeitrag
Compiling logics
Codescu, M.; Horozal, F.; Jakubauskas, A.; Mossakowski, T.; Rabe, F.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7841 LNCS, 2013, S. 111-126, ISSN 03029743, 10.1007/978-3-642-37635-1_7
Mastering left and right-different approaches to a problem that is not straight forward
Delden, André; Mossakowski, Till
In: KI 2013: Advances in Artificial Intelligence / Timm , Ingo J. - Berlin, Heidelberg : Springer ; Timm, Ingo J., S. 248-259 - (Lecture notes in computer science; 8077) Kongress: KI 36 Koblenz 2013.09.16-20
Checking conservativity with Hets
Codescu, Silvestru Mihai; Mossakowski, Till; Maeder, Christian
In: Algebra and Coalgebra in Computer Science / Heckel , Reiko - Berlin, Heidelberg : Springer ; Heckel, Reiko . - 2013, S. 315-321 - (Lecture notes in computer science; 8089) Kongress: CALCO 5 Warsaw 2013.09.03-06
Three semantics for the core of the distributed ontology language
Mossakowski, Till; Lange, C.; Kutz, Oliver
In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, Beijing, China, 3 - 9 August 2013 ; Vol. 4 - Palo Alto, Calif. : AAAI Press [u.a.] , 2013, S. 3027-3031 Kongress: IJCAI 23 Beijing 2013.08.03-09
A qualitative comparison of the suitability of four theorem provers for basic auction theory
Lange, Christoph; Caminati, Marco B.; Kerber, Manfred; Mossakowski, Till; Rowat, Colin; Wenzel, Makarius; Windsteiger, Wolfgang
In: Intelligent Computer Mathematics / Carette , Jacques - Berlin, Heidelberg : Springer ; Carette, Jacques . - 2013, S. 200-215 - (Lecture notes in computer science; 7961) Kongress: MKM 12 Bath 2013.07.08-12
Designing domain specific languages - a craftsman's approach for the railway domain using CASL
James, P.; Knapp, A.; Mossakowski, Till; Roggenbach, M.
In: Recent Trends in Algebraic Development Techniques / Martí-Oliet , Narciso - Berlin, Heidelberg : Springer . - 2013, S. 178-194 - (Lecture notes in computer science; 7841) Kongress: WADT 21 Salamanca 2012.06.07-10
Algebraic properties of qualitative spatio-temporal calculi
Dylla, Frank; Mossakowski, Till; Schneider, Thomas; Wolter, Diedrich
In: Spatial Information Theory / Tenbrink , Thora - Cham [u.a.] : Springer ; Tenbrink, Thora *1969-* . - 2013, S. 516-536 - (Lecture notes in computer science; 8116) Kongress: COSIT 11 Scarborough 2013.09.02-06
Semantics of the distributed ontology language: Institutes and institutions
Mossakowski, T.; Kutz, O.; Lange, C.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7841 LNCS, 2013, S. 212-230, ISSN 03029743, 10.1007/978-3-642-37635-1_13
The distributed ontology, modeling and specification language
Mossakowski, Till; Kutz, Oliver; Codescu, Silvestru Mihai; Lange, Christoph
In: CEUR workshop proceedings - Aachen, Germany : RWTH Aachen , 1995, Bd. 1081.2013, insges. 21 S. Kongress: International Workshop on Modular Ontologies 7 Corunna, Spain 2013.09.15
Originalartikel in begutachteter internationaler Zeitschrift
The Institution-Theoretic Scope of Logic Theorems
Diaconescu, R.; Mossakowski, T.; Tarlecki, A.
In: Logica Universalis, Vol. 8, 2013, Issue 3-4, S. 393-406, ISSN 16618297, 10.1007/s11787-013-0093-x
2012
Buchbeitrag
Compositional modelling and reasoning in an institution for processes and data
O'Reilly, L.; Mossakowski, T.; Roggenbach, M.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 251-269, ISSN 03029743, 10.1007/978-3-642-28412-0_16
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Mossakowski, T.; Kreowski, H.-J.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. V-VI, ISSN 03029743
A proof theoretic interpretation of model theoretic hiding
Codescu, M.; Horozal, F.; Kohlhase, M.; Mossakowski, T.; Rabe, F.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 118-138, ISSN 03029743, 10.1007/978-3-642-28412-0_9
Towards logical frameworks in the heterogeneous tool set hets
Codescu, M.; Horozal, F.; Kohlhase, M.; Mossakowski, T.; Rabe, F.; Sojakova, K.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7137 LNCS, 2012, S. 139-159, ISSN 03029743, 10.1007/978-3-642-28412-0_10
The distributed ontology language (DOL): Ontology integration and interoperability applied to mathematical formalization
Lange, C.; Kutz, O.; Mossakowski, T.; Grüninger, M.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7362 LNAI, 2012, S. 463-467, ISSN 03029743, 10.1007/978-3-642-31374-5_37
Modelling highly symmetrical molecules: Linking ontologies and graphs
Kutz, O.; Hastings, J.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7557 LNAI, 2012, S. 103-111, ISSN 03029743, 10.1007/978-3-642-33185-5_11
The distributed ontology language (DOL): Use cases, syntax, and extensibility
Lange, C.; Mossakowski, T.; Kutz, O.; Galinski, C.; Grüninger, M.; Vale, D.C.
In: Proceedings of the 10th Terminology and Knowledge Engineering Conference: New Frontiers in the Constructive Symbiosis of Terminology and Knowledge Engineering, TKE 2012, 2012, S. 33-48
Ontology-based route planning for OpenStreetMap
Codescu, M.; Vale, D.C.; Kutz, O.; Mossakowski, T.
In: CEUR Workshop Proceedings, Vol. 901, 2012, S. 62-73, ISSN 16130073
Intuitive and natural interfaces for geospatial data classification
Schmid, F.; Kutz, O.; Frommberger, L.; Mossakowski, T.; Kauppinen, T.; Cai, C.
In: CEUR Workshop Proceedings, Vol. 881, 2012, S. 26-32, ISSN 16130073
LoLa: A modular ontology of logics, languages, and translations
Lange, C.; Mossakowski, T.; Kutz, O.
In: CEUR Workshop Proceedings, Vol. 875, 2012, S. 51-60, ISSN 16130073
Originalartikel in begutachteter internationaler Zeitschrift
Qualitative reasoning about relative direction of oriented points
Mossakowski, T.; Moratz, R.
In: Artificial Intelligence, Vol. 180-181, 2012, S. 34-45, ISSN 00043702, 10.1016/j.artint.2011.10.003
2011
Buchbeitrag
Refinement trees: Calculi, tools, and applications
Codescu, M.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6859 LNCS, 2011, S. 145-160, ISSN 03029743, 10.1007/978-3-642-22944-2_11
The onto-logical translation graph
Mossakowski, T.; Kutz, O.
In: Frontiers in Artificial Intelligence and Applications, Vol. 230, 2011, S. 94-109, ISSN 09226389, 10.3233/978-1-60750-799-4-94
Project abstract: Logic atlas and integrator (LATIN)
Codescu, M.; Horozal, F.; Kohlhase, M.; Mossakowski, T.; Rabe, F.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6824 LNAI, 2011, S. 289-291, ISSN 03029743, 10.1007/978-3-642-22673-1_24
DO-ROAM: Activity-oriented search and navigation with OpenStreetMap
Codescu, M.; Horsinka, G.; Kutz, O.; Mossakowski, T.; Rau, R.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6631 LNCS, 2011, S. 88-107, ISSN 03029743, 10.1007/978-3-642-20630-6_6
Integrating Maude into hets
Codescu, M.; Mossakowski, T.; Riesco, A.; Maeder, C.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6486 LNCS, 2011, S. 60-75, ISSN 03029743, 10.1007/978-3-642-17796-5_4
A modular consistency proof for DOLCE
Kutz, O.; Mossakowski, T.
In: Proceedings of the National Conference on Artificial Intelligence, Vol. 1, 2011, S. 227-234
Hyperontology for the biomedical ontologist: A sketch and some examples
Kutz, O.; Mossakowski, T.; Hastings, J.; Castro, A.G.; Sojic, A.
In: CEUR Workshop Proceedings, Vol. 833, 2011, S. 399-408, ISSN 16130073
Originalartikel in begutachteter internationaler Zeitschrift
A condensed semantics for qualitative spatial reasoning about oriented straight line segments
Moratz, R.; Lücke, D.; Mossakowski, T.
In: Artificial Intelligence, Vol. 175, 2011, Issue 16-17, S. 2099-2127, ISSN 00043702, 10.1016/j.artint.2011.07.004
2010
Buchbeitrag
A much better polynomial time approximation of consistency in the ℒℛ calculus
Lücke, D.; Mossakowski, T.
In: Frontiers in Artificial Intelligence and Applications, Vol. 222, 2010, S. 175-185, ISSN 09226389, 10.3233/978-1-60750-676-8-175
Change management for heterogeneous development graphs
Autexier, S.; Hutter, D.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6463 LNAI, 2010, S. 54-80, ISSN 03029743, 10.1007/978-3-642-17172-7_4
Chinese whispers and connected alignments
Kutz, O.; Normann, I.; Mossakowski, T.; Walther, D.
In: CEUR Workshop Proceedings, Vol. 689, 2010, S. 25-36, ISSN 16130073
Towards ontological blending
Hois, J.; Kutz, O.; Mossakowski, T.; Bateman, J.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 6304 LNAI, 2010, S. 263-264, ISSN 03029743, 10.1007/978-3-642-15431-7_28
Originalartikel in begutachteter internationaler Zeitschrift
Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design
Kutz, O.; Mossakowski, T.; Lücke, D.
In: Logica Universalis, Vol. 4, 2010, Issue 2, S. 255-333, ISSN 16618297, 10.1007/s11787-010-0020-3
A generic complete dynamic logic for reasoning about purity and effects
Mossakowski, T.; Schröder, L.; Goncharov, S.
In: Formal Aspects of Computing, Vol. 22, 2010, Issue 3-4, S. 363-384, ISSN 09345043, 10.1007/s00165-010-0153-4
2009
Buchbeitrag
The OWL in the CASL designing ontologies across logics
Kutz, O.; Lücke, D.; Mossakowski, T.; Normann, I.
In: CEUR Workshop Proceedings, Vol. 432, 2009, ISSN 16130073
The VSE refinement method in HETS
Codescu, M.; Langenstein, B.; Maeder, C.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5885 LNCS, 2009, S. 660-678, ISSN 03029743, 10.1007/978-3-642-10373-5_34
Heterogeneous logical environments for distributed specifications
Mossakowski, T.; Tarlecki, A.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5486 LNCS, 2009, S. 266-289, ISSN 03029743, 10.1007/978-3-642-03429-9_18
Kleene monads: Handling iteration in a framework of generic effects
Goncharov, S.; Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5728 LNCS, 2009, S. 18-33, ISSN 03029743, 10.1007/978-3-642-03741-2_3
Originalartikel in begutachteter internationaler Zeitschrift
What is a logic translation?
Mossakowski, T.; Diaconescu, R.; Tarlecki, A.
In: Logica Universalis, Vol. 3, 2009, Issue 1, S. 95-124, ISSN 16618297, 10.1007/s11787-009-0005-2
HasCasl: Integrated higher-order specification and program development
Schröder, L.; Mossakowski, T.
In: Theoretical Computer Science, Vol. 410, 2009, Issue 12-13, S. 1217-1260, ISSN 03043975, 10.1016/j.tcs.2008.11.020
2008
Buchbeitrag
Shapes of alignments construction, combination, and computation
Kutz, O.; Mossakowski, T.; Codescu, M.
In: CEUR Workshop Proceedings, Vol. 348, 2008, S. 30-43, ISSN 16130073
Qualitative reasoning about convex relations
Lücke, D.; Mossakowski, T.; Wolter, D.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5248 LNAI, 2008, S. 426-440, ISSN 03029743, 10.1007/978-3-540-87601-4_30
Heterogeneous colimits
Codescu, M.; Mossakowski, T.
In: 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08, 2008, S. 131-140, 10.1109/ICSTW.2008.20
A generic complete dynamic logic for reasoning about purity and effects
Mossakowski, T.; Schröder, L.; Goncharov, S.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4961 LNCS, 2008, S. 199-214, ISSN 03029743, 10.1007/978-3-540-78743-3_15
2007
Buchbeitrag
Qualitative constraint calculi: Heterogeneous verification of composition tables
Wòlfl, S.; Mossakowski, T.; Schröder, L.
In: Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007, 2007, S. 665-670
Structured CSP - A process algebra as an institution
Mossakowski, T.; Roggenbach, M.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 92-110, ISSN 03029743
The heterogeneous tool set
Mossakowski, T.; Maeder, C.; Lüttich, K.
In: CEUR Workshop Proceedings, Vol. 259, 2007, S. 119-135, ISSN 16130073
What is a logic?
Mossakowski, T.; Goguen, J.; Diaconescu, R.; Tarlecki, A.
In: Logica Universalis: Towards a General Theory of Logic, 2007, S. 111-133, 10.1007/978-3-7643-8354-1_7
Reasoning support for CASL with automated theorem proving systems
Lüttich, K.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 74-91, ISSN 03029743
Coalgebraic modal logic in COCASL
Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4409 LNCS, 2007, S. 127-141, ISSN 03029743
Modules in transition conservativity, composition, and colimits
Kutz, O.; Mossakowski, T.
In: CEUR Workshop Proceedings, Vol. 315, 2007, S. 15P, ISSN 16130073
The heterogeneous tool set, HETS
Mossakowski, T.; Maeder, C.; Lüttich, K.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4424 LNCS, 2007, S. 519-522, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
Ontological modularity and spatial diversity
Bateman, J.; Borgo, S.; Lüttich, K.; Masolo, C.; Mossakowski, T.
In: Spatial Cognition and Computation, Vol. 7, 2007, Issue 1, S. 97-128, ISSN 13875868, 10.1080/13875860701337991
2006
Buchbeitrag
Institutional 2-cells and Grothendieck institutions
Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4060 LNCS, 2006, S. 124-149, ISSN 03029743
Completeness of global evaluation logic
Goncharov, S.; Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4162 LNCS, 2006, S. 447-458, ISSN 03029743
Monad-based logics for computational effects
Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4019 LNCS, 2006, S. 3-4, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
A coalgebraic approach to the semantics of the ambient calculus
Hausmann, D.; Mossakowski, T.; Schröder, L.
In: Theoretical Computer Science, Vol. 366, 2006, Issue 1-2, S. 121-143, ISSN 03043975, 10.1016/j.tcs.2006.07.006
Development graphs - Proof management for structured specifications
Mossakowski, T.; Autexier, S.; Hutter, D.
In: Journal of Logic and Algebraic Programming, Vol. 67, 2006, Issue 1-2, S. 114-145, ISSN 15678326, 10.1016/j.jlap.2005.09.005
Algebraic-coalgebraic specification in CoCasl
Mossakowski, T.; Schröder, L.; Roggenbach, M.; Reichel, H.
In: Journal of Logic and Algebraic Programming, Vol. 67, 2006, Issue 1-2, S. 146-197, ISSN 15678326, 10.1016/j.jlap.2005.09.006
2005
Buchbeitrag
Specification of an ontology for Route Graphs
Krieg-Brückner, B.; Frese, U.; Lüttich, K.; Mandel, C.; Mossakowski, T.; Ross, R.J.
In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3343, 2005, S. 390-412, ISSN 03029743
Towards a coalgebraic semantics of the ambient calculus
Hausmann, D.; Mossakowski, T.; Schröder, L.
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 232-246, ISSN 03029743
What is a logic?
Mossakowski, T.; Goguen, J.; Diaconescu, R.; Tarlecki, A.
In: Logica Universalis: Towards a General Theory of Logic, 2005, S. 113-133, 10.1007/3-7643-7304-0_7
CASL specifications of qualitative calculi
Wölfl, S.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3693 LNCS, 2005, S. 200-217, ISSN 03029743
Parametrized exceptions
Walter, D.; Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 424-438, ISSN 03029743
Higher-order nets for mobile policies
Hoffmann, K.; Mossakowski, T.; Parisi-Presicce, F.
In: Electronic Notes in Theoretical Computer Science, Vol. 127, 2005, Issue 2, S. 87-105, ISSN 15710661, 10.1016/j.entcs.2005.02.007
A simple refinement language for CASL
Mossakowski, T.; Sannella, D.; Tarlecki, A.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 162-185, ISSN 03029743
Ontologies for the semantic Web in CASL
Lüttich, K.; Mossakowski, T.; Krieg-Brückner, B.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 106-125, ISSN 03029743
Type class polymorphism in an institutional framework
Schröder, L.; Mossakowski, T.; Lüth, C.
In: Lecture Notes in Computer Science, Vol. 3423, 2005, S. 234-251, ISSN 03029743
Iterative circular coinduction for CoCASL in Isabelle/HOL
Hausmann, D.; Mossakowski, T.; Schröder, L.
In: Lecture Notes in Computer Science, Vol. 3442, 2005, S. 341-356, ISSN 03029743
High-Level nets with nets and rules as tokens
Hoffmann, K.; Ehrig, H.; Mossakowski, T.
In: Lecture Notes in Computer Science, Vol. 3536, 2005, S. 268-288, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
Amalgamation in the semantics of CASL
Schröder, L.; Mossakowski, T.; Tarlecki, A.; Klin, B.; Hoffman, P.
In: Theoretical Computer Science, Vol. 331, 2005, Issue 1, S. 215-247, ISSN 03043975, 10.1016/j.tcs.2004.09.037
2004
Anderes Material
Generic exception handling and the java monad
Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3116, 2004, S. 443-459, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
Monad-independent dynamic logic in HasCASL
Schröder, L.; Mossakowski, T.
In: Journal of Logic and Computation, Vol. 14, 2004, Issue 4, S. 571-619, ISSN 0955792X, 10.1093/logcom/14.4.571
2003
Anderes Material
Algebraic-coalgebraic specification in CoCASL
Mossakowski, T.; Reichel, H.; Roggenbach, M.; Schröder, L.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2755, 2003, S. 376-392, ISSN 03029743
Buchbeitrag
Monad-independent Hoare logic in HASCASL
Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2621, 2003, S. 261-277, ISSN 03029743
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
Hoffmann, K.; Mossakowski, T.
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 253-267, ISSN 03029743
Foundations of Heterogeneous Specification
Mossakowski, T.
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 359-375, ISSN 03029743
COCASL at work - Modelling process algebra
Mossakowski, T.; Roggenbach, M.; Schröder, L.
In: Electronic Notes in Theoretical Computer Science, Vol. 82, 2003, Issue 1, S. 211-225, ISSN 15710661, 10.1016/S1571-0661(04)80640-6
Monad-independent dynamic logic in HASCASL
Schröder, L.; Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2755, 2003, S. 425-441, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
CASL - The common algebraic specification language: Semantics and proof theory
Mossakowski, T.; Haxthausen, A.E.; Sannella, D.; Tarlecki, A.
In: Computing and Informatics, Vol. 22, 2003, Issue 3-4, S. 285-321, ISSN 13359150
2002
Buchbeitrag
Institution independent static analysis for CASL
Mossakowski, T.; Klin, B.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2267 LNCS, 2002, S. 221-237, ISSN 03029743
Originalartikel in begutachteter internationaler Zeitschrift
Relating CASL with other specification languages: The institution level
Mossakowski, T.
In: Theoretical Computer Science, Vol. 286, 2002, Issue 2, S. 367-475, ISSN 03043975, 10.1016/S0304-3975(01)00369-3
2001
Buchbeitrag
Amalgamation in casl via enriched signatures
Schröder, L.; Mossakowski, T.; Tarlecki, A.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2076 LNCS, 2001, S. 993-1004, ISSN 03029743
2000
Buchbeitrag
CASL: From semantics to tools
Mossakowski, T.
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 1785 LNCS, 2000, S. 93-108, ISSN 03029743
- Agencia Estatal Consejo Superior de Investigaciones Cientificas, Spanien
- Aristotelio Panepistimio Thessalonikis, Griechenland
- Die kooperation
- DLR Institut für Vernetzte Energiesysteme
- Fraunhofer IEE
- Goldsmiths´College London, Großbritannien
- Helmholtz-Zentrum Geesthacht
- open_eGo
- Reiner Lemoine-Institut Berlin, Next Energy - EWE-Forschungszentrum für Energietechnologie e. V., Oldenburg, Zentrum für nachhaltige Energiesysteme, Flensburg
- The University of Edinburgh, Großbritannien
- Universität Osnabrück, Deutschland
- University of Dundee, Großbritannien
- Semantische Methoden und formale Ontologien
- Neuro-symbolische Integration
- Modellierung für elektrische Netze und erneuerbare Energien
- Qualitative räumlich-zeitliche Constraint satisfaction-Probleme
- Ontologische Modellierung
- neuro-symbolische Verfahren
1986 | Abitur |
1987 - 1989 | Zivildienst beim Deutschen Paritätischen Wohlfahrtsverband |
1986 - 1992 | Studium der Informatik an der Universität Bremen |
1989-1992 | Förderung durch die Studienstiftung des deutschen Volkes |
1992 | Diplom, Note "sehr gut" |
1993 - 1996 | Promotionsstipendium der Studienstiftung des deutschen Volkes |
1996 | Promotion, Prädikat "summa cum laude" |
1996 - 2000 | Postdoktorandenstipendium der Universität Bremen bei Prof. Dr. Hans-Jörg Kreowski |
2000 - 2002 | wissenschaftlicher Mitarbeiter der Universität Bremen, formale Methoden der Softwaretechnik |
2002 - 2005 | wissenschaftlicher Assistent der Universität Bremen, formale Methoden der Softwaretechnik |
2005 | Habilitation |
2008 - 2009 | Vertretungsprofessur (für Prof. Dr. Bernhard Nebel) an der Albert-Ludwigs-Universität Freiburg |
2011 | Verleihung der Bezeichnung Professor durch die Universität Bremen |
2006 - 2013 | Senior Researcher am Deutschen Forschungszentrum für künstliche Intelligenz GmbH |
2013 | Ruf auf die Professur "Kognitive Systeme" der Friedrich-Alexander-Universität Erlangen-Nürnberg (abgelehnt) |
seit Oktober 2013 | Professor für theoretische Informatik, Otto-von-Guericke Universität Magdeburg |
Ein zentrales Thema ist die Heterogenität, die sich aus unterschiedlichen Sichtweisen auf ein System ergibt, die in unterschiedlichen räumlich-zeitlichen Constraint-Kalkülen oder unterschiedlichen logischen Formalismen formuliert sind. Modularität und Heterogenität sind Schlüsseltechniken für einen "Divide-and-conquer"-Ansatz für komplexe Systeme.
In den letzten Jahren haben wir begonnen, an der neurosymbolischen Integration zu arbeiten. Dabei integrieren wir ontologisches Hintergrundwissen in den Lernprozess neuronaler Netze.