Abstract
We present a tableau-based decision procedure for the fusion (independent join) of the expressive description logic \(\mathcal{ALCQO}\) and the logic \(\mathcal{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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Baader, F., Lutz, C., Sturm, H., Wolter, F.: Fusions of description logics and abstract description systems. J. of Artificial Intelligence Research 16, 1–58 (2002)
Fine, K., Schurz, G.: Transfer theorems for stratified modal logics. In: Copeland, J. (ed.) Logic and Reality, Essays in Pure and Applied Logic. In memory of Arthur Prior, pp. 169–213. Oxford University Press, Oxford (1996)
Horrocks, I., Patel-Schneider, P.: The generation of DAML+OIL. In: Goble, C., McGuinness, D., Möller,R., Patel-Schneider, P. (eds.) Proceedings of the International Workshop in Description Logics 2001 (DL 2001), number 49 in CEURWS, pp. 30–35 (2001), http://ceur-ws.org/
Horrocks, I., Sattler, U.: Ontology reasoning in the \(\mathcal{SHOQ}\)(D) description logic. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), pp. 199–204. Morgan Kaufmann, San Francisco (2001)
Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic \(\mathcal{SHIQ}\). In: McAllester, D. (ed.) CADE 2000. LNCS, vol. 1831, Springer, Heidelberg (2000)
Horrocks, I., Patel-Schneider, P., van Harmelen, F.: Reviewing the design of DAML+OIL: An ontology language for the semantic web. In: Proceedings of the 18th National Conference on Artificial Intelligence, AAAI 2002 (2002)
Kracht, M., Wolter, F.: Properties of independently axiomatizable bimodal logics. J. Symbolic Logic 56, 1469–1485 (1991)
Kutz, O., Sturm, H., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M.: Logics of metric spaces. ACM Transactions on Computational Logic (2003) (in print)
Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48, 1–26 (1991)
Spaan, E.: Complexity of Modal Logics. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam (1993)
Wolter, F.: Fusions of modal logics revisited. In: Kracht, M., De Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol. 1, pp. 361–379. CSLI, Stanford (1997)
Wolter, F., Zakharyaschev, M.: Reasoning about distances. In: Proc. IJCAI (2003) (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lutz, C., Wolter, F., Zakharyaschev, M. (2003). A Tableau Algorithm for Reasoning about Concepts and Similarity. In: Cialdea Mayer, M., Pirri, F. (eds) Automated Reasoning with Analytic Tableaux and Related Methods . TABLEAUX 2003. Lecture Notes in Computer Science(), vol 2796. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45206-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-45206-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40787-4
Online ISBN: 978-3-540-45206-5
eBook Packages: Springer Book Archive