Fuzzy-DL Reasoning over Unknown Fuzzy Degrees

In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of this implementation is the to reason over assertions with abstract (unspecified) fuzzy degrees. The answer to queries is, consequently, an algebraic expression involving the (unknown) fuzzy degrees and the degree of the query. We describe the implementation and discuss a use case in the domain of semantic meta-extraction where conventional DL reasoning is not applicable.

• Type: Conference
• Year: 2007
• Where: OTM
• Authors: Stasinos Konstantopoulos, Georgios Apostolikas
• Keywords: Expressive Fuzzy Dls, Fuzzy Degrees, Fuzzy Description Logic, Internet Technology, OTM 2007