Reasoning about concepts and similarity

From International Center for Computational Logic

Toggle side column

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
  • 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},
}