Conference icon

Conference

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
Publication date:
2011-01-01
DOI:
ISSN:
1045-0823
URN:
uuid:14a5cc24-3259-4b06-8315-ac0c0bfaa544
Source identifiers:
392932
Local pid:
pubs:392932
ISBN:
978-1-57735-516-8

Terms of use


Metrics


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