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.
CITATION STYLE
Lutz, C., Wolter, F., & Zakharyaschev, M. (2003). A tableau algorithm for reasoning about concepts and similarity. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2796, pp. 134–149). Springer Verlag. https://doi.org/10.1007/978-3-540-45206-5_12
Mendeley helps you to discover research relevant for your work.