Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


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

Abstract:

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
Webmaster