Now showing items 1-3 of 3

    • BEACON: An Efficient SAT-Based Tool for Debugging EL+ Ontologies 

      Arif MF; Mencía C; Ignatiev A; Manthey N; Peñaloza R; Marques-Silva J (Springer-Verlag, 2016)
      Description Logics (DLs) are knowledge representation and reasoning formalisms used in many settings. Among them, the EL family of DLs stands out due to the availability of polynomial-time inference algorithms and its ...
    • Debugging EL+ Ontologies through Horn MUS Enumeration 

      Ignatiev A; Marques-Silva J; Mencía C; Peñaloza R (, 2017)
      In description logics (DLs), axiom pinpointing refers to the problem of enumerating the minimal subsets of axioms from an ontology that entail a given consequence. Recent developments on axiom pinpointing for the light-weight ...
    • Lean Kernels in Description Logics 

      Peñaloza R; Mencía C; Ignatiev A; Marques-Silva J (Springer, 2017)
      Lean kernels (LKs) are an effective optimization for deriving the causes of unsatisfiability of a propositional formula. Interestingly, no analogous notion exists for explaining consequences of description logic (DL) ...