Abstract
The last couple of years it is widely acknowledged that uncertainty and fuzzy extensions to ontology languages, like Description Logics (DLs) and OWL, could play a significant role in the improvement of many Semantic Web (SW) applications. Many of the tasks of SW like trust, matching, merging, ranking usually involve confidence or truth degrees that one requires to represent and reason about. Fuzzy DLs are able to represent vague concepts such as a “Tall” person, a “Hot” place, a “MiddleAged” person, a “near” destination and many more. In the current paper we present a fuzzy extension to the DL \(\mathcal{SHIN}\). First, we present the semantics while latter a detailed reasoning algorithm that decides most of the key inference tasks of fuzzy-\(\mathcal{SHIN}\). Finally, we briefly present the fuzzy reasoning system FiRE, which implements the proposed algorithm and two use case scenarios where we have applied fuzzy DLs through FiRE.
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
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (2001)
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From \(\mathcal{SHIQ}\) and RDF to OWL: The making of a web ontology language. Journal of Web Semantics 1 (2003)
Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, implementation and applications. Cambridge Uni. Press, Cambridge (2002)
Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)
Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30, 273–320 (2007)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrocks, I.: Fuzzy OWL: Uncertainty and the semantic web. In: Proc. of the International Workshop on OWL: Experiences and Directions (2005)
Stoilos, G., Simou, N., Stamou, G., Kollias, S.: Uncertainty and the semantic web. IEEE Intelligent Systems 21, 84–87 (2006)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrocks, I.: A fuzzy description logic for multimedia knowledge representation. In: Proc. of the International Workshop on Multimedia and the Semantic Web (2005)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrocks, I.: The fuzzy description logic f-\(\mathcal{SHIN}\). In: Proc. of the International Workshop on Uncertainty Reasoning for the Semantic Web, pp. 67–76 (2005)
Pan, J., Stamou, G., Stoilos, G., Thomas, E.: Scalable querying services over fuzzy ontologies. In: Proceedings of the International World Wide Web Conference (WWW 2008), Beijing (2008)
Stoilos, G., Straccia, U., Stamou, G., Pan, J.: General concept inclusions in fuzzy description logics. In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 457–461 (2006)
Li, Y., Xu, B., Lu, J., Kang, D.: Discrete tableau algorithms for \(\mathcal{FSHI}\). In: Proceedings of the International Workshop on Description Logics (DL 2006), Lake District, UK (2006)
Broekstra, J., Kampman, A., van Harmelen, F.: Sesame: A generic architecture for storing and querying rdf and rdf schema. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 54–68. Springer, Heidelberg (2002)
Sciascio, E.D., Donini, F.: Description logics for image recognition: a preliminary proposal. In: International Workshop on Description Logics, DL 1999 (1999)
Neumann, B., Möller, R.: On scene interpretation with description logics. In: Christensen, H.I., Nagel, H.-H. (eds.) Cognitive Vision Systems. LNCS, vol. 3948, pp. 247–278. Springer, Heidelberg (2006)
Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)
Simou, N., Stoilos, G., Pardalis, K., Tzouvaras, V., Stamou, G., Kollias, S.: Storing and querying fuzzy knowledge in the semantic web, Technical Report (2008)
Simou, N., Athanasiadis, T., Tzouvaras, V., Kollias, S.: Multimedia reasoning with f-\(\mathcal{SHIN}\). In: 2nd International Workshop on Semantic Media Adaptation and Personalization, London, December 17-18 (2007)
Holi, M., Hyvonen, E.: Fuzzy view-based semantic search. In: Asian Semantic Web Conference (2006)
Meghini, C., Sebastiani, F., Straccia, U.: A model of multimedia information retrieval. Journal of the ACM 48, 909–970 (2001)
Ragone, A., Straccia, U., Di Noia, T., Di Sciascio, E., Donini, F.: Vague knowledge bases for matchmaking in p2p e-marketplaces. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol. 4519, pp. 414–428. Springer, Heidelberg (2007)
Yen, J.: Generalising term subsumption languages to fuzzy logic. In: Proc of the 12th Int. Joint Conf on Artificial Intelligence (IJCAI 1991), pp. 472–477 (1991)
Tresp, C., Molitor, R.: A description logic for vague knowledge. In: Proc of the 13th European Conf. on Artificial Intelligence, ECAI 1998 (1998)
Straccia, U.: Description logics with fuzzy concrete domains. In: 21st Conf. on Uncertainty in Artificial Intelligence (UAI 2005), Edinburgh (2005)
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), London (2007)
Straccia, U.: \(\it{fuzzyDL}\): An expressive fuzzy description logic reasoner. In: Proceedings of the International Conference on Fuzzy Systems, Fuzz-IEEE 2008 (2008)
Straccia, U.: Answering vague queries in fuzzy DL-Lite. In: Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2006), pp. 2238–2245 (2006)
Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Dl-lite: Tractable description logics for ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence, AAAI 2005 (2005)
Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic \(\mathcal{EL}\) useful in practice? Journal of Logic, Language and Information, Special Issue on Method for Modality (to appear, 2008)
Stoilos, G., Stamou, G., Pan, J.: Efficient classification of fuzzy subsumption with fuzzy-\(\mathcal{EL}\)+. In: Proceedings of the 21st International Workshop on Description Logics (DL 2008), Dresden (2008)
Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics (2008)
Haarslev, V., Pai, H.I., Shiri, N.: Optimizing tableau reasoning in ALC extended with uncertainty. In: Proceedings of the 20th International Workshop on Description Logics (DL 2007), pp. 307–314 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stoilos, G., Stamou, G., Pan, J.Z., Simou, N., Tzouvaras, V. (2008). Reasoning with the Fuzzy Description Logic f-\(\mathcal{SHIN}\): Theory, Practice and Applications. In: da Costa, P.C.G., et al. Uncertainty Reasoning for the Semantic Web I. URSW URSW URSW 2006 2007 2005. Lecture Notes in Computer Science(), vol 5327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89765-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-89765-1_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89764-4
Online ISBN: 978-3-540-89765-1
eBook Packages: Computer ScienceComputer Science (R0)