Reasoning problems on distributed fuzzy ontologies

Authors:
Bo Zhou;Jianjiang Lu;Yanhui Li;Yafei Zhang;Dazhou Kang
Affiliations:
Institute of Command Automation, PLA University of Science and Technology, Nanjing, China;Institute of Command Automation, PLA University of Science and Technology, Nanjing, China;School of Computer Science and Engineering, Southeast University, Nanjing, China;Institute of Command Automation, PLA University of Science and Technology, Nanjing, China;School of Computer Science and Engineering, Southeast University, Nanjing, China
Venue:
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Year:
2008

Citing 7
Cited 0

A fuzzy description logic

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
ε-connections of abstract description systems

Artificial Intelligence
A Tableau Decision Procedure for $\mathcal{SHOIQ}$

Journal of Automated Reasoning
Generalized link properties for expressive ε-connections of description logics

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Reasoning within fuzzy description logics

Journal of Artificial Intelligence Research
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
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 distributed fuzzy ontologies play an important role in semantic web. Most current solutions are proposed respectively on one of these two aspects. To represent distributed fuzzy ontology, we combine fuzzy description logics and E-connections, and present distributed extended fuzzy description logic (DEFSHOIN). This novel logical approach couples both fuzzy and distributed features within description logics. The main contribution of this paper is to propose a combined tableau to achieve reasoning within DEFSHOIN.