Abstract
The distributed fuzzy ontologies play an important role in semantic web. Most current solutions are proposed respectively on one of these two aspects. To represent distributed fuzzy ontology, we combine fuzzy description logics and E-connections, and present distributed extended fuzzy description logic (\(\mathcal{DEFSHOIN}\)). This novel logical approach couples both fuzzy and distributed features within description logics. The main contribution of this paper is to propose a combined tableau to achieve reasoning within \(\mathcal{DEFSHOIN}\).
This work was supported 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.
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., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69(1), 5–40 (2001)
Straccia, U.: A fuzzy description logic. In: Proceedings of AAAI 1998, 15th Conference of the American Association for Artificial Intelligence, Madison, Wisconsin, pp. 594–599 (1998)
Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137–166 (2001)
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 - DL 2006, The Lake District of the UK (2006)
Calegari, S., Ciucci, D.: Fuzzy ontology and fuzzy-owl in the kaon project. In: Proceedings of the 2007 Fuzzy Systems Conference, London, pp. 1–6 (2007)
Li, Y.H., Xu, B.W., Lu, J.J., Kang, D.Z.: On the computational complexity of the extended fuzzy description logic with numerical constraints. Journal of Software 17(5), 968–975 (2006)
Lu, J.J., Xu, B.W., Li, Y.H.: Extended fuzzy alcn and its tableau algorithm. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol. 3613, pp. 232–242. Springer, Heidelberg (2005)
Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 153–184. Springer, Heidelberg (2003)
Kutz, O., Lutz, C., Wolter, F.: E-connections of abstract description systems. Artificial Intelligence 156(1), 1–73 (2004)
Grau, B.C., Parsia, B., Sirin, E.: Working with multiple ontologies on the semantic web. In: Proceedings of the 3rd International Semantic Web Conference (2004)
Parsia, B., Cuenca Grau, B.: Generalized link properties for expressive e-connections of description logics. In: Proceedings of the Twentieth National Conference on Artificial Intelligence, Pittsburgh, pp. 657–662 (2005)
Li, Y.H., Lu, J.J., Zhou, B., Kang, D.Z.: A distributed and fuzzy extension of description logics. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol. 4251, pp. 655–662. Springer, Heidelberg (2006)
Horrocks, I., Sattler, U.: A tableaux decision procedure for shoiq. Journal of Automated Reasoning 39(3), 249–276 (2007)
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, Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhou, B., Lu, J., Li, Y., Zhang, Y., Kang, D. (2008). Reasoning Problems on Distributed Fuzzy Ontologies. 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_79
Download citation
DOI: https://doi.org/10.1007/978-3-540-79721-0_79
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)