ELK is a reasoner for OWL 2 ontologies that currently supports (most of) the OWL 2 EL ontology language. ELK is a free and open source reasoner for the lightweight ontology language OWL 2 EL, developed by the University of Oxford and the University of Ulm. It is based on Java and can be controlled using the OWL API, Protégé, the Snow Owl ontology editor, or a basic command line interface. ELK is available under the Apache License 2.0. ELK is massively parallel and insanely fast. It can classify the SNOMED CT ontology with around 300,000 classes in a few seconds on a modern laptop. It runs on all operating systems that support Java 1.6 or above. ELK is being jointly developed at the University of Oxford (by Markus Krötzsch and František Simančík) and the University of Ulm (by Yevgeny Kazakov, Pavel Klinov, and Peter Skocovsky). Its development is supported by projects ConDOR (Oxford) and Live Ontologies (Ulm).

References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Rodler, Patrick: Memory-limited model-based diagnosis (2022)
  2. Dubslaff, Clemens; Koopmann, Patrick; Turhan, Anni-Yasmin: Enhancing probabilistic model checking with ontologies (2021)
  3. Gaurav Vaidya, Nico Cellinese, Hilmar Lapp: JPhyloRef: a tool for testing and resolving phyloreferences (2021) not zbMATH
  4. Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian: Pay-as-you-go consequence-based reasoning for the description logic (\mathcalSROIQ) (2021)
  5. Bonatti, Piero A.; Ioffredo, Luca; Petrova, Iliana M.; Sauro, Luigi; Siahaan, Ida R.: Real-time reasoning in OWL2 for GDPR compliance (2020)
  6. Giordano, Laura; Theseider Dupré, Daniele: An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (2020)
  7. Casini, Giovanni; Straccia, Umberto; Meyer, Thomas: A polynomial time subsumption algorithm for nominal safe (\mathcalELO_\bot) under rational closure (2019)
  8. Bobillo, Fernando; Straccia, Umberto: Reasoning within fuzzy OWL 2 EL revisited (2018)
  9. Kazakov, Yevgeny; Skočovský, Peter: Enumerating justifications using resolution (2018)
  10. Ceylan, İsmail İlkan; Peñaloza, Rafael: The Bayesian ontology language (\mathcalBEL) (2017)
  11. Hutschenreiter, Lisa; Peñaloza, Rafael: An automata view to goal-directed methods (2017)
  12. Lopes, Carlos; Knorr, Matthias; Leite, João: Nohr: integrating XSB prolog with the OWL 2 profiles and beyond (2017)
  13. Parsia, Bijan; Matentzoglu, Nicolas; Gonçalves, Rafael S.; Glimm, Birte; Steigmiller, Andreas: The OWL reasoner evaluation (ORE) 2015 competition report (2017)
  14. Eiter, Thomas; Fink, Michael; Stepanova, Daria: Data repair of inconsistent nonmonotonic description logic programs (2016)
  15. Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael: Efficient reasoning for inconsistent Horn formulae (2016)
  16. Ecke, Andreas; Peñaloza, Rafael; Turhan, Anni-Yasmin: Similarity-based relaxed instance queries (2015)
  17. Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe: HermiT: an OWL 2 reasoner (2014)
  18. Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František: The incredible ELK. From polynomial procedures to efficient reasoning with (\mathcalEL) ontologies (2014)
  19. Krötzsch, Markus: OWL 2 profiles: an introduction to lightweight ontology languages (2012)