资源分类
》 资源 》论文》From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying

2019-11-05 | |  59 |   38 |   0
Abstract We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact characterizations of when such a rewriting is possible and tight complexity bounds for deciding rewritability. We also give a tight complexity bound for the related problem of deciding whether a given MMSNP sentence is equivalent to a CSP.

上一篇：Probabilistic Bipolar Abstract Argumentation Frameworks: Complexity Results Bettina Fazzinga1 and Sergio Flesca2 and Filippo Furfaro2

下一篇：An Empirical Study of Knowledge Tradeoffs in Case-Based Reasoning Devi Ganesan and Sutanu Chakraborti

用户评价
全部评价

热门资源

  • 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...