OWL 2 QL is the pro le of OWL 2 targeted to Ontology-Based Data Access (OBDA) scenarios, where large amount of data are to be accessed, and thus answering conjunctive queries over data is the main task. However, this task is quite restrained wrt the classical KR Ask-and-Tell framework based on querying the whole theory, not only facts (data). If we use SPARQL as query language, we get much closer to this ideal. Indeed, SPARQL queries over OWL 2 QL, under the so-called Direct Semantics Entailment Regime, may comprise any assertion expressible in the language, i.e., both ABox atoms and TBox atoms, including inequalities expressed by means of DifferentIndividuals. Nevertheless this regime is hampered by the assumption that variables in queries need to be typed, meaning that the same variable cannot occur in positions of di erent types, e.g., both in class and individual position (punning). In this paper we dismiss this limiting assumption by resorting to a recent meta modeling semantics and show that query answering in the resulting entailment regime is polynomially compilable into Datalog (and hence PTIME wrt both TBox and ABox).

On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies / Cima, Gianluca; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella. - ELETTRONICO. - (2017). (Intervento presentato al convegno 7th International Conference on Web Intelligence, Mining and Semantics tenutosi a Amantea; Italy nel June 19-22, 2017) [10.1145/3102254.3102277].

On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies

CIMA, GIANLUCA;DE GIACOMO, Giuseppe;LENZERINI, Maurizio;POGGI, Antonella
2017

Abstract

OWL 2 QL is the pro le of OWL 2 targeted to Ontology-Based Data Access (OBDA) scenarios, where large amount of data are to be accessed, and thus answering conjunctive queries over data is the main task. However, this task is quite restrained wrt the classical KR Ask-and-Tell framework based on querying the whole theory, not only facts (data). If we use SPARQL as query language, we get much closer to this ideal. Indeed, SPARQL queries over OWL 2 QL, under the so-called Direct Semantics Entailment Regime, may comprise any assertion expressible in the language, i.e., both ABox atoms and TBox atoms, including inequalities expressed by means of DifferentIndividuals. Nevertheless this regime is hampered by the assumption that variables in queries need to be typed, meaning that the same variable cannot occur in positions of di erent types, e.g., both in class and individual position (punning). In this paper we dismiss this limiting assumption by resorting to a recent meta modeling semantics and show that query answering in the resulting entailment regime is polynomially compilable into Datalog (and hence PTIME wrt both TBox and ABox).
2017
7th International Conference on Web Intelligence, Mining and Semantics
Ontology-Based Data Access; OWL 2; Datalog;
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
On the SPARQL Metamodeling Semantics Entailment Regime for OWL 2 QL ontologies / Cima, Gianluca; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Poggi, Antonella. - ELETTRONICO. - (2017). (Intervento presentato al convegno 7th International Conference on Web Intelligence, Mining and Semantics tenutosi a Amantea; Italy nel June 19-22, 2017) [10.1145/3102254.3102277].
File allegati a questo prodotto
File Dimensione Formato  
Cima_On-the-SPARQL_2017.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 615.41 kB
Formato Adobe PDF
615.41 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/978641
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? ND
social impact