资源论文Nominal Schema Absorption Andreas Steigmiller? and Birte Glimm Thorsten Liebig

Nominal Schema Absorption Andreas Steigmiller? and Birte Glimm Thorsten Liebig

2019-11-08 | |  59 |   38 |   0
Abstract Nominal schemas have recently been introduced as a new approach for the integration of DL-safe rules into the Description Logic framework. The efficient processing of knowledge bases with nominal schemas remains, however, challenging. We address this by extending the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms. We implement the resulting extension of standard tableau calculi in a novel reasoning system and we integrate further optimisations. In our empirical evaluation, we show the effect of these optimisations and we find that the proposed approach performs well even when compared to other DL reasoners with dedicated rule support.

上一篇:Cyclic Causal Models with Discrete Variables: Markov Chain Equilibrium Semantics and Sample Ordering

下一篇:A Rational Extension of Stable Model Semantics to the Full Propositional Language

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

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