Extended fuzzy ALCN and its tableau algorithm

Authors:
Jianjiang Lu;Baowen Xu;Yanhui Li;Dazhou Kang;Peng Wang
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;Department of Computer Science and Engineering, Southeast University, Nanjing, China
Venue:
FSKD'05 Proceedings of the Second international conference on Fuzzy Systems and Knowledge Discovery - Volume Part I
Year:
2005

Citing 6
Cited 5

Attributive concept descriptions with complements

Artificial Intelligence
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
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
Generalizing term subsumption languages to fuzzy logic

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Probabilistic description logics

UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence

Reasoning within extended fuzzy description logic

Knowledge-Based Systems
Reasoning problems on distributed fuzzy ontologies

RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
A fuzzy extension of description logic ALC with comparison expressions

KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
A distributed and fuzzy extension of description logics

KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
A Fuzzy Ontology for Database Querying with Bipolar Preferences

International Journal of Intelligent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Typical description logics are limited to dealing with crisp concepts. It is necessary to add fuzzy features to description logics for management of the fuzzy information. In this paper, we propose extended fuzzy ALCN to enable representation and reasoning for complex fuzzy information. We define syntax structure, semantic interpretation and reasoning problems of the extended fuzzy ALCN, and discuss the reasoning properties inexistent in typical description logics. We also design tableau algorithms of reasoning problems for extended fuzzy ALCN. The tableau algorithms are developed in the style of so-called constraint propagation method. Extended fuzzy ALCN is more expressive than the existing fuzzy description logics and present more wide fuzzy information.