资源分类
》 资源 》论文》E ffi cient Rule-Based Inferencing for OWL EL

E ffi cient Rule-Based Inferencing for OWL EL

2019-11-12 | |  62 |   37 |   0

Abstract

We  review  recent  results  on  inferencing for SROEL(×), a description logic that subsumes the main features of the W3C recommendation OWL EL. Rule-based deduction systems are devel-oped for various reasoning tasks and logical sub-languages. Certain feature combinations lead to increased space upper bounds for materialisation,suggesting that e ffi cient implementations are easier to obtain for suitable fragments of OWL EL


上一篇：The Combined Approach to Ontology-Based Data Access

下一篇：Flexible Tree Matching

用户评价
全部评价

热门资源

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

  • Learning to Predi...

    Much of model-based reinforcement learning invo...