Approximate OWL-Reasoning with Screech.
With the increasing interest in expressive ontologies for the Semantic Web, it is critical to develop scalable and efficient ontology reasoning techniques that can properly cope with very high data volumes. For certain application domains, approximate reasoning solutions, which trade soundness or co...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2008
|
| _version_ | 1826279873236172800 |
|---|---|
| author | Tserendorj, T Rudolph, S Krötzsch, M Hitzler, P |
| author2 | Calvanese, D |
| author_facet | Calvanese, D Tserendorj, T Rudolph, S Krötzsch, M Hitzler, P |
| author_sort | Tserendorj, T |
| collection | OXFORD |
| description | With the increasing interest in expressive ontologies for the Semantic Web, it is critical to develop scalable and efficient ontology reasoning techniques that can properly cope with very high data volumes. For certain application domains, approximate reasoning solutions, which trade soundness or completeness for inctreased reasoning speed, will help to deal with the high computational complexities which state of the art ontology reasoning tools have to face. In this paper, we present a comprehensive overview of the Screech approach to approximate reasoning with OWL ontologies, which is based on the KAON2 algorithms, facilitating a compilation of OWL DL TBoxes into Datalog, which is tractable in terms of data complexity. We present three different instantiations of the Screech approach, and report on experiments which show that the gain in efficiency outweighs the number of introduced mistakes in the reasoning process. © 2008 Springer Berlin Heidelberg. |
| first_indexed | 2024-03-07T00:05:18Z |
| format | Journal article |
| id | oxford-uuid:7755e6e2-d6e9-4365-ac6f-23d6d3f9a874 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T00:05:18Z |
| publishDate | 2008 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:7755e6e2-d6e9-4365-ac6f-23d6d3f9a8742022-03-26T20:23:19ZApproximate OWL-Reasoning with Screech.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:7755e6e2-d6e9-4365-ac6f-23d6d3f9a874EnglishSymplectic Elements at OxfordSpringer2008Tserendorj, TRudolph, SKrötzsch, MHitzler, PCalvanese, DLausen, GWith the increasing interest in expressive ontologies for the Semantic Web, it is critical to develop scalable and efficient ontology reasoning techniques that can properly cope with very high data volumes. For certain application domains, approximate reasoning solutions, which trade soundness or completeness for inctreased reasoning speed, will help to deal with the high computational complexities which state of the art ontology reasoning tools have to face. In this paper, we present a comprehensive overview of the Screech approach to approximate reasoning with OWL ontologies, which is based on the KAON2 algorithms, facilitating a compilation of OWL DL TBoxes into Datalog, which is tractable in terms of data complexity. We present three different instantiations of the Screech approach, and report on experiments which show that the gain in efficiency outweighs the number of introduced mistakes in the reasoning process. © 2008 Springer Berlin Heidelberg. |
| spellingShingle | Tserendorj, T Rudolph, S Krötzsch, M Hitzler, P Approximate OWL-Reasoning with Screech. |
| title | Approximate OWL-Reasoning with Screech. |
| title_full | Approximate OWL-Reasoning with Screech. |
| title_fullStr | Approximate OWL-Reasoning with Screech. |
| title_full_unstemmed | Approximate OWL-Reasoning with Screech. |
| title_short | Approximate OWL-Reasoning with Screech. |
| title_sort | approximate owl reasoning with screech |
| work_keys_str_mv | AT tserendorjt approximateowlreasoningwithscreech AT rudolphs approximateowlreasoningwithscreech AT krotzschm approximateowlreasoningwithscreech AT hitzlerp approximateowlreasoningwithscreech |