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
|