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