Prof. Mossakowski

Prof. Dr.-Ing. habil. Till Mossakowski

Fakultät für Informatik (FIN)
Institut für Intelligente Kooperierende Systeme (IKS)
Gebäude 29, Universitätsplatz 2, 39106 Magdeburg, G29-006
Projekte

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.

Projekt im Forschungsportal ansehen

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.

Projekt im Forschungsportal ansehen

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.

Projekt im Forschungsportal ansehen

Abgeschlossene Projekte

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.

Projekt im Forschungsportal ansehen

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.

Projekt im Forschungsportal ansehen

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.

Projekt im Forschungsportal ansehen

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.

Projekt im Forschungsportal ansehen

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.

Projekt im Forschungsportal ansehen

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.

Projekt im Forschungsportal ansehen

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

Projekt im Forschungsportal ansehen

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:

  1. Modularität von Ontologien, Modellen und Spezifikationen (OMS), inklusive deren Wiederverwendung
  2. Abbildungen zwischen OMS
  3. Netzwerke von OMS und ihre Kombination
  4. Heterogene OMS
  5. 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.

Projekt im Forschungsportal ansehen

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.

Projekt im Forschungsportal ansehen

Publikationen

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.

Buchbeitrag

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)

Buchbeitrag

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)

Buchbeitrag

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.

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), 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/ DAO-XAI - [Aachen, Germany]: [RWTH Aachen]; Confalonieri, Roberto . - 2021, insges. 15 S.

Buchbeitrag

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 - [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.

Begutachteter Zeitschriftenartikel

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), 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: Brno, Czech Republic, March 30-April 3, 2020/ Annual ACM Symposium on Applied Computing - New York, NY: Association for Computing Machinery, 2020; Hung, Chih-Cheng . - 2020, 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, Illustrationen - (CEUR workshop proceedings; vol-2708)Kongress: JOWO 6 (Online : 2020.08.31-10.07)

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, Germany: RWTH Aachen, 1995, Volume 2518 (2019), paper WOMOCOE1, insgesamt 12 Seiten[Workshop: 4th International Workshop on Ontology Modularity, Contextuality, and Evolution, WOMoCoE, Graz, Austria, 2019]

Buchbeitrag

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

Buchbeitrag

Institutions for SQL database schemas and datasets

Glauer, Martin; Mossakowski, Till

In: Recent Trends in Algebraic Development Techniques - Cham: Springer, 2019; Fiadeiro, José Luiz . - 2019, 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), 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, Germany: RWTH Aachen, 1995, Bd. 2518.2019

2018

Buchbeitrag

Multi-view consistency in UML - a survey

Knapp, Alexander; Mossakowski, Till

In: Graph Transformation, Specifications, and Nets: in memory of Hartmut Ehrig - Cham: Springer International Publishing, 2018 . - 2018, S. 37-60 - (Lecture Notes in Computer Science; 10800)

Buchbeitrag

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: Foundations, Implementation, Social Aspects and Applications - Cham: Springer International Publishing, 2018 . - 2018, S. 99-132

Begutachteter Zeitschriftenartikel

Partial pushout semantics of generics in DOL

Mossakowski, Till; Krieg-Brückner, Bernd

In: Theoretical computer science: the journal of the EATCS - Amsterdam [u.a.]: Elsevier, 1975, 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, Illustrationen - (CEUR workshop proceedings; vol-2237)Kongress: MedRACER 3 (Tempe, Ariz. : 2018.10.29)

Nicht begutachteter Zeitschriftenartikel

Modular semantics and characteristics for bipolar weighted argumentation graphs

Mossakowski, Till; Neuhaus, Fabian

In: De.arxiv.org - [S.l.]: Arxiv.org, 1991 . - 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)

Buchbeitrag

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)

Buchbeitrag

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, 2017 . - 2017, 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]

Buchbeitrag

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: Oslo, Norway, March 07 - 11, 2017 - 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]

Buchbeitrag

UML interactions meet state machines - an institutional approach

Knapp, Alexander; Mossakowski, Till

In: 7th Conference on Algebra and Coalgebra in Computer Science: CALCO 2017, June 14-16, 2017, Ljubljana, Slovenia - 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]

Buchbeitrag

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

Buchbeitrag

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): Melbourne, Australia, 19-25 August 2017 - International Joint Conferences on Artificial Intelligence, 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: CSUR - New York, NY: Association for Computing Machinery, Vol. 50.2017, 1, Art. 7, insgesamt 39 S.

Begutachteter Zeitschriftenartikel

A categorical approach to networks of aligned ontologies

Codescu, Mihai; Mossakowski, Till; Kutz, Oliver

In: Journal on data semantics: JoDS - Berlin: Springer, insges. 43 S., 2017

Begutachteter Zeitschriftenartikel

Ontohub - a semantic repository engine for heterogeneous ontologies

Codescu, Mihai; Kuksa, Eugen; Kutz, Oliver; Mossakowski, Till; Neuhaus, Fabian

In: Applied ontology: an interdisciplinary journal of ontological analysis and conceptual modeling - Amsterdam: IOS Press, Bd. 12.2017, 3/4, S. 275-298

Begutachteter Zeitschriftenartikel

Specification refinements - calculi, tools, and applications

Codescu, Mihai; Mossakowski, Till; Sannella, Donald; Tarlecki, Andrzej

