Reasoning about concepts and similarity
From International Center for Computational Logic
Reasoning about concepts and similarity
Carsten LutzCarsten Lutz, Frank WolterFrank Wolter, M. ZakharyaschevM. Zakharyaschev
Carsten Lutz, Frank Wolter, M. Zakharyaschev
Reasoning about concepts and similarity
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Reasoning about concepts and similarity
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
- KurzfassungAbstract
In many application areas, there exist concepts that are too vague to be captured by classical DL concept definitions. Based on this observation, we combine the description logic ALCQO with the logic MS for reasoning about metric spaces, and propose to use the resulting "hybrid" for the definition of concepts based on similarity measures: concepts can be defined by referring to (the similarity to) proptypical instances. We sketch a tableau algorithm for our logic and present an undecidability result illustrating that it can be dangerous to allow a too close interaction between the DL and MS. - Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ LuWoZa-DL2003,
author = {C. {Lutz} and F. {Wolter} and M. {Zakharyaschev}},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics ({DL2003})},
series = {CEUR-WS},
title = {Reasoning about concepts and similarity},
year = {2003},
}
