The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers

Abstract

In this paper we present the fuzzy description logic ALCFH introduced, where primitive concepts are modified by means ol" hedges taken from hedge algebras. ALCHt is strictly more expressive than Fuzzy-,4LC 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 unsatistiability problem in ALCFH , and discuss knowledge base expansion when using terminologies, truth hounds, 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.