Now showing items 1-10 of 10

    • Automata-based Pinpointing for DLs 

      Peñaloza, R (CEUR, 2008)
      The task of pinpointing the relevant subsets of axioms for a given property has acquired relevancy in the last years. In this paper we show how automata-based decision procedures can be adapted to produce a so-called ...
    • Basic Description Logics 

      Baader F; Nutt W (Cambridge University Press, 2003)
      This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying Description Logics. Then it ...
    • Blocking Automata for PSPACE DLs 

      Baader F; Hladik J; Peñaloza R (CEUR, 2007)
      In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as concept satisfiability. Whereas tableau-based ...
    • Decidability and Complexity of Fuzzy Description Logics 

      Baader F; Borgwardt S; Peñaloza R (2017)
      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 Hardware/Software Stack for Heterogeneous Systems 

      Castrillón J; Lieber M; Klüppelholz S; Völp M; Asmussen N; Assmann U; Baader F; Baier C; Fettweis GP; Fröhlich J; Goens A; Haas S; Habich D; Härtig H; Hasler M; Huismann I; Karnagel T; Karol S; Kumar A; Lehner W; Leuschner L; Ling S; Märcker S; Menard C; Mey J; Nagel WE; Nöthen B; Peñaloza R; Raitza M; Stiller J; Ungethüm A; Voigt A; Wunderlich S (2018)
      Plenty of novel emerging technologies are being proposed and evaluated today, mostly at the device and circuit levels. It is unclear what the impact of different new technologies at the system level will be. What is clear, ...
    • Metric Temporal Description Logics with Interval-Rigid Names 

      Baader F; Borgwardt S; Koopmann P; Ozaki A; Thost V (Springer, 2017)
      In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property ...
    • The Orchestration Stack: The Impossible Task of Designing Software for Unknown Future Post-CMOS Hardware 

      Völp M; Klüppelholz S; Castrillon J; Härtig H; Asmussen N; Assmann U; Baader F; Baier C; Fettweis G; Fröhlich J; Goens A; Haas S; Habich D; Hasler M; Huismann I; Karnagel T; Karol S; Lehner W; Leuschner L; Lieber M; Ling S; Märcker S; Mey J; Nagel W; Nöthen B; Peñaloza R; Raitza M; Stiller J; Ungethüm A; Voigt A ([s.n.], 2016)
      Future systems based on post-CMOS technologies will be wildly heterogeneous, with properties largely unknown today. This paper presents our design of a new hardware/software stack to address the challenge of preparing ...
    • Pinpointing in the Description Logic EL 

      Baader F; Peñaloza R; Suntisrivaraporn B (CEUR, 2007)
    • Towards distributed configuration 

      Felfernig A; Friedrich GE; Jannach D; Zanker M (Springer, 2001)
      Shorter product cycles, lower prices, and the production of highly variant products tailored to the customer needs are the main reasons for the proceeding success of product configuration systems. However, today’s product ...