[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(
)
一种基于vague集的模糊描述逻辑
)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
- 一种基于vague集的模糊描述逻辑
- 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.
- 为实现语义web上包含复杂模糊知识模糊本体的表示和推理, 提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague 集的定义, 然后给出vague ALC的语法和语义的形式化描述, 并规定vague ALC知识库中的公理和断言形式, 指出了其推理的基本问题, 最后给出了vague ALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague 集之上, 用一个区间来表示一个成员函数的隶属度, 解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力, 能够表示复杂的模糊知识并基于它们完成推理任务, 因此, vague ALC可实现语义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.