Optimizing the crisp representation of the fuzzy description logic SORIQ

Abstract

Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to manage the former type of knowledge, but they require an appropriate fuzzy language to be agreed and an important number of available resources to be adapted. This paper faces these problems by presenting a reasoning preserving procedure to obtain a crisp representation for a fuzzy extension of the logic which uses Gödel implication in the semantics of fuzzy concept and role subsumption. This reduction allows crisp representation languages as well as currently available reasoners to be reused. Our procedure is optimized with respect to the related work, since it reduces the size of the resulting knowledge base, and is implemented in DeLorean, the first reasoner that supports fuzzy OWL DL. © 2008 Springer Berlin Heidelberg.