Knowledge representation and consistency checking in a norm-parameterized fuzzy description logic

Authors:
Jidi Zhao;Harold Boley;Weichang Du
Affiliations:
Faculty of Computer Science, University of New Brunswick, Fredericton, Canada;Institute for Information Technology, National Research Council of Canada, Fredericton, NB, Canada;Faculty of Computer Science, University of New Brunswick, Fredericton, Canada
Venue:
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Year:
2009

Citing 5
Cited 1

A fuzzy description logic

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Reasoning with very expressive fuzzy description logics

Journal of Artificial Intelligence Research
Making fuzzy description logic more general

Fuzzy Sets and Systems
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

A rule-based implementation of fuzzy tableau reasoning

RuleML'10 Proceedings of the 2010 international conference on Semantic web rules

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper has its motivation in the occurrence of uncertain knowledge in different application areas, and introduces an expressive fuzzy description logic that extends classical description logics to many-valued logics. We represent, and reason with, uncertain knowledge in the description logic ALCHIN extended to an interval-based, norm-parameterized fuzzy logic. First, the syntax and the semantics of the proposed fuzzy description logic are addressed. Then the paper presents an algorithm for consistency checking of knowledge bases in the proposed language.