Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2015, November 18
Author: Mossakowski, Till
Title: The Distributed Ontology, Modeling and Specification Language (DOL): Entailments and Equivalences


DOL is a language for expressing complex ontologies, models and specifiations. This talk will focus on entailments, which express logical consequence between OMS, and equivalences of OMS.
Back to the Oberseminar web page