Efficient OWL Reasoning with Logic Programs - Evaluations.
We report on efficiency evaluations concerning two different approaches to using logic programming for OWL [1] reasoning and show, how the two approaches can be combined. © Springer-Verlag Berlin Heidelberg 2007.
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2007
|
| _version_ | 1797058588270657536 |
|---|---|
| author | Rudolph, S Krötzsch, M Hitzler, P Sintek, M Vrandecic, D |
| author2 | Marchiori, M |
| author_facet | Marchiori, M Rudolph, S Krötzsch, M Hitzler, P Sintek, M Vrandecic, D |
| author_sort | Rudolph, S |
| collection | OXFORD |
| description | We report on efficiency evaluations concerning two different approaches to using logic programming for OWL [1] reasoning and show, how the two approaches can be combined. © Springer-Verlag Berlin Heidelberg 2007. |
| first_indexed | 2024-03-06T19:52:26Z |
| format | Journal article |
| id | oxford-uuid:24685345-b61b-4a48-ab9b-573abb51a781 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T19:52:26Z |
| publishDate | 2007 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:24685345-b61b-4a48-ab9b-573abb51a7812022-03-26T11:49:53ZEfficient OWL Reasoning with Logic Programs - Evaluations.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:24685345-b61b-4a48-ab9b-573abb51a781EnglishSymplectic Elements at OxfordSpringer2007Rudolph, SKrötzsch, MHitzler, PSintek, MVrandecic, DMarchiori, MPan, JMarie, CWe report on efficiency evaluations concerning two different approaches to using logic programming for OWL [1] reasoning and show, how the two approaches can be combined. © Springer-Verlag Berlin Heidelberg 2007. |
| spellingShingle | Rudolph, S Krötzsch, M Hitzler, P Sintek, M Vrandecic, D Efficient OWL Reasoning with Logic Programs - Evaluations. |
| title | Efficient OWL Reasoning with Logic Programs - Evaluations. |
| title_full | Efficient OWL Reasoning with Logic Programs - Evaluations. |
| title_fullStr | Efficient OWL Reasoning with Logic Programs - Evaluations. |
| title_full_unstemmed | Efficient OWL Reasoning with Logic Programs - Evaluations. |
| title_short | Efficient OWL Reasoning with Logic Programs - Evaluations. |
| title_sort | efficient owl reasoning with logic programs evaluations |
| work_keys_str_mv | AT rudolphs efficientowlreasoningwithlogicprogramsevaluations AT krotzschm efficientowlreasoningwithlogicprogramsevaluations AT hitzlerp efficientowlreasoningwithlogicprogramsevaluations AT sintekm efficientowlreasoningwithlogicprogramsevaluations AT vrandecicd efficientowlreasoningwithlogicprogramsevaluations |