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


Krötzsch, M More by this author

Contributors

Role:
Editor
Publisher:
IJCAI/AAAI Publisher's website
Pages:
2668-2673
Publication date:
2011
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



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

TO TOP