[1] Ma Zongmin, Wang Hailong, Yan Li, Zhao Faxin, et al. Fuzzy description logic based on vague sets [J]. Journal of Southeast University (English Edition), 2007, 23 (3): 399-402. [doi:10.3969/j.issn.1003-7985.2007.03.019]

Copy

Fuzzy description logic based on vague sets()

Share：

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

Volumn:

23

Issue:

2007 3

Page:

399-402

Research Field:

Computer Science and Engineering

Publishing date:

2007-09-30

Info

Title:

Fuzzy description logic based on vague sets

Author(s):

Ma Zongmin;  Wang Hailong;  Yan Li;  Zhao Faxin

College of Information Science and Engineering, Northeastern University, Shenyang 110004, China

Keywords:

semantic web;  description logic;  fuzzy logic;  vague sets;  tableau algorithm

PACS:

TP311

DOI:

10.3969/j.issn.1003-7985.2007.03.019

Abstract:

To enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web, a new fuzzy extension of description logics called vague ALC which is based on vague sets is presented.The definition of vague set is introduced and then the syntax and semantics of vague ALC are formally defined.The forms of axioms and assertions in the vague ALC knowledge bases are specified.Finally, the tableau algorithm is developed for the reasoning in the vague ALC.The vague ALC based on vague set uses two degrees of membership instead of a single membership degree in the fuzzy sets and is more accurate in representing the imprecision in the degrees of membership.The vague ALC has more expressive power than ALC and can represent fuzzy knowledge and perform reasoning tasks based on them.Therefore, the vague ALC can enable the representation and reasoning for fuzzy ontologies with expressive fuzzy knowledge on the semantic web.

References:

[1] Baader F, Calvanese D, McGuinness D, et al.The description logic handbook:theory, implementation and applications [M].Cambridge:Cambridge University Press, 2003:41-250.
[2] Stoilos G, Stamou G, Tzouvaras V, et al.The fuzzy description logic f-SHIN [C]//Proceedings of the International Workshop on Uncertainty Reasoning for the Semantic Web.Galway, Ireland, 2005:67-76.
[3] Straccia U.Reasoning within fuzzy description logics [J].Journal of Artificial Intelligence and Research, 2001, 14(1):137-166.
[4] Zadeh L A.Fuzzy sets [J].Information and Control, 1965, 8(3):338-353.
[5] Gau W L, Buehrer D J.Vague sets [J].IEEE Transactions on Systems, Man, and Cybernetics, 1993, 23(2):610-614.
[6] Lu A, Ng W.Vague sets or intuitionistic fuzzy sets for handling vague data:which one is better? [C]//Lecture Notes in Computer Science.Springer-Verlag, 2005, 3716:401-416.
[7] Stoilos G, Straccia U, Stamou G B, et al.General concept inclusions in fuzzy description logics [C]//Proceedings of the 17th European Conference on Artificial Intelligence.IOS Press, 2006:457-461.

Memo

Memo:

Biography: Ma Zongmin(1965—), male, doctor, professor, mazongmin@ise.neu.edu.cn.

Common functions