Distributed Ontology, Modeling and Specification Language (DOL)

Die Distributed Ontology, Modeling and Specification Language (DOL) wurde entwickelt, um die Integration und Interoperabilität von Ontologien, Spezifikationen und Modellen (kurz: OMS) zu erreichen. DOL ist eine Sprache zur verteilten Wissensrepräsentation, Systemspezifikation und modellgetriebenen Entwicklung über mehrere OMS hinweg, insbesondere OMS, die in unterschiedlichen OMS-Sprachen und Logiken formalisiert wurden. DOL wurde als ein Standard der  Object Management Group. Wir haben auch einige DOL-Erweiterungen für Ontologie-Entwurfsmuster entwickelt.

DOL resources

Common Algebraic Specification Language (CASL)

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

Heterogeneous Tool Set (Hets)

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

 Hets homepage

Entwicklung einer Ontologie

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

Abgeschlossene Projekte