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

Abstract:

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
Webmaster