资源论文Answering Metaqueries Over Hi(OWL 2 QL) Ontologies

Answering Metaqueries Over Hi(OWL 2 QL) Ontologies

2019-11-22 | |  55 |   38 |   0
Abstract Hi(OWL 2 QL) is a new ontology language with the OWL 2 QL syntax and a specific semantics designed to support metamodeling and metaquerying. In this paper we investigate the problem of answering metaqueries in Hi(OWL 2 QL), which are unions of conjunctive queries with both ABox and TBox atoms. We first focus on a specific class of ontologies, called TBox-complete, where there is no uncertainty about TBox axioms, and show that query answering in this case has the same complexity (both data and combined) as in OWL 2 QL. We then move to general ontologies and show that answering metaqueries is coNP-complete with respect to ontology complexity, ?p2 -complete with respect to combined complexity, and remains AC0 with respect to ABox complexity. Finally, we present an optimized query answering algorithm that can be used for TBox-complete ontologies.

上一篇:Learning Possibilistic Logic Theories from Default Rules

下一篇:Constraint Answer Set Programming versus Satisfiability Modulo Theories

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...