The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with EL Ontologies

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

  • Yevgeny Kazakov - , Ulm University (Author)
  • Markus Krötzsch - , University of Oxford (Author)
  • František Simančík - , University of Oxford (Author)

Details

Original languageEnglish
Pages (from-to)1–61
JournalJournal of Automated Reasoning
Volume53
Publication statusPublished - 2014
Peer-reviewedYes
Externally publishedYes

External IDs

researchoutputwizard legacy.publication#68914
Scopus 84901192012

Keywords