Now showing items 1-8 of 8

    • Automata Can Show PSPACE Results for Description Logics 

      Baader, F; Hladik, J; Penaloza, R (2008)
      In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as satisfiability of concepts. Whereas ...
    • Automata-based Axiom Pinpointing 

      Baader, F; Penaloza, R (Springer-Verlag, 2008)
      Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in question (MinA). ...
    • Axiom Pinpointing in General Tableaux 

      Baader, F; Penaloza, R (Springer-Verlag, 2007)
      Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing minimal (maximal) subsets of the knowledge ...
    • Decidable Reasoning over Timestamped Conceptual Models 

      Artale, A; Toman, D (CEUR, 2008)
    • A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms 

      Baader, F; Knechtel, M; Penaloza, R (Springer, 2009)
      The framework developed in this paper can deal with scenarios where selected sub-ontologies of a large ontology are offered as views to users, based on criteria like the user’s access right, the trust level required by the ...
    • On the decidability status of fuzzy ALC with general concept inclusions 

      Baader, F; Borgwardt, S; Penaloza, R (Springer Verlag (Germany), 2015)
      The combination of Fuzzy Logics and Description Logics (DLs) has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp ...
    • On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm 

      Baader, F; Penaloza, R (Springer-Verlag, 2011)
      The combination of Fuzzy Logics and Description Logics (DLs) has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp ...
    • Pinpointing in the Description Logic EL+ 

      Baader, F; Penaloza, R; Suntisrivaraporn, B (Springer-Verlag, 2007)
      Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base that have the consequence in question. Until ...