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).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.