Efficient Inferencing for OWL EL.
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2010
|
| _version_ | 1826295007928123392 |
|---|---|
| author | Krötzsch, M |
| author2 | Janhunen, T |
| author_facet | Janhunen, T Krötzsch, M |
| author_sort | Krötzsch, M |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-07T03:54:29Z |
| format | Journal article |
| id | oxford-uuid:c2671993-12bf-468e-ae04-ffe14ce27f0e |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T03:54:29Z |
| publishDate | 2010 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:c2671993-12bf-468e-ae04-ffe14ce27f0e2022-03-27T06:08:39ZEfficient Inferencing for OWL EL.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:c2671993-12bf-468e-ae04-ffe14ce27f0eEnglishSymplectic Elements at OxfordSpringer2010Krötzsch, MJanhunen, TNiemelä, IWe 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. |
| spellingShingle | Krötzsch, M Efficient Inferencing for OWL EL. |
| title | Efficient Inferencing for OWL EL. |
| title_full | Efficient Inferencing for OWL EL. |
| title_fullStr | Efficient Inferencing for OWL EL. |
| title_full_unstemmed | Efficient Inferencing for OWL EL. |
| title_short | Efficient Inferencing for OWL EL. |
| title_sort | efficient inferencing for owl el |
| work_keys_str_mv | AT krotzschm efficientinferencingforowlel |