Logo des Repositoriums

Auflistung nach Autor:in "Borgwardt, Stefan"

1 - 2 von 2
  • Zeitschriftenartikel
    Decidability and Complexity of Fuzzy Description Logics
    (KI - Künstliche Intelligenz: Vol. 31, No. 1, 2017) Baader, Franz; Borgwardt, Stefan; Peñaloza, Rafael
    Fuzzy description logics (FDLs) have been introduced to represent concepts for which membership cannot be determined in a precise way, i.e., where instead of providing a strict border between being a member and not being a member, it is more appropriate to model a gradual change from membership to non-membership. First approaches for reasoning in FDLs where based either on a reduction to reasoning in classical description logics (DLs) or on adaptations of reasoning approaches for DLs to the fuzzy case. However, it turned out that these approaches in general do not work if expressive terminological axioms, called general concept inclusions (GCIs), are available in the FDL. The goal of this project was a comprehensive study of the border between decidability and undecidability for FDLs with GCIs, as well as determining the exact complexity of the decidable logics. As a result, we have provided an almost complete classification of the decidability and complexity of FDLs with GCIs.
  • Zeitschriftenartikel
    Semantic Technologies for Situation Awareness
    (KI - Künstliche Intelligenz: Vol. 34, No. 4, 2020) Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Thost, Veronika; Turhan, Anni-Yasmin
    The project “Semantic Technologies for Situation Awareness” was concerned with detecting certain critical situations from data obtained by observing a complex hard- and software system, in order to trigger actions that allow this system to save energy. The general idea was to formalize situations as ontology-mediated queries, but in order to express the relevant situations, both the employed ontology language and the query language had to be extended. In this paper we sketch the general approach and then concentrate on reporting the formal results obtained for reasoning in these extensions, but do not describe the application that triggered these extensions in detail.