In this paper we introduce reasoning procedures for ALCQ+F, a fuzzy description logic with extended qualified quantification. The language allows for the definition of fuzzy quantifiers of the absolute and relative kind by means of piecewise linear functions on N and Q cap [0,1] respectively. In order to reason about instances, the semantics of quantified expressions is defined based on recently developed measures of the cardinality of fuzzy sets. A procedure is described to calculate the fuzzy satisfiability of a fuzzy assertion, which is a very important reasoning task. The procedure considers several different cases and provides direct solutions for the most frequent types of fuzzy assertions.
|Titolo:||Reasoning and quantification in fuzzy description logics|
|Parole Chiave:||fuzzy description logics; quantification|
|Settore Scientifico Disciplinare:||Settore INF/01 - Informatica|
|Data di pubblicazione:||2006|
|Tipologia:||Book Part (author)|
|Appare nelle tipologie:||03 - Contributo in volume|