Journal article icon

Journal article

Efficient Inferencing for OWL EL.

Abstract:
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.

Actions


Access Document


Authors


Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
JELIA
Volume:
6341
Pages:
234-246
Publication date:
2010-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
URN:
uuid:c2671993-12bf-468e-ae04-ffe14ce27f0e
Source identifiers:
334589
Local pid:
pubs:334589
Language:
English

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