Logical Methods for Ontology Engineering
Logic-based ontology languages, such as OWL, are proliferating in many applications
and application domains, particularly in biology and medicine. The success of OWL can
be largely attributed to automated reasoning support, which can be used for obtaining
logical consequences of the information stated in ontologies. Despite many advances in
this area, reasoning support for the development of large and complex ontologies is still
limited. In particular, many aspects of ontology development, such as dealing with
dynamically changing ontologies, explanation of ontological entailments, ontology
debugging, ontology reuse, and distributed ontology reasoning, so far have received
little attention in the research. In this talk I will present an overview of the new results on
these topics that have been obtained in the context of my DFG Heisenberg scholarship.
Es laden ein die Projektleiter des Sonderforschungsbereich / Transregio 62.
Herr Dr. Yevgeny Kazakov
Institut für Künstliche Intelligenz
Montag, 12. Dezember 2016, 16 Uhr c.t.
Universität Ulm, O28, Raum 1002 (Videoübertragung zur Otto-von-Guericke-Universität Magdeburg, Raum G26.1-010)