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
Dettaglio pubblicazione
2016, Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Pages 577-580
A Higher-Order Semantics for Metaquerying in OWL 2 QL (04b Atto di convegno in volume)
Lenzerini Maurizio, Lepore Lorenzo, Poggi Antonella
ISBN: 978-1-57735-755-1
keywords