Concurrent Classification of EL Ontologies

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Concurrent Classification of EL Ontologies

Yevgeny KazakovYevgeny Kazakov,  Markus KrötzschMarkus Krötzsch,  František SimančíkFrantišek Simančík
Concurrent Classification of EL Ontologies


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
  • 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}
}