Reasoning in ALC with Fuzzy Concrete Domains

Dorian MerzDorian Merz, Rafael PeñalozaRafael Peñaloza, Anni-Yasmin TurhanAnni-Yasmin Turhan

Download

Dorian Merz, Rafael Peñaloza, Anni-Yasmin Turhan
Reasoning in ALC with Fuzzy Concrete Domains
In Carsten Lutz and Michael Thielscher, eds., Proceedings of 37th edition of the German Conference on Artificial Intelligence (KI'14), volume 8736 of Lecture Notes in Artificial Intelligence, 171-182, 2014. Springer

Details
Bibtex

KurzfassungAbstract
In the context of Description Logics (DLs) concrete domains allow to model concepts and facts by the use of concrete values and predicates between them. For reasoning in the DL ALC with general TBoxes concrete domains may cause undecidability. Under certain restrictions of the concrete domains decidability can be regained. Typically, the concrete domain predicates are crisp, which is a limitation for some applications. In this paper we investigate crisp ALC in combination with fuzzy concrete domains for general TBoxes, devise conditions for decidability, and give a tableau-based reasoning algorithm.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ MePeTu-KI-14,
  author = {Dorian {Merz} and Rafael {Pe{\~n}aloza} and Anni-Yasmin {Turhan}},
  booktitle = {Proceedings of 37th edition of the German Conference on Artificial Intelligence (KI'14)},
  editor = {Carsten {Lutz} and Michael {Thielscher}},
  pages = {171--182},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Reasoning in {$\mathcal{ALC}$} with Fuzzy Concrete Domains},
  volume = {8736},
  year = {2014},
}