Abstract
The fuzzy description logics extend the classical description logics to support expressive representation and reasoning for fuzzy knowledge. But the current fuzzy description logics are not be accomplished in expressing comparisons between fuzzy memberships. The paper proposes \({\mathcal{ALC}_{FC}}\), a fuzzy extension of description logic \({\mathcal{ALC}}\) with comparison expressions. \({\mathcal{ALC}_{FC}}\) is able to express the comparisons between fuzzy assertions in ABoxes and define the comparison cut concepts for more complex comparison expressions. It also gives reasoning algorithms for satisfiability of \({\mathcal{ALC}_{FC}}\) concepts w.r.t. empty TBoxes.
This work was supported in part by the NSFC (60373066, 60425206 and 90412003), National Grand Fundamental Research 973 Program of China (2002CB312000), Innovation Plan for Jiangsu High School Graduate Student, Advanced Armament Research Project (51406020105JB8103) and Advanced Research Fund of Southeast University (XJ0609233), High Technology Research Project of Jiangsu Province (BG2005032).
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Ye, J.: Generalizing term subsumption languages to fuzzy logic. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sidney, Australia, pp. 472–477 (1991)
Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)
Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence, Lisbon, pp. 385–399 (2004)
Straccia, U.: Description logics with fuzzy concrete domains. In: Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, Edinburgh, pp. 385–399 (2005)
Straccia, U.: Towards a fuzzy description logic for the semantic web (preliminary report). In: Gómez-Pérez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol. 3532, pp. 167–181. Springer, Heidelberg (2005)
Hölldobler, S., Störr, H.P., Tran, D.K.: The fuzzy description logic alcfh with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence and Intelligent Informatics 7, 294–305 (2003)
Sánchez, D., Tettamanzi, A.G.: Generalizing quantification in fuzzy description logic. In: Reusch, B. (ed.) Proceedings of the 8th Fuzzy Days in Dortmund: Computational Intelligence, Theory and Applications. Advances in Soft Computing Series, Springer, Berlin (2004)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: The fuzzy description logic f-shin. In: Proceedings of the International Workshop on Uncertainty Reasoning for the Semantic Web, Galway, Ireland (2005)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy owl: Uncertainty and the semantic web. In: Proceedings of the International workshop on OWL: Experience and Directions, Galway, Ireland (2005)
Li, Y., Xu, B., Lu, J., Kang, D., Wang, P.: A family of extended fuzzy description logics. In: Proceedings of the IEEE 29th Annual International Computer Software and Applications Conference, Edinburgh, Scotland, pp. 221–226 (2005)
Li, Y., Xu, B., Lu, J., Kang, D., Wang, P.: Extended fuzzy alcn and its tableau algorithm. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol. 3613, pp. 232–242. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kang, D., Xu, B., Lu, J., Li, Y. (2006). A Fuzzy Extension of Description Logic ALC with Comparison Expressions. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11892960_78
Download citation
DOI: https://doi.org/10.1007/11892960_78
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46535-5
Online ISBN: 978-3-540-46536-2
eBook Packages: Computer ScienceComputer Science (R0)