Fuzzy Ontologies over Lattices with T-norms

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Fuzzy Ontologies over Lattices with T-norms

Stefan BorgwardtStefan Borgwardt,  Rafael PeñalozaRafael Peñaloza
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
  • 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},
}