Optimizing the Crisp Representation of the Fuzzy Description Logic $\cal \mathcal{SROIQ}$

  • Authors:

  • Fernando Bobillo;Miguel Delgado;Juan Gómez-Romero

  • Affiliations:

  • Department of Computer Science and Artificial Intelligence, University of Granada, Granada, Spain 18071;Department of Computer Science and Artificial Intelligence, University of Granada, Granada, Spain 18071;Department of Computer Science and Artificial Intelligence, University of Granada, Granada, Spain 18071

  • Venue:
  • Uncertainty Reasoning for the Semantic Web I
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

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 $\mathcal{SROIQ}$ 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.