Report icon

Report

Concurrent Classification of EL Ontologies

Abstract:

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 whic...

Expand abstract

Actions


Access Document


Files:

Authors


Yevgeny Kazakov More by this author
Markus Krötzsch More by this author
František Simančík More by this author
Publication date:
2011
URN:
uuid:a7e04d57-cb30-4b20-8dea-d222983fa082
Local pid:
cs:5057

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP