Vortrag "Modularity and Automated Reasoning in Description Logics"

Modularity and Automated Reasoning in Description Logics

Prof. Dr. Ulrike Sattler
(University of Manchester, School of Computer Science,
Information Management Group)

Mittwoch, 8. Januar 2020, 10:30 Uhr
Gebäude 33, Hörsaal 2401, Universität der Bundeswehr München

Description Logics are decidable fragments of first
order logics closely related to modal logics and the
guarded fragment. Through their use as logical
underpinning of the Semantic Web Ontology language OWL,
they are now widely used in a range of areas. As a
further consequence, DL reasoners have to deal with
logical theories—called ontologies—of increasing size
and complexity, and domain experts using DLs ask for
increasingly sophisticated tool support. One of the
many areas that have been considered in this aspect
is modularity, a concept that has successfully been
used to tame complexity and enable separation of
concerns in other areas, in particular Software
Engineering. In this talk, I will give a general
overview of description logics and OWL, introduce
the core reasoning tasks as well as central notions
of modularity in description logics, and finally
talk a little about applications of modularity
for automated reasoning.
______________________________________________________

Seminar-Informationen

http://theory.cca-net.de/seminar.php