A tableau algorithm for reasoning about concepts and similarity

Carsten LutzCarsten Lutz, Frank WolterFrank Wolter, M. ZakharyaschevM. Zakharyaschev

Datei:LuWoZa-Tableaux2003.ps.gz

Download

Carsten Lutz, Frank Wolter, M. Zakharyaschev
A tableau algorithm for reasoning about concepts and similarity
Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, LNAI, 2003. Springer

Details
Bibtex

KurzfassungAbstract
We present a tableau-based decision procedure for the fusion (independent join) of the expressive description logic ALCQO and the logic MS for reasoning about distances and similarities. The resulting "hybrid" logic allows both precise and approximate representation of and reasoning about concepts. The tableau algorithm combines the existing tableaux for the components and shows that the tableau technique can be fruitfully applied to fusions of logics with nominals-the case in which no general decidability transfer results for fusions are available.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ LuWoZa-Tableaux2003,
  address = {Rome,Italy},
  author = {C. {Lutz} and F. {Wolter} and M. {Zakharyaschev}},
  booktitle = {Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods {TABLEAUX 2003}},
  publisher = {Springer},
  series = {LNAI},
  title = {A tableau algorithm for reasoning about concepts and similarity},
  year = {2003},
}