Now showing items 1-1 of 1

    • Finite Lattices Do Not Make Reasoning in ALCI Harder 

      Borgwardt S; Peñaloza R (CEUR, 2011)
      We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTime-complete w.r.t. general TBoxes and ...