Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
From International Center for Computational Logic
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Stefan BorgwardtStefan Borgwardt, Rafael PeñalozaRafael Peñaloza
Stefan Borgwardt, Rafael Peñaloza
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-04, 2012. LTCS-Report
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-04, 2012. LTCS-Report
- KurzfassungAbstract
Fuzzy description logics can be used to model vague knowledge in application domains. This paper analyses the consistency and satisfiability problems in the description logic SHI with semantics based on a complete residuated De Morgan lattice. The problems are undecidable in the general case, but can be decided by a tableau algorithm when restricted to finite lattices. For some sublogics of SHI, we provide upper complexity bounds that match the complexity of crisp reasoning. - Bemerkung: Note: See http://lat.inf.tu-dresden.de/research/reports.html.
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ BoPe-LTCS-12-04,
address = {Dresden, Germany},
author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
institution = {Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universit{\"a}t Dresden},
note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
number = {12-04},
title = {Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices},
type = {LTCS-Report},
year = {2012},
}