Abstract
By the development of Semantic Web, increasing demands for vague and distributed information representation have triggered a mass of theoretical and applied researches of fuzzy and distributed ontologies, whose main logical infrastructures are fuzzy and distributed description logics. However, current solutions are proposed respectively on one of these two aspects. By integrating \(\mathcal{E}\)-connection into fuzzy description logics, this paper proposes a novel logical approach to couple both fuzzy and distributed features within description logics. The main contribution of these paper is to propose a discrete tableau algorithm to achieve reasoning within this new logical system.
Chapter PDF
References
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284, 34–43 (2001)
Horrocks, I., Patel-Schneider, P.: Reducing owl entailment to description logic satisfiability. In: Proceeedings of the International Workshop on Description Logics (DL-05), pp. 1–8 (2003)
Parry, D.: Fuzzy Logic and the Semantic Web. In: A fuzzy ontology for medical document retrieval, Elsevier Science, Oxford (2006)
Widyantoro, D.H., Yen, J.: A fuzzy ontology-based abstract search engine and its user studies. In: FUZZ-IEEE, pp. 1291–1294 (2001)
Widyantoro, D., Yen, J.: Using fuzzy ontology for query refinement in a personalized abstract search engine. In: Proceedings of Joint 9th IFSA World Congress and 20th NAFIPS International Conference, Vancouver, Canada (2001)
Straccia, U.: A fuzzy description logic. In: Proceedings of AAAI-98, 15th National Conference on Artificial Intelligence, Madison, Wisconsin, pp. 594–599. AAAI Press, Menlo Park (1998)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrocks, I.: Fuzzy owl: Uncertainty and the semantic web. In: Proceedings of International Workshop of OWL: Experiences and Directions, Galway (2005)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrocks, I.: The fuzzy description logic shin. In: Proceedings of International Workshop of OWL: Experiences and Directions, Galway (2005)
Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J., Horrock, I.: A Fuzzy Description Logic for Multimedia Knowledge Representation. In: Proc. of the International Workshop on Multimedia and the Semantic Web (2005)
Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artificial Intelligence 156, 1–73 (2004)
Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 620–634. Springer, Heidelberg (2004)
Li, Y.H., Xu, B.W., Lu, J.J., Kang, D.Z.: Discrete tableaus for fshi. In: Proceedings of 2006 International Workshop on Description Logics - DL2006, The Lake District of the UK (2006)
Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)
Horrocks, I., Sattler, U.: A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation 9, 385–410 (1999)
Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161–180. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Lu, J., Li, Y., Zhou, B., Kang, D., Zhang, Y. (2007). Distributed Reasoning with Fuzzy Description Logics. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds) Computational Science – ICCS 2007. ICCS 2007. Lecture Notes in Computer Science, vol 4487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72584-8_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-72584-8_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72583-1
Online ISBN: 978-3-540-72584-8
eBook Packages: Computer ScienceComputer Science (R0)