Abstract OWL 2 QL is a standard profile of the OWL 2 ontology language, specifically tailored to Ontology-Based Data Management. Inspired by recent work on higher-order Description Logics, in this paper we present a new semantics for OWL 2 QL ontologies, called Metamodeling Semantics (MS), and show that, in contrast to the official Direct Semantics (DS) for OWL 2 , it allows exploiting the metamodeling capabilities natively offered by the OWL 2 punning. We then extend unions of conjunctive queries with both metavariables, and the possibility of using TBox atoms, with the purpose of expressing meaningful metalevel queries. We first show that under MS both satisfiability checking and answering queries including only ABox atoms, have the same complexity as under DS. Second, we investigate the problem of answering general metaqueries, and single out a new source of complexity coming from the combined presence of a specific type of incompleteness in the ontology, and of TBox axioms among the query atoms. Then we focus on a specific class of ontologies, called TBox-complete, where there is no incompleteness in the TBox axioms, and show that general metaquery answering in this case has again the same complexity as under DS. Finally, we move to general ontologies and show that answering general metaqueries is coNP-complete with respect to ontology complexity, Π 2 p -complete with respect to combined complexity, and remains AC 0 with respect to ABox complexity.

中文翻译：

---

OWL2QL 中的元建模和元查询

摘要 OWL 2 QL 是 OWL 2 本体语言的标准配置文件，专门为基于本体的数据管理量身定制。受最近关于高阶描述逻辑的工作的启发，在本文中，我们提出了一种新的 OWL 2 QL 本体语义，称为元建模语义 (MS)，并表明，与 OWL 2 的官方直接语义 (DS) 相比，它允许利用 OWL 2 双关语本机提供的元建模功能。然后我们用元变量和使用 TBox 原子的可能性扩展联合查询的联合，目的是表达有意义的元级查询。我们首先表明，在 MS 下，可满足性检查和回答仅包括 ABox 原子的查询都具有与 DS 下相同的复杂性。其次，我们研究回答一般元查询的问题，并从本体中特定类型的不完整性和查询原子中的 TBox 公理的组合存在中挑出一个新的复杂性来源。然后我们关注一类特定的本体，称为 TBox-complete，其中 TBox 公理中没有不完备性，并表明在这种情况下，通用元查询回答再次具有与 DS 下相同的复杂性。最后，我们转向一般本体，并表明回答一般元查询在本体复杂度方面是 coNP 完全的，对于组合复杂性而言是 Π 2 p 完全，并且就 ABox 复杂性而言仍然是 AC 0。其中 TBox 公理中没有不完备性，并表明在这种情况下一般元查询回答具有与 DS 下相同的复杂性。最后，我们转向一般本体，并表明回答一般元查询在本体复杂度方面是 coNP 完全的，对于组合复杂性而言是 Π 2 p 完全，并且就 ABox 复杂性而言仍然是 AC 0。其中 TBox 公理中没有不完备性，并表明在这种情况下一般元查询回答具有与 DS 下相同的复杂性。最后，我们转向一般本体，并表明回答一般元查询在本体复杂度方面是 coNP 完全的，对于组合复杂性而言是 Π 2 p 完全，并且就 ABox 复杂性而言仍然是 AC 0。