Abstract
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but they require an appropriate fuzzy language to be agreed and an important number of available resources to be adapted. An alternative is to use classical ontologies to represent fuzzy ontologies. To date, all of the work in this direction has restricted to the Zadeh family of fuzzy operators. In this paper, we generalize existing proposals and propose a reasoning preserving procedure to obtain a crisp representation for a fuzzy extension of the logic \(\mathcal{ALCHOI}\) under Łukasiewicz semantics. This reduction makes possible to reuse a crisp representation language as well as currently available reasoners under crisp semantics.
This is a preview of subscription content, log in via an institution to check access.
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.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: Theory, implementation, and applications. Cambridge University Press, Cambridge (2003)
McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language overview (2004), http://www.w3.org/TR/owl-features
Lukasiewicz, T., Straccia, U.: An overview of uncertainty and vagueness in description logics for the semantic web. Technical Report INFSYS RR-1843-06-07, Institut für Informationssysteme, Technische Universität Wien (2006)
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)
Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 1–16 (2006)
Hájek, P.: Making fuzzy description logics more general. Fuzzy Sets and Systems 154(1), 1–15 (2005)
Bobillo, F., Delgado, M., Gómez-Romero, J.: A crisp representation for fuzzy SHOIN with fuzzy nominals and general concept inclusions. In: Proceedings of the 2nd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2006), CEUR Workshop Proceedings, vol. 218 (2006)
Stoilos, G., Stamou, G.: Extending fuzzy description logics for the semantic web. In: Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007) (2007)
Bobillo, F., Delgado, M., Gómez-Romero, J.: Optimizing the crisp representation of the fuzzy description logic SROIQ. In: Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007) (to appear, 2007)
Zadeh, L.A.: Fuzzy sets. Information and Control 8, 338–353 (1965)
Klir, G.J., Yuan, B.: Fuzzy sets and fuzzy logic: Theory and applications. Prentice-Hall, Englewood Cliffs (1995)
Straccia, U.: A fuzzy description logic for the semantic web. In: Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol. 1, pp. 73–90. Elsevier Science, Amsterdam (2006)
Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bobillo, F., Straccia, U. (2008). Towards a Crisp Representation of Fuzzy Description Logics under Łukasiewicz Semantics. In: An, A., Matwin, S., Raś, Z.W., Ślęzak, D. (eds) Foundations of Intelligent Systems. ISMIS 2008. Lecture Notes in Computer Science(), vol 4994. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68123-6_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-68123-6_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68122-9
Online ISBN: 978-3-540-68123-6
eBook Packages: Computer ScienceComputer Science (R0)