A prominent problem in knowledge representation is how to answer queries taking into account also the implicit consequences of an ontology representing domain knowledge. While this problem has been widely studied within the realm of description logic ontologies, it has been surprisingly neglected within the context of vague or imprecise knowledge, particularly from the point of view of mathematical fuzzy logic. In this paper, we study the problem of answering conjunctive queries and threshold queries w.r.t. ontologies in fuzzy DL-Lite. Specifically, we show through a rewriting approach that threshold query answering w.r.t. consistent ontologies remains in ${AC}^{0}$ in data complexity, but that conjunctive query answering is highly dependent on the selected triangular norm, which has an impact on the underlying semantics. For the idempotent Gödel t-norm, we provide an effective method based on a reduction to the classical case.

Pasi, G., Penaloza, R. (2023). Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 23(3), 594-623 [10.1017/S1471068421000569].

Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies

Pasi, G.;Penaloza, R
2023

Abstract

A prominent problem in knowledge representation is how to answer queries taking into account also the implicit consequences of an ontology representing domain knowledge. While this problem has been widely studied within the realm of description logic ontologies, it has been surprisingly neglected within the context of vague or imprecise knowledge, particularly from the point of view of mathematical fuzzy logic. In this paper, we study the problem of answering conjunctive queries and threshold queries w.r.t. ontologies in fuzzy DL-Lite. Specifically, we show through a rewriting approach that threshold query answering w.r.t. consistent ontologies remains in ${AC}^{0}$ in data complexity, but that conjunctive query answering is highly dependent on the selected triangular norm, which has an impact on the underlying semantics. For the idempotent Gödel t-norm, we provide an effective method based on a reduction to the classical case.
Articolo in rivista - Articolo scientifico
DL-Lite; fuzzy description logics; mathematical fuzzy logic; query answering;
English
7-gen-2022
2023
23
3
594
623
open
Pasi, G., Penaloza, R. (2023). Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 23(3), 594-623 [10.1017/S1471068421000569].
File in questo prodotto:
File Dimensione Formato  
Pasi-2022-TPLP-AAM.pdf

accesso aperto

Descrizione: Article
Tipologia di allegato: Author’s Accepted Manuscript, AAM (Post-print)
Licenza: Creative Commons
Dimensione 478.14 kB
Formato Adobe PDF
478.14 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/10281/394732
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
Social impact