Fuzzy description logic programs

Straccia U.

F.4.1 Mathematical Logic  I.2.3 Deduction and Theorem Proving  Fuzziness  Description Logics  Logic Programs 

emph{Description Logic Programs} (DLPs), which combine the expressive power of classical description logics and logic programs, are emerging as an important ontology description language paradigm. In this work, we present fuzzy DLPs, which extend DLPs by allowing the representation of vague/imprecise information.

Source: ISTI Technical reports, pp.12, 2005