Distributed Reasoning with Fuzzy Description Logics

Authors:
Jianjiang Lu;Yanhui Li;Bo Zhou;Dazhou Kang;Yafei Zhang
Affiliations:
Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China;Department of Computer Science and Engineering, Southeast University, Nanjing 210096, P.R. China;Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China;Department of Computer Science and Engineering, Southeast University, Nanjing 210096, P.R. China;Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, China
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Year:
2007

Citing 3
Cited 4

A fuzzy description logic

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Practical Reasoning for Expressive Description Logics

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
ε-connections of abstract description systems

Artificial Intelligence

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web
A consensus-based method for fuzzy ontology integration

ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part II
Fuzzy ontology building and integration for fuzzy inference systems inweather forecast domain

ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
A multi-attribute and multi-valued model for fuzzy ontology integrationon instance level

ACIIDS'12 Proceedings of the 4th Asian conference on Intelligent Information and Database Systems - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

By the development of Semantic Web, increasing demands for vague and distributed information representation have triggered a mass of theoretical and applied researches of fuzzy and distributed ontologies, whose main logical infrastructures are fuzzy and distributed description logics. However, current solutions are proposed respectively on one of these two aspects. By integrating $\mathcal{E}$-connection into fuzzy description logics, this paper proposes a novel logical approach to couple both fuzzy and distributed features within description logics. The main contribution of these paper is to propose a discrete tableau algorithm to achieve reasoning within this new logical system.