Concurrent classification of EL ontologies
Published on 2011-11-252629 Views
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