Inspired by recent work on higher-order Description Logics, we propose HOS, a new semantics for OWL 2 QL ontologies. We then consider SPARQL queries which are legal under the direct semantics entailment regime, we extend them with logical union, existential variables, and unrestricted use of variables so as to express meaningful meta-level queries. We show that both satisfiability checking and answering instance queries with metavariables have the same ABox complexity as under direct semantics

A Higher-Order Semantics for Metaquerying in OWL 2 QL / Lenzerini, Maurizio; Lepore, Lorenzo; Poggi, Antonella. - STAMPA. - (2016), pp. 577-580. ((Intervento presentato al convegno Fifteenth International Conference on principles of Knowledge Representation and Reasoning, KR 2016 tenutosi a Cape Town; SouthAfrica nel April 25-29, 2016.

A Higher-Order Semantics for Metaquerying in OWL 2 QL

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

Abstract

Inspired by recent work on higher-order Description Logics, we propose HOS, a new semantics for OWL 2 QL ontologies. We then consider SPARQL queries which are legal under the direct semantics entailment regime, we extend them with logical union, existential variables, and unrestricted use of variables so as to express meaningful meta-level queries. We show that both satisfiability checking and answering instance queries with metavariables have the same ABox complexity as under direct semantics
978-1-57735-755-1
File allegati a questo prodotto
File Dimensione Formato  
Lenzerini_A-higher-order_2016.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 498.81 kB
Formato Adobe PDF
498.81 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: http://hdl.handle.net/11573/870750
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? ND
social impact