Two reasoning methods for extended fuzzy ALCH

Authors:
Dazhou Kang;Jianjiang Lu;Baowen Xu;Yanhui Li;Yanxiang He
Affiliations:
Department of Computer Science and Engineering, Southeast University, Nanjing, China;Department of Computer Science and Engineering, Southeast University, Nanjing, China;Department of Computer Science and Engineering, Southeast University, Nanjing, China;Department of Computer Science and Engineering, Southeast University, Nanjing, China;State Key Laboratory of Software, Wuhan University, Wuhan, China
Venue:
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Year:
2005

Citing 2
Cited 3

The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research

A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions

Uncertainty Reasoning for the Semantic Web I
Fuzzy description logics under Gödel semantics

International Journal of Approximate Reasoning
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces cut sets of fuzzy concepts and fuzzy roles as atomic concepts and atomic roles to build extended fuzzy $\cal{ALCH}$$\cal{(EFALCH)}$, a new fuzzy extension of $\cal{ALCH}$. It talks about two reasoning methods for $\cal{ EFALCH}$. The first one presents a sound and complete algorithm for $\cal{EFALCH}$ reasoning tasks and proves the complexity is PSPACE-complete. The second one reduces $\cal{EFALCH}$ into $\cal{ ALCH}$, which can be performed in polynomial time and keep the semantic consistency, and then uses $\cal{ALCH}$ reasoning method to solve $\cal{EFALCH}$ reasoning tasks.