Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2015, January 28
Author: Kutz, Oliver
Title: Contextual and Distributed Reasoning with Ontologies


We will motivate and introduce several logics and semantics to handle problems of contextualised or distributed reasoning with ontologies that go beyond mere alignment. In particular, we will introduce the basic definitions and features of distributed description logics (DDL) and E-connections and discuss ways of integrating them into the distributed ontology language DOL.

Back to the Oberseminar web page