Efficient Inferencing for OWL EL.
We develop inferencing methods for 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 feature...
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Journal article |
| 語言: | English |
| 出版: |
Springer
2010
|
| 總結: | We develop inferencing methods for 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 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 2010 Springer-Verlag. |
|---|