The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers | Zendy

Steffen Hölldobler | Zendy; Hans-Peter Störr | Zendy; Trần Đình Khang | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers

Author(s) -

Steffen Hölldobler,

Hans-Peter Störr,

Trần Đình Khang

Publication year - 2003

Publication title -

journal of advanced computational intelligence and intelligent informatics

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.172

H-Index - 20

eISSN - 1343-0130

pISSN - 1883-8014

DOI - 10.20965/jaciii.2003.p0294

Subject(s) - computer science , fuzzy logic , set (abstract data type) , hedge , satisfiability , base (topology) , expressivity , knowledge base , artificial intelligence , algebra over a field , theoretical computer science , algorithm , mathematics , programming language , pure mathematics , ecology , mathematical analysis , genetics , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research