Efficient Rule-Based Inferencing for OWL EL.
We review recent results on inferencing for SROEL(x), a description logic that subsumes the main features of the W3C recommendation OWL EL. Rule-based deduction systems are developed for various reasoning tasks and logical sub-languages. Certain feature combinations lead to increased space upper bou...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference item |
| Published: |
IJCAI/AAAI
2011
|