Reasoning technique for extended fuzzy description logics

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 2005, Issue , 2005, Pages 665-666

  Li, Yanhui ^a   Xu, Baowen ^a,b,c   Lu, Jianjiang ^a,b,d   Kang, Dazhou ^a   Xu, Jie ^a  

^a SOUTHEAST UNIVERSITY   (China)

^b Jiangsu Institute of Software Quality   (China)

^c WUHAN UNIVERSITY   (China)

^d PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INFORMATION ANALYSIS; KNOWLEDGE BASED SYSTEMS; POLYNOMIAL APPROXIMATION; SEMANTICS;

FUZZY DESCRIPTION LOGICS; POLYNOMIAL TIME;

FUZZY SETS;

EID: 33845907365     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2005.107     Document Type: Conference Paper

References (5)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., and Patel-Schneider, P.F., "The Description Logic Handbook: Theory, Implementation, and Applications", Cambridge University Press, 2003.
2. Li, Y. H., Xu, B. W., Lu, J. J., Kang, D. Z., Wang, P, "A family of extended fuzzy description logics", Proceedings of the 29th Annual International Computer Software and Applications Conference, Edinburgh, 2005, pp. 221-226.
3. Straccia, U., "Reasoning within Fuzzy Description Logics", Journal of Artificial Intelligence Research, vol 14, 2001, pp. 137-166.
4. Straccia, U., "Transforming Fuzzy Description Logics into Classical Description Logics", Proceedings of the 9th European Conference on Logics in Artificial Intelligence, Lisbon, 2004, pp. 385-399.
5. Baader, F., Sattler, U., "An Overview of Tableau Algorithms for Description Logics", Studia Logica, vol 69, no. 1, 2001, pp. 5-40.