In: Science of computer programming: methods of software design: techniques and applications - 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: 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: RWTH, Bd. 1635.2016, S. 56-68

Buchbeitrag

Ontohub - version control, linked data and theorem proving for ontologies

Kuksa, Eugen; Mossakowski, Till

In: CEUR workshop proceedings - Aachen: RWTH, Bd. 1660.2016, insges. 5 S.[Kongress: Joint Ontology Workshops 2016, Annecy, France, July 69, 2016]

Buchbeitrag

RESTful encapsulation of OWL API

Dirsumilli, R.; Mossakowski, Till

In: DATA 2016 : proceedings of the 5th International Conference on Data Management Technologies and Applications : July 24-26, 2016, Lisbon, Portugal. - [Setúbal] : 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]

Buchbeitrag

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 , 1995, 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: methods of software design: techniques and applications - Amsterdam [u.a.]: Elsevier Science, Bd. 126.2016, S. 3-30[Selected Papers from the 17th Brazilian Symposium on Formal Methods (SBMF 2014)]

Begutachteter Zeitschriftenartikel

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, 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, Illustrationen - (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: De.arxiv.org - [S.l.]: Arxiv.org, insges. 55 S., 2016

Nicht begutachteter Zeitschriftenartikel

Bipolar weighted argumentation graphs

Mossakowski, Till; Neuhaus, Fabian

In: De.arxiv.org. - [S.l.] : Arxiv.org, insges. 22 S., 2016

Nicht begutachteter Zeitschriftenartikel

Multi-view consistency in UML

Knapp, Alexander; Mossakowski, Till

In: De.arxiv.org. - [S.l.] : Arxiv.org, insges. 23 S., 2016

2015

Buchbeitrag

Model-driven engineering in the heterogeneous tool set

Calegari, Daniel; Mossakowski, Till; Szasz, Nora

In: Formal methods: foundations and applications: 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 - October 1, 2014 ; proceedings - Cham [u.a.]: Springer, S. 64-79, 2015 - (Lecture Notes in Computer Science; 8941)

Buchbeitrag

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 , 2015 ; Besold, Tarek R., S. 167-196 - (Atlantis Thinking Machines; 7)

Buchbeitrag

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

Buchbeitrag

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)

Buchbeitrag

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

Buchbeitrag

Modularity of ontologies in an arbitrary institution

Ibanez, Yazmin Angelica; Mossakowski, Till; Tarlecki, Andrzej; Sannella, Donald

In: Logic, Rewriting, and Concurrency , 1st ed. 2015 - Cham [u.a.] : Springer, S. 361-379 - (Lecture notes in computer science; 9200)

Buchbeitrag

What is a derived signature morphism?

Mossakowski, Till; Krumnack, Ulf; Maibaum, Tom

In: Recent Trends in Algebraic Development Techniques , 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: JAIR : an international electronic and print journal - [S.l.] ]: 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 / International Conference on Computational Creativity , 2014 - Ljubljana, Slovenia : Jožef Stefan Institute , 2014, 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)

Buchbeitrag

A categorical approach to ontology alignment

Codescu, M.; Mossakowski, T.; Kutz, O.

In: CEUR Workshop Proceedings, Vol. 1317, 2014, S. 1-12, ISSN 16130073

Buchbeitrag

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)

Buchbeitrag

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

Artikel in Kongressband

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)

Artikel in Kongressband

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Originalartikel in begutachteter internationaler Zeitschrift

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Originalartikel in begutachteter internationaler Zeitschrift

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

The heterogeneous tool set

Mossakowski, T.; Maeder, C.; Lüttich, K.

In: CEUR Workshop Proceedings, Vol. 259, 2007, S. 119-135, ISSN 16130073

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

Modules in transition conservativity, composition, and colimits

Kutz, O.; Mossakowski, T.

In: CEUR Workshop Proceedings, Vol. 315, 2007, S. 15P, ISSN 16130073

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Originalartikel in begutachteter internationaler Zeitschrift

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

Originalartikel in begutachteter internationaler Zeitschrift

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

Parametrized exceptions

Walter, D.; Schröder, L.; Mossakowski, T.

In: Lecture Notes in Computer Science, Vol. 3629, 2005, S. 424-438, ISSN 03029743

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

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

Buchbeitrag

Foundations of Heterogeneous Specification

Mossakowski, T.

In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, Issue 2755, S. 359-375, ISSN 03029743

Buchbeitrag

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

Buchbeitrag

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

Kooperationen
  • 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
Profil
Die Schwerpunkte meiner Forschungstätigkeit liegen in den Bereichen:
  • Semantische Methoden und formale Ontologien
  • Neuro-symbolische Integration
  • Modellierung für elektrische Netze und erneuerbare Energien
  • Qualitative räumlich-zeitliche Constraint satisfaction-Probleme
Service
Beratung zu:
  • Ontologische Modellierung
  • neuro-symbolische Verfahren
Vita

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

Presse
Unsere Forschung und Lehre konzentriert sich auf die Entwicklung und Anwendung formaler und semantischer (d.h. mathematisch begründeter) Methoden zur Untersuchung, Modellierung komplexer Systeme in verschiedenen Bereichen der Informatik. Schwerpunkt ist die Wissensrepräsentation mittels Ontologien und Knowledge Graphen.

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.

Letzte Änderung: 08.06.2023 - Ansprechpartner: Webmaster