Logo des Repositoriums

Auflistung nach Autor:in "Turhan, Anni-Yasmin"

1 - 5 von 5
  • Zeitschriftenartikel
    A Double Take at Conferences: The Hybrid Format
    (KI - Künstliche Intelligenz: Vol. 36, No. 1, 2022) Turhan, Anni-Yasmin
  • Zeitschriftenartikel
    Bridging the Prototype Gap: On the Evolution of Ugly Ducklings
    (KI - Künstliche Intelligenz: Vol. 33, No. 3, 2019) Turhan, Anni-Yasmin
  • Zeitschriftenartikel
    Pleased to Meet You!
    (KI - Künstliche Intelligenz: Vol. 29, No. 4, 2015) Turhan, Anni-Yasmin
  • 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.
  • Zeitschriftenartikel
    Small is Again Beautiful in Description Logics
    (KI - Künstliche Intelligenz: Vol. 24, No. 1, 2010) Baader, Franz; Lutz, Carsten; Turhan, Anni-Yasmin
    The Description Logic (DL) research of the last 20 years was mainly concerned with increasing the expressive power of the employed description language without losing the ability of implementing highly-optimized reasoning systems that behave well in practice, in spite of the ever increasing worst-case complexity of the underlying inference problems. OWL DL, the standard ontology language for the Semantic Web, is based on such an expressive DL for which reasoning is highly intractable. Its sublanguage OWL Lite was intended to provide a tractable version of OWL, but turned out to be only of a slightly lower worst-case complexity than OWL DL. This and other reasons have led to the development of two new families of light-weight DLs, $\mathcal{EL}$ and DL-Lite, which recently have been proposed as profiles of OWL 2, the new version of the OWL standard. In this paper, we give an introduction to these new logics, explaining the rationales behind their design.