We develop inferencing methods for SROEL(□, ×) - a DL that subsumes the main features of the W3C recommendation OWL EL -, and present a framework for studying materialisation calculi based on datalog. The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(□, ×) feature combinations must lead to increased space upper bounds in any materialisation calculus, suggesting that efficient implementations are easier to obtain for suitably chosen fragments of SROEL (□, ×).
展开▼
机译：我们开发级联（□，×）的推理方法 - 一个DL，其归入W3C推荐猫头鹰EL的主要特征 - 以及基于Datalog的基于实质性计算的框架。 The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(□, ×) feature combinations must lead to increased space upper bounds in any materialisation calculus, suggesting that efficient implementations are easier to obtain for suitably chosen fragments Srel（□，×）。
展开▼
