Entwicklung eines OMG-Standards OntoIOp für Ontologien, Modellierung und Spezifikation

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.

Development of an OMG standard OntoIOp for ontologies, modeling and specification

OntoIOp aims at a meta language for the specification, relation and modularisation of logical theories, with particular emphasis on (formal) ontologies, models and specifications, and their underlying logical theories. OntoIOp's essential features are:

1. modularity of ontologies, models and specifications (OMS), including the reuse of existing OMS
2. mappings between OMS
3. networks of OMS and their combination
4. heterogeneity within OMS
5. queries

Supported languages for basic OMS include OWL, RDF, CASL, Common Logic and UML.
The result of this project will be submitted as "Distributed Ontology, Modeling and Specification Language (DOL)" to the Object Management Group (OMG) as a standard.