In the last few years, the complexity of reasoning in fuzzy description logics has been studied in depth. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy description logics using the Gödel t-norm. It was recently shown that in the logic G-IALC under witnessed model semantics, all standard reasoning problems can be solved in exponential time, matching the complexity of reasoning in classical ALC. We show that this also holds under general model semantics.
Borgwardt, S., Distel, F., Peñaloza, R. (2014). Gödel Description Logics with General Models. In DL 2014: Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014 (pp.391-403). CEUR.
Gödel Description Logics with General Models
Peñaloza, R
2014
Abstract
In the last few years, the complexity of reasoning in fuzzy description logics has been studied in depth. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity of reasoning in fuzzy description logics using the Gödel t-norm. It was recently shown that in the logic G-IALC under witnessed model semantics, all standard reasoning problems can be solved in exponential time, matching the complexity of reasoning in classical ALC. We show that this also holds under general model semantics.File | Dimensione | Formato | |
---|---|---|---|
BoDP-DL14.pdf
accesso aperto
Tipologia di allegato:
Submitted Version (Pre-print)
Dimensione
471.7 kB
Formato
Adobe PDF
|
471.7 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.