Abstract
This paper has its motivation in the occurrence of uncertain knowledge in different application areas, and introduces an expressive fuzzy description logic that extends classical description logics to many-valued logics. We represent, and reason with, uncertain knowledge in the description logic \(\mathcal{ALCHIN}\) extended to an interval-based, norm-parameterized fuzzy logic. First, the syntax and the semantics of the proposed fuzzy description logic are addressed. Then the paper presents an algorithm for consistency checking of knowledge bases in the proposed language.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., Mcguinness, D., Nardi, D., Patel- Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Bobillo, F., Straccia, U.: A fuzzy description logic with product t-norm. In: Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz IEEE 2007), pp. 652C–657C. IEEE Computer Society, Los Alamitos (2007)
Hájek, P.: Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998)
Hájek, P.: Making fuzzy description logics more expressive. Fuzzy Sets Syst. 154(1), 1–15 (2005)
NETO, A.G.S.S.: Tableau algorithm for alchin consistency checking
Stoilos, G., Stamou, G., Pan, J., Tzouvaras, V., Horrocks, I.: Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30, 273–320 (2007)
Straccia, U.: A fuzzy description logic. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998), pp. 594–599 (1998)
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)
Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)
Zhao, J., Boley, H., Du, W.: Expressing Vague Knowledge in the Fuzzy Description Logic fALCHIN. In: Proc. of the Sixth Annual Research Exposition, p. 72 (2009), http://www.cs.unb.ca/itc/ResearchExpo/Expo2009-proceeding.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhao, J., Boley, H., Du, W. (2009). Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. In: Huang, DS., Jo, KH., Lee, HH., Kang, HJ., Bevilacqua, V. (eds) Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence. ICIC 2009. Lecture Notes in Computer Science(), vol 5755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04020-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-04020-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04019-1
Online ISBN: 978-3-642-04020-7
eBook Packages: Computer ScienceComputer Science (R0)