Extended fuzzy ALCN and its tableau algorithm

Jianjiang Lu; Baowen Xu; Yanhui Li; Dazhou Kang; Peng Wang

doi:10.1007/11539506_30

Extended fuzzy ALCN and its tableau algorithm

Jianjiang Lu, Baowen Xu, Yanhui Li, Dazhou Kang, Peng Wang

Research output: Contribution to journal › Conference article › peer-review

11 Scopus citations

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.

Original language	English
Pages (from-to)	232-242
Number of pages	11
Journal	Lecture Notes in Computer Science
Volume	3613
Issue number	PART I
DOIs	https://doi.org/10.1007/11539506_30
State	Published - 2005
Externally published	Yes
Event	Second International Confernce on Fuzzy Systems and Knowledge Discovery, FSKD 2005 - Changsha, China Duration: 27 Aug 2005 → 29 Aug 2005

Access to Document

10.1007/11539506_30

Cite this

@article{28c8040fac004d0388e6f702a5345d8a,

title = "Extended fuzzy ALCN and its tableau algorithm",

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.",

author = "Jianjiang Lu and Baowen Xu and Yanhui Li and Dazhou Kang and Peng Wang",

year = "2005",

doi = "10.1007/11539506_30",

language = "English",

volume = "3613",

pages = "232--242",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

number = "PART I",

note = "Second International Confernce on Fuzzy Systems and Knowledge Discovery, FSKD 2005 ; Conference date: 27-08-2005 Through 29-08-2005",

}

TY - JOUR

T1 - Extended fuzzy ALCN and its tableau algorithm

AU - Lu, Jianjiang

AU - Xu, Baowen

AU - Li, Yanhui

AU - Kang, Dazhou

AU - Wang, Peng

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=26944460797&partnerID=8YFLogxK

U2 - 10.1007/11539506_30

DO - 10.1007/11539506_30

M3 - Conference article

AN - SCOPUS:26944460797

SN - 0302-9743

VL - 3613

SP - 232

EP - 242

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

IS - PART I

T2 - Second International Confernce on Fuzzy Systems and Knowledge Discovery, FSKD 2005

Y2 - 27 August 2005 through 29 August 2005

ER -

Extended fuzzy ALCN and its tableau algorithm

Abstract

Access to Document

Fingerprint

Cite this