Concurrent classification of EL ontologies
Published on Nov 25, 20112624 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