论文信息 - Extended Fuzzy ALCN and Its Tableau Algorithm

Extended Fuzzy ALCN and Its Tableau Algorithm

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.

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

[1] Manfred Jaeger,et al. Probabilistic Reasoning in Terminological Logics , 1994, KR.

[2] Jochen Heinsohn,et al. Probabilistic Description Logics , 1994, UAI.

[3] Thomas Lukasiewicz,et al. P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web , 2002, JELIA.

[4] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[5] Umberto Straccia,et al. Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[6] Umberto Straccia,et al. Transforming Fuzzy Description Logics into Classical Description Logics , 2004, JELIA.

[7] Gert Smolka,et al. Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[8] James A. Hendler,et al. The Semantic Web" in Scientific American , 2001 .

[9] Frank Wolter,et al. Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[10] G Stix,et al. The mice that warred. , 2001, Scientific American.

[11] John Yen,et al. Generalizing Term Subsumption Languages to Fuzzy Logic , 1991, IJCAI.