General Concept Inclusion (GCIs) absorption algorithms have shown to play an important role in classical Description Logics (DLs) reasoners, as they allow to transform GCIs into simpler forms to which apply specialised inference rules, resulting in an important performance gain. In this work, we develop a first absorption algorithm for fuzzy DLs, and evaluate it over some ontologies.

General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step

Straccia U
2013

Abstract

General Concept Inclusion (GCIs) absorption algorithms have shown to play an important role in classical Description Logics (DLs) reasoners, as they allow to transform GCIs into simpler forms to which apply specialised inference rules, resulting in an important performance gain. In this work, we develop a first absorption algorithm for fuzzy DLs, and evaluate it over some ontologies.
2013
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Fuzzy Description Logic
Optimisation
MATHEMATICAL LOGIC AND FORMAL LANGUAGES
File in questo prodotto:
File Dimensione Formato  
prod_243439-doc_63724.pdf

accesso aperto

Descrizione: dl13a
Tipologia: Versione Editoriale (PDF)
Dimensione 472.78 kB
Formato Adobe PDF
472.78 kB Adobe PDF Visualizza/Apri
prod_243439-doc_78246.pdf

accesso aperto

Descrizione: General Concept Inclusion Absorptions for Fuzzy Description Logics: A First Step
Tipologia: Versione Editoriale (PDF)
Dimensione 472.78 kB
Formato Adobe PDF
472.78 kB Adobe PDF Visualizza/Apri

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/238123
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact