Conference item icon

Conference item

Efficient Rule-Based Inferencing for OWL EL.

Abstract:
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 bounds for materialisation, suggesting that efficient implementations are easier to obtain for suitable fragments of OWL EL.

Actions


Access Document


Authors


Contributors

Role:
Editor
Publisher:
IJCAI/AAAI Publisher's website
Pages:
2668-2673
Host title:
IJCAI
Publication date:
2011-01-01
DOI:
ISSN:
1045-0823
Source identifiers:
392932
ISBN:
9781577355168
Pubs id:
pubs:392932
UUID:
uuid:14a5cc24-3259-4b06-8315-ac0c0bfaa544
Local pid:
pubs:392932
Deposit date:
2013-11-17

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP