[1] Zhou Bo, Lu Jianjiang, Zhang Yafei, Kang Dazhou, et al. New reasoning algorithm based on EFALC [J]. Journal of Southeast University (English Edition), 2006, 22 (4): 496-500. [doi:10.3969/j.issn.1003-7985.2006.04.011]

Copy

New reasoning algorithm based on EFALC()

Share：

Journal of Southeast University (English Edition)[ISSN:1003-7985/CN:32-1325/N]

Volumn:

22

Issue:

2006 4

Page:

496-500

Research Field:

Computer Science and Engineering

Publishing date:

2006-12-30

Info

Title:

New reasoning algorithm based on EFALC

Author(s):

Zhou Bo¹;  Lu Jianjiang¹;  Zhang Yafei¹;  Kang Dazhou²;  Li Yanhui²

¹Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China
²School of Computer Science and Engineering, Southeast University, Nanjing 210096, China

Keywords:

extended fuzzy description logic;  cut concept;  TBox;  reasoning algorithm

PACS:

TP311.13

DOI:

10.3969/j.issn.1003-7985.2006.04.011

Abstract:

The current extended fuzzy description logics lack reasoning algorithms with TBoxes.The problem of the satisfiability of the extended fuzzy description logic EFALC cut concepts w.r.t.TBoxes is proposed, and a reasoning algorithm is given.This algorithm is designed in the style of tableau algorithms, which is usually used in classical description logics.The transformation rules and the process of this algorithm is described and optimized with three main techniques:recursive procedure call, branch cutting and introducing sets of mesne results. The optimized algorithm is proved sound, complete and with an EXPTime complexity, and the satisfiability problem is EXPTime-complete.

References:

[1] Baader F, Calvanese D, McGuinness D L, et al.The description logic handbook:theory, implementation, and applications [M].Cambridge:Cambridge University Press, 2003.
[2] Straccia U.Reasoning within fuzzy description logics [J].Journal of Artificial Intelligence Research, 2001, 14(1):137-166.
[3] Straccia U.Transforming fuzzy description logics into classical description logics [A].In:Proceedings of the 9th European Conference on Logics in Artificial Intelligence [C].Lisbon, 2004.385-399.
[4] Lu J J, Xu B W, Li Y H, et al.A family of extended fuzzy description logics [J].International Journal of Business Intelligence and Data Mining, 2006, 1(4):384-400.
[5] Li Y H, Xu B W, Lu J J, et al.An extended fuzzy description logic [J].Journal of Southeast University(Natural Science Edition), 2005, 35(5):683-687.(in Chinese)
[6] Li Y H, Xu B W, Lu J J, et al.On the computational complexity of the extended fuzzy description logic with numerical constraints [J].Journal of Software, 2006, 17(5):968-975.(in Chinese)
[7] Li Y H, Lu J J, Xu B W, et al.A fuzzy extension of description logic ALCH [A].In: Lecture Notes in Artificial Intelligence[C]. Springer, 2005, 3789:152-161.
[8] Donini F M, Massacci F.EXPTIME tableaux for ALC [J].Artificial Intelligence, 2000, 124(1):87-138.

Memo

Memo:

Biographies: Zhou Bo(1982—), male, graduate;Lu Jianjiang(corresponding author), male, doctor, associate professor, jjlu@seu.edu.cn.

Common functions