Classical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description Logics as an appropriate formalism to represent this type of knowledge. Different families of fuzzy operators lead to Fuzzy Description Logics with different properties. This paper studies Fuzzy Description Logics under a semantics given by the G"{o}del family of fuzzy operators. We investigate some logical properties and show the decidability of a fuzzy extension of the logic $mathcal{SROIQ}$, theoretical basis of the language OWL 1.1, by providing a reasoning preserving procedure to obtain a crisp representation for it. Additionally, we show how to represent some types of concept and role modifiers.

Fuzzy description logics under Gödel semantics

Straccia U
2009

Abstract

Classical ontologies are not suitable to represent vague pieces of information, which has lead to the birth of Fuzzy Description Logics as an appropriate formalism to represent this type of knowledge. Different families of fuzzy operators lead to Fuzzy Description Logics with different properties. This paper studies Fuzzy Description Logics under a semantics given by the G"{o}del family of fuzzy operators. We investigate some logical properties and show the decidability of a fuzzy extension of the logic $mathcal{SROIQ}$, theoretical basis of the language OWL 1.1, by providing a reasoning preserving procedure to obtain a crisp representation for it. Additionally, we show how to represent some types of concept and role modifiers.
2009
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
I.2.4 Knowledge Representation Formalisms and Methods
Fuzzy Description Logics
File in questo prodotto:
File Dimensione Formato  
prod_44281-doc_17169.pdf

solo utenti autorizzati

Descrizione: Fuzzy description logics under Gödel semantics
Tipologia: Versione Editoriale (PDF)
Dimensione 407.02 kB
Formato Adobe PDF
407.02 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/52821
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 82
social impact