Fuzzy description logics (FDLs) are knowledge representation formalisms capable of dealing with imprecise knowledge by allowing intermediate membership degrees in the interpretation of concepts and roles. One option for dealing with these intermediate degrees is to use the so-called Gödel semantics, under which conjunction is interpreted by the minimum of the degrees. Despite its apparent simplicity, developing reasoning techniques for expressive FDLs under this semantics is a hard task. In this paper, we illustrate two algorithms for deciding consistency in (sublogics of) SROIQ under Gödel semantics.
Borgwardt, S., Peñaloza, R. (2016). Reasoning in expressive Gödel description logics. In Proceedings of the 2016 International Workshop on Description Logics (DL'16). CEUR-WS.
Reasoning in expressive Gödel description logics
Peñaloza, R
2016
Abstract
Fuzzy description logics (FDLs) are knowledge representation formalisms capable of dealing with imprecise knowledge by allowing intermediate membership degrees in the interpretation of concepts and roles. One option for dealing with these intermediate degrees is to use the so-called Gödel semantics, under which conjunction is interpreted by the minimum of the degrees. Despite its apparent simplicity, developing reasoning techniques for expressive FDLs under this semantics is a hard task. In this paper, we illustrate two algorithms for deciding consistency in (sublogics of) SROIQ under Gödel semantics.
| File | Dimensione | Formato | |
|---|---|---|---|
|
BoPe-DL16.pdf
accesso aperto
Tipologia di allegato:
Submitted Version (Pre-print)
Dimensione
469.82 kB
Formato
Adobe PDF
|
469.82 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
