Concurrent Classification of EL Ontologies
We describe an optimised consequence-based procedure for classification of ontologies expressed in a polynomial fragment ELHR+ of the OWL 2 EL profile. A distinguishing property of our procedure is that it can take advantage of multiple processors/cores, which increasingly prevail in computer system...
| Main Authors: | , , |
|---|---|
| Format: | Report |
| Published: |
2011
|
| _version_ | 1797087241818865664 |
|---|---|
| author | Kazakov, Y Krötzsch, M Simančík, F |
| author_facet | Kazakov, Y Krötzsch, M Simančík, F |
| author_sort | Kazakov, Y |
| collection | OXFORD |
| description | We describe an optimised consequence-based procedure for classification of ontologies expressed in a polynomial fragment ELHR+ of the OWL 2 EL profile. A distinguishing property of our procedure is that it can take advantage of multiple processors/cores, which increasingly prevail in computer systems. Our solution is based on a variant of the ‘given clause’ saturation algorithm for first-order theorem proving, where we assign derived axioms to ‘contexts’ within which they can be used and which can be processed independently. We describe an implementation of our procedure within the Java-based reasoner ELK. Our implementation is light-weight in the sense that an overhead of managing concurrent computations is minimal. This is achieved by employing lock-free data structures and operations such as ‘compare-and-swap’. We report on preliminary experimental results demonstrating a substantial speedup of ontology classification on multi-core systems. In particular, one of the largest and widely-used medical ontologies SNOMED CT can be classified in as little as 5 seconds. |
| first_indexed | 2024-03-07T02:33:01Z |
| format | Report |
| id | oxford-uuid:a7e04d57-cb30-4b20-8dea-d222983fa082 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:33:01Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:a7e04d57-cb30-4b20-8dea-d222983fa0822022-03-27T02:57:29ZConcurrent Classification of EL OntologiesReporthttp://purl.org/coar/resource_type/c_93fcuuid:a7e04d57-cb30-4b20-8dea-d222983fa082Department of Computer Science2011Kazakov, YKrötzsch, MSimančík, FWe describe an optimised consequence-based procedure for classification of ontologies expressed in a polynomial fragment ELHR+ of the OWL 2 EL profile. A distinguishing property of our procedure is that it can take advantage of multiple processors/cores, which increasingly prevail in computer systems. Our solution is based on a variant of the ‘given clause’ saturation algorithm for first-order theorem proving, where we assign derived axioms to ‘contexts’ within which they can be used and which can be processed independently. We describe an implementation of our procedure within the Java-based reasoner ELK. Our implementation is light-weight in the sense that an overhead of managing concurrent computations is minimal. This is achieved by employing lock-free data structures and operations such as ‘compare-and-swap’. We report on preliminary experimental results demonstrating a substantial speedup of ontology classification on multi-core systems. In particular, one of the largest and widely-used medical ontologies SNOMED CT can be classified in as little as 5 seconds. |
| spellingShingle | Kazakov, Y Krötzsch, M Simančík, F Concurrent Classification of EL Ontologies |
| title | Concurrent Classification of EL Ontologies |
| title_full | Concurrent Classification of EL Ontologies |
| title_fullStr | Concurrent Classification of EL Ontologies |
| title_full_unstemmed | Concurrent Classification of EL Ontologies |
| title_short | Concurrent Classification of EL Ontologies |
| title_sort | concurrent classification of el ontologies |
| work_keys_str_mv | AT kazakovy concurrentclassificationofelontologies AT krotzschm concurrentclassificationofelontologies AT simancikf concurrentclassificationofelontologies |