Description Logics (DLs) are logics with interesting representational and computational features and are at the core of the Web Ontology Language OWL 2 and its profiles among which there is OWL 2 EL. The main feature of OWL 2 EL is that instance/subsumption checking can be decided in polynomial time. On the other hand, fuzzy DLs have been proposed as an extension to classical DLs with the aim of dealing with fuzzy concepts and we focus here on Fuzzy OWL 2 EL under standard and Goedel semantics. We provide some reasoning algorithms showing that instance/subsumption checking decision problems remain polynomial time for Fuzzy OWL 2 EL. We also identify some issues in previous related work (essentially incompleteness problems).

Reasoning within Fuzzy OWL 2 EL Revisited

Straccia U
2018

Abstract

Description Logics (DLs) are logics with interesting representational and computational features and are at the core of the Web Ontology Language OWL 2 and its profiles among which there is OWL 2 EL. The main feature of OWL 2 EL is that instance/subsumption checking can be decided in polynomial time. On the other hand, fuzzy DLs have been proposed as an extension to classical DLs with the aim of dealing with fuzzy concepts and we focus here on Fuzzy OWL 2 EL under standard and Goedel semantics. We provide some reasoning algorithms showing that instance/subsumption checking decision problems remain polynomial time for Fuzzy OWL 2 EL. We also identify some issues in previous related work (essentially incompleteness problems).
2018
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Fuzzy description logics
Fuzzy ontologies
Tractable reasoning
File in questo prodotto:
File Dimensione Formato  
prod_385836-doc_135420.pdf

non disponibili

Descrizione: Reasoning within Fuzzy OWL 2 EL revisited
Tipologia: Versione Editoriale (PDF)
Dimensione 580.44 kB
Formato Adobe PDF
580.44 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
prod_385836-doc_136003.pdf

accesso aperto

Descrizione: Preprint - Reasoning within Fuzzy OWL 2 EL revisited
Tipologia: Versione Editoriale (PDF)
Dimensione 693.67 kB
Formato Adobe PDF
693.67 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/343080
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? 13
social impact