Abstract
The fuzzy knowledge plays an important role in many applications on the semantic web which faces imprecise and vague information. The current ontology languages on the semantic web use description logics as their logic foundation, which are insufficient to deal with fuzzy knowledge. Comparisons expressions between fuzzy membership degrees are frequently used in fuzzy knowledge systems. However, the current fuzzy extensions of description logics are not support the expression of such comparisons. This paper defines fuzzy comparison cuts to represent comparison expressions, extends fuzzy description logics by importing fuzzy comparison cuts and introducing new constructors. Furthermore, the reasoning algorithm is proposed. It enables representation and reasoning for fuzzy knowledge on the semantic web.
This work was supported in part by the National High Technology Research and Development Program of China (No. 2007AA01Z126, 863 Program).
This is a preview of subscription content, log in via an institution to check access.
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)
Zadeh, L.A., Kacprzyk, J. (eds.): Fuzzy logic for the management of uncertainty. John Wiley & Sons, Inc., New York (1992)
Tresp, C.B., Molitor, R.: A description logic for vague knowledge. In: Proceedings of the 13th Biennial European Conference on Artificial Intelligence (ECAI 1998), Brighton, UK, pp. 361–365. J. Wiley and Sons, Chichester (1998)
Yen, 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.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J.A. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 385–399. Springer, Heidelberg (2004)
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)
Kang, D., Xu, B., Lu, J., Li, Y.: Reasoning for a fuzzy description logic with comparison expressions. In: The 2006 International Workshop on Description Logics (DL 2006) (2006)
Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)
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(3), 294–305 (2003)
Sánchez, D., Tettamanzi, A.G.: Generalizing quantification in fuzzy description logic. In: 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)
Calegari, S., Ciucci, D.: Fuzzy ontology, fuzzy description logics and fuzzy-OWL. In: Masulli, F., Mitra, S., Pasi, G. (eds.) WILF 2007. LNCS (LNAI), vol. 4578, pp. 118–126. Springer, Heidelberg (2007)
Straccia, U.: A fuzzy description logic for the semantic web. In: Sanchez (ed.) Fuzzy Logic and the semantic web, Elsevier, Amsterdam (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lu, J., Kang, D., Zhang, Y., Li, Y., Zhou, B. (2008). A Family of Fuzzy Description Logics with Comparison Expressions. In: Wang, G., Li, T., Grzymala-Busse, J.W., Miao, D., Skowron, A., Yao, Y. (eds) Rough Sets and Knowledge Technology. RSKT 2008. Lecture Notes in Computer Science(), vol 5009. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79721-0_55
Download citation
DOI: https://doi.org/10.1007/978-3-540-79721-0_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79720-3
Online ISBN: 978-3-540-79721-0
eBook Packages: Computer ScienceComputer Science (R0)