资源分类
》 资源 》论文》First-Order Rewritability of Temporal Ontology-Mediated Queries

First-Order Rewritability of Temporal Ontology-Mediated Queries

2019-11-19 | |  66 |   41 |   0
Abstract Aiming at ontology-based data access over temporal, in particular streaming data, we design a language of ontology-mediated queries by extending OWL 2 QL and SPARQL with temporal operators, and investigate rewritability of these queries into two-sorted first-order logic with < and PLUS over time.

上一篇：Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries

下一篇：Multi-Agent Only Knowing on Planet Kripke

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...