Reasoning within extended fuzzy description logic

Authors:
Jianjiang Lu;Yanhui Li;Bo Zhou;Dazhou Kang
Affiliations:
Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China;School of Computer Science and Engineering, Southeast University, Nanjing 210096, China;Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China;School of Computer Science and Engineering, Southeast University, Nanjing 210096, China
Venue:
Knowledge-Based Systems
Year:
2009

Citing 11
Cited 4

Computational complexity of terminological reasoning in BACK

Artificial Intelligence
A Terminological Knowledge Representation System with Complete Inference Algorithms

PDK '91 Proceedings of the International Workshop on Processing Declarative Knowledge
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
A family of Extended Fuzzy Description Logics

International Journal of Business Intelligence and Data Mining
General Concept Inclusions in Fuzzy Description Logics

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics

Journal of Artificial Intelligence Research
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
Semantic Image Segmentation and Object Labeling

IEEE Transactions on Circuits and Systems for Video Technology

Designing Visual Languages for Description Logics

Journal of Logic, Language and Information
Expressive fuzzy description logics over lattices

Knowledge-Based Systems
Hy-SN: Hyper-graph based semantic network

Knowledge-Based Systems
Short communication: Reasoning with part-part relations in a description logic

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

An extended fuzzy description logic is proposed to increase expressive power for complex fuzzy information. We introduce cut sets of the fuzzy concepts and fuzzy roles as atomic concepts and atomic roles, and inherit concept constructors of the description logics to support a new logic system for fuzzy knowledge representation. We define the syntax, semantics and knowledge base of the extended fuzzy description logic, and focus on sat-domain and consistency as main reasoning tasks. We also present sound and complete tableau algorithms for these reasoning tasks, and prove the complexity of them is PSPACE-complete. Compared with the other fuzzy description logics, the extended fuzzy description logic can express more wide fuzzy information.