Reasoning problems on distributed fuzzy ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5009 LNAI, Issue , 2008, Pages 588-595

  Zhou, Bo ^a   Lu, Jianjiang ^a   Li, Yanhui ^b   Zhang, Yafei ^a   Kang, Dazhou ^b  

^a PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b SOUTHEAST UNIVERSITY   (China)

Author keywords

Description logic; Distributed; Fuzzy; Ontology

Indexed keywords

FUZZY LOGIC; ONTOLOGY; PARALLEL ALGORITHMS; PROBLEM SOLVING; SEMANTIC WEB;

DESCRIPTION LOGICS; FUZZY DESCRIPTION LOGIC; FUZZY ONTOLOGIES;

LOGIC PROGRAMMING;

EID: 44649109700     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79721-0_79     Document Type: Conference Paper

References (14)

1. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69(1), 5-40 (2001)
2. 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)
3. Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14, 137-166 (2001)
4. 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)
5. 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)
6. 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)
7. Lu, J.J., Xu, B.W., Li, Y.H.: Extended fuzzy alen and its tableau algorithm. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol. 3613, pp. 232-242. Springer, Heidelberg (2005)
8. 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)
9. Kutz, O., Lutz, C., Wolter, F.: E-connections of abstract description systems. Artificial Intelligence 156(1), 1-73 (2004)
10. 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)
11. 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)
12. 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)
13. Horrocks, I., Sattler, U.: A tableaux decision procedure for shoiq. Journal of Automated Reasoning 39(3), 249-276 (2007)
14. 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)