Concurrent Classification of EL Ontologies

Yevgeny KazakovYevgeny Kazakov, Markus KrötzschMarkus Krötzsch, František SimančíkFrantišek Simančík

ISBN: 978-3-642-25073-6
ISSN: 0302-9743
Download
DOI Link

Yevgeny Kazakov, Markus Krötzsch, František Simančík
Concurrent Classification of EL Ontologies
In Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist, eds., Proc. 10th International Semantic Web Conference (ISWC'11), volume 7032 of LNCS, 305-320, October 2011. Springer

Details
Bibtex

KurzfassungAbstract
We describe an optimised consequence-based procedure for classification of ontologies expressed in a polynomial fragment \mathcal{ELH}_{R^+} 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.
Bemerkung: Note: The main reference on ELK is The Incredible ELK.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-25073-6_20.

@inproceedings{KKS2011,
  author    = {Yevgeny Kazakov and Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek
               Siman{\v{c}}{\'{\i}}k},
  title     = {Concurrent Classification of {EL} Ontologies},
  editor    = {Lora Aroyo and Chris Welty and Harith Alani and Jamie Taylor and
               Abraham Bernstein and Lalana Kagal and Natasha Noy and Eva
               Blomqvist},
  booktitle = {Proc. 10th International Semantic Web Conference (ISWC'11)},
  series    = {LNCS},
  volume    = {7032},
  publisher = {Springer},
  year      = {2011},
  month     = {October},
  pages     = {305-320},
  doi       = {10.1007/978-3-642-25073-6_20}
}