Hi(DL-LiteR) is a higher-order Description Logic obtained from DL-LiteR by adding metamodeling features, and is equipped with a query language that is able to express higher-order queries. We investigate the problem of answering a particular class of such queries, called instance higher-order queries, posed over Hi(DL-LiteR) knowledge bases (KBs). The only existing algorithm for this problem is based on the idea of reducing the evaluation of a higher- order query q over a Hi(DL-LiteR) KB to the evaluation of a union of first-order queries over a DL-LiteR KB, built from q by instantiating its metavariables in all possible ways. Although of polynomial time complexity with respect to the size of the KB, this algorithm turns out to be inefficient in practice. In this paper we present a new algorithm, called Smart Binding Planner (SBP), that compiles Q into a program, that issues a sequence of first-order conjunctive queries, where each query has the goal of providing the bindings for metavariables of the next ones, and the last one completes the process by computing the answers to Q. We also illustrate some experiments showing that, in practice, SBP is significantly more efficient than the previous approach.

Making Metaquerying Practical for Hi(DL-Lite R)-Knowledge Bases / Lenzerini, Maurizio; Lepore, Lorenzo; Poggi, Antonella. - (2014), pp. 580-596. (Intervento presentato al convegno On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences tenutosi a Amantea, Italy).

Making Metaquerying Practical for Hi(DL-Lite R)-Knowledge Bases

LENZERINI, Maurizio;LEPORE, LORENZO;POGGI, Antonella
2014

Abstract

Hi(DL-LiteR) is a higher-order Description Logic obtained from DL-LiteR by adding metamodeling features, and is equipped with a query language that is able to express higher-order queries. We investigate the problem of answering a particular class of such queries, called instance higher-order queries, posed over Hi(DL-LiteR) knowledge bases (KBs). The only existing algorithm for this problem is based on the idea of reducing the evaluation of a higher- order query q over a Hi(DL-LiteR) KB to the evaluation of a union of first-order queries over a DL-LiteR KB, built from q by instantiating its metavariables in all possible ways. Although of polynomial time complexity with respect to the size of the KB, this algorithm turns out to be inefficient in practice. In this paper we present a new algorithm, called Smart Binding Planner (SBP), that compiles Q into a program, that issues a sequence of first-order conjunctive queries, where each query has the goal of providing the bindings for metavariables of the next ones, and the last one completes the process by computing the answers to Q. We also illustrate some experiments showing that, in practice, SBP is significantly more efficient than the previous approach.
2014
On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Making Metaquerying Practical for Hi(DL-Lite R)-Knowledge Bases / Lenzerini, Maurizio; Lepore, Lorenzo; Poggi, Antonella. - (2014), pp. 580-596. (Intervento presentato al convegno On the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences tenutosi a Amantea, Italy).
File allegati a questo prodotto
File Dimensione Formato  
VE_2014_11573-778408.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 382.46 kB
Formato Adobe PDF
382.46 kB Adobe PDF   Contatta l'autore

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/11573/778408
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 4
social impact