A fuzzy extension of description logic ALC with comparison expressions

Authors:
Dazhou Kang;Baowen Xu;Jianjiang Lu;Yanhui Li
Affiliations:
Dep.of Computer Science and Engineering, Southeast University, Nanjing, China;Dep.of Computer Science and Engineering, Southeast University, Nanjing, China;Dep.of Computer Science and Engineering, Southeast University, Nanjing, China;Dep.of Computer Science and Engineering, Southeast University, Nanjing, China
Venue:
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Year:
2006

Citing 6
Cited 0

The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
A Family of Extended Fuzzy Description Logics

COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Generalizing term subsumption languages to fuzzy logic

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Towards a fuzzy description logic for the semantic web (preliminary report)

ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Extended fuzzy ALCN and its tableau algorithm

FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

The fuzzy description logics extend the classical description logics to support expressive representation and reasoning for fuzzy knowledge. But the current fuzzy description logics are not be accomplished in expressing comparisons between fuzzy memberships. The paper proposes ${\mathcal{ALC}_{FC}}$, a fuzzy extension of description logic ${\mathcal{ALC}}$ with comparison expressions. ${\mathcal{ALC}_{FC}}$ is able to express the comparisons between fuzzy assertions in ABoxes and define the comparison cut concepts for more complex comparison expressions. It also gives reasoning algorithms for satisfiability of ${\mathcal{ALC}_{FC}}$ concepts w.r.t. empty TBoxes.