A Crisp Representation for Fuzzy $\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions

  • 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

Fuzzy Description Logics are a family of logics which allow the representation of (and the reasoning with) structured knowledge affected by imprecision and vagueness. They were born to overcome the limitations of classical Description Logics when dealing with such kind of knowledge, but they bring out some new challenges, requiring an appropriate fuzzy language to be agreed and needing practical and highly optimized implementations of the reasoning algorithms. In the current paper we face these problems by presenting a reasoning preserving procedure to obtain a crisp representation for a fuzzy extension of the Description Logic $\cal SHOIN$, which makes possible to reuse a crisp representation language as well as currently available reasoners, which have demonstrated a very good performance in practice. As additional contributions, we define the syntax and semantics of a novel fuzzy version of the nominal construct and allow to reason within fuzzy general concept inclusions.