Fuzzy Ontologies over Lattices with T-norms

Stefan BorgwardtStefan Borgwardt, Rafael PeñalozaRafael Peñaloza

Download

Stefan Borgwardt, Rafael Peñaloza
Fuzzy Ontologies over Lattices with T-norms
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 70-80, 2011. CEUR-WS.org

Details
Bibtex

KurzfassungAbstract
Although fuzzy description logics over total orders and De Morgan lattices have been studied for nearly two decades, only a few, very specific instances of these logics are able to deal with general concept inclusion axioms. In this paper, we describe a general approach for extending description logic semantics to lattice-based fuzzy sets t-norms. We show that this logic is undecidable for a very simple class of infinite lattices, and describe an optimal automata-based algorithm for deciding satisfiability when the lattice is finite.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ BoPe-DL11,
  address = {Barcelona, Spain},
  author = {Stefan {Borgwardt} and Rafael {Pe{\~n}aloza}},
  booktitle = {Proceedings of the 24th International Workshop on Description Logics (DL 2011)},
  editor = {Riccardo {Rosati} and Sebastian {Rudolph} and Michael {Zakharyaschev}},
  pages = {70--80},
  publisher = {CEUR-WS.org},
  series = {CEUR Workshop Proceedings},
  title = {Fuzzy Ontologies over Lattices with T-norms},
  volume = {745},
  year = {2011},
}