single-jc.php

JACIII Vol.7 No.3 pp. 294-305
doi: 10.20965/jaciii.2003.p0294
(2003)

Paper:

The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers

Steffen Hölldobler*, Hans-Peter Störr*, and Tran Dinh Khang**

*Department of Computer Science, Technische Universität Dresden, D-01062 Dresden, Germany

**Faculty of Information Technology, Hanoi University of Technology, 1 Dai Co Viet, Hanoi, Vietnam

Received:
June 30, 2003
Accepted:
August 26, 2003
Published:
October 20, 2003
Keywords:
fuzzy logic, hedge algebras, description logic
Abstract

In this paper we present the fuzzy description logic ALCFH introduced, where primitive concepts are modified by means of hedges taken from hedge algebras. ALCFH is strictly more expressive than Fuzzy-ALC defined in [11]. We show that given a linearly ordered set of hedges primitive concepts can be modified to any desired degree by prefixing them with appropriate chains of hedges. Furthermore, we define a decision procedure for the unsatisfiability problem in ALCFH, and discuss knowledge base expansion when using terminologies, truth bounds, expressivity as well as complexity issues. We extend [8] by allowing modifiers on non-primitive concepts and extending the satisfiability procedure to handle concept definitions.

Cite this article as:
Steffen Hölldobler, Hans-Peter Störr, and Tran Dinh Khang, “The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers,” J. Adv. Comput. Intell. Intell. Inform., Vol.7, No.3, pp. 294-305, 2003.
Data files:

*This site is desgined based on HTML5 and CSS3 for modern browsers, e.g. Chrome, Firefox, Safari, Edge, Opera.

Last updated on Feb. 25, 2021