资源分类
》 资源 》论文》Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic

2019-11-22 | |  74 |   41 |   0
Abstract We design an extension datalogHS 2 n of datalog with hyperrectangle generalisations of HalpernShoham’s modal operators on intervals and a corresponding query language. We prove that, over n-dimensional spaces comprised of Z and R, finding certain answers to datalogHS 2 n queries can be reduced to standard datalog query answering. We present experimental results showing the expressivity and efficiency of datalogHS 2 n on historical data

上一篇：Conservative Rewritability of Description Logic TBoxes

下一篇：Learning Possibilistic Logic Theories from Default Rules

用户评价
全部评价

热门资源

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