资源分类
》 资源 》论文》A Practical Automata-Based Technique for Reasoning in Expressive Description Logics?

A Practical Automata-Based Technique for Reasoning in Expressive Description Logics?

2019-11-12 | |  51 |   30 |   0
Abstract In this work we describe the theoretical foundations and the implementation of a new automata-based technique for reasoning over expressive Description Logics that is worst-case optimal and lends itself to an ef?cient implementation. In order to show the feasibility of the approach, we have realized a working prototype of a reasoner based upon these techniques. An experimental evaluation of this prototype shows encouraging results.

上一篇：Modeling Attempt and Action Failure in Probabilistic stit Logic

下一篇：Containment of Regular Path Queries under Description Logic Constraints?

用户评价
全部评价

热门资源

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