The Incredible ELK

Abstractℰℒ$\mathcal {E} \mathcal {L}$ is a simple tractable Description Logic that features conjunctions and existential restrictions. Due to its favorable computational properties and relevance to existing ontologies, ℰℒ$\mathcal {E} \mathcal {L}$ has become the language of choice for terminological reasoning in biomedical applications, and has formed the basis of the OWL EL profile of the Web ontology language OWL. This paper describes ELK—a high performance reasoner for OWL EL ontologies—and details various aspects from theory to implementation that make ELK one of the most competitive reasoning systems for ℰℒ$\mathcal {E} \mathcal {L}$ ontologies available today.

[1]  Ignazio Palmisano,et al.  Chainsaw: a Metareasoner for Large Ontologies , 2012, ORE.

[2]  Ian Horrocks,et al.  The Even More Irresistible $\mathcal{SROIQ}$ , 2006 .

[3]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[4]  Frank van Harmelen,et al.  Mind the data skew: distributed inferencing by speeddating in elastic regions , 2010, WWW '10.

[5]  Ian Horrocks,et al.  Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..

[6]  Luciano Serafini,et al.  Towards More Effective Tableaux Reasoning for CKR , 2012, Description Logics.

[7]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[8]  Ian Horrocks,et al.  Consequence-Based Reasoning beyond Horn Ontologies , 2011, IJCAI.

[9]  Franz Baader,et al.  Efficient Reasoning in EL+ , 2006, Description Logics.

[10]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[11]  Larry Wos,et al.  Automated Reasoning: Introduction and Applications , 1984 .

[12]  Franz Baader,et al.  Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice , 2005 .

[13]  Volker Haarslev,et al.  Concurrent Classification of OWL Ontologies - An Empirical Evaluation , 2012, Description Logics.

[14]  Paul N. Schofield,et al.  Computational tools for comparative phenomics: the role and promise of ontologies , 2012, Mammalian Genome.

[15]  Jeff Z. Pan,et al.  RDFS Reasoning on Massively Parallel Hardware , 2012, International Semantic Web Conference.

[16]  Boontawee Suntisrivaraporn,et al.  Reintroducing CEL as an OWL 2 EL Reasoner , 2009, Description Logics.

[17]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[18]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Profiles , 2009 .

[19]  Sebastian Rudolph,et al.  Conjunctive Queries for a Tractable Fragment of OWL 1.1 , 2007, ISWC/ASWC.

[20]  Volker Haarslev,et al.  A Parallel Reasoner for the Description Logic ALC , 2012, Description Logics.

[21]  Carsten Lutz,et al.  The Combined Approach to Ontology-Based Data Access , 2011, IJCAI.

[22]  Stephan Grimm,et al.  Embedded EL + Reasoning on Programmable Logic Controllers , 2012 .

[23]  Markus Krötzsch.  Efficient Rule-Based Inferencing for OWL EL , 2011, IJCAI.

[24]  Bijan Parsia,et al.  Finding All Justifications of OWL DL Entailments , 2007, ISWC/ASWC.

[25]  Pavel Klinov,et al.  Incremental Reasoning in OWL EL without Bookkeeping , 2013, International Semantic Web Conference.

[26]  Boris Motik,et al.  A novel approach to ontology classification , 2012, J. Web Semant..

[27]  Alan Ruttenberg,et al.  A strategy for building neuroanatomy ontologies , 2012, Bioinform..

[28]  Markus Krötzsch,et al.  ELK Reasoner: Architecture and Evaluation , 2012, ORE.

[29]  Sebastian Brandt,et al.  On Subsumption and Instance Problem in ELH w.r.t. General TBoxes , 2004, Description Logics.

[30]  Baris Sertkaya.  In the Search of Improvements to the EL+ Classification Algorithm , 2011, Description Logics.

[31]  Pascal Hitzler,et al.  A MapReduce Algorithm for EL+ , 2010, Description Logics.

[32]  Michel Dumontier,et al.  Identifying aberrant pathways through integrated analysis of knowledge in pharmacogenomics , 2012, Bioinform..

[33]  Frank van Harmelen,et al.  Debugging Incoherent Terminologies , 2007, Journal of Automated Reasoning.

[34]  Ian Horrocks,et al.  Tractable Extensions of the Description Logic EL with Numerical Datatypes , 2010, IJCAR.

[35]  Robert Stevens,et al.  Logical Gene Ontology Annotations (GOAL): exploring gene ontology annotations with OWL , 2012, Journal of Biomedical Semantics.

[36]  Kent A. Spackman,et al.  Consolidating SNOMED CT's ontological commitment , 2011, Appl. Ontology.

[37]  Yevgeny Kazakov,et al.  Consequence-Driven Reasoning for Horn SHIQ Ontologies , 2009, IJCAI.

[38]  Adam Meissner,et al.  Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic , 2011, Int. J. Appl. Math. Comput. Sci..

[39]  Ni Li,et al.  Gene Ontology Annotations and Resources , 2012, Nucleic Acids Res..

[40]  Ian Horrocks,et al.  The GRAIL concept modelling language for medical terminology , 1997, Artif. Intell. Medicine.

[41]  M. Ashburner,et al.  The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration , 2007, Nature Biotechnology.

[42]  Sebastian Brandt,et al.  Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else? , 2004, ECAI.

[43]  Markus Krötzsch.  The Not-So-Easy Task of Computing Class Subsumptions in OWL RL , 2012, International Semantic Web Conference.

[44]  Franz Baader,et al.  How Pervasive Is the Myerson-Satterthwaite Impossibility? , 2009, IJCAI.

[45]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[46]  Stijn Heymans,et al.  DReW: a Reasoner for Datalog-rewritable Description Logics and DL-Programs , 2010 .

[47]  Declan O'Sullivan,et al.  COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices , 2011, RuleML Europe.

[48]  Yevgeny Kazakov,et al.  SRIQ and SROIQ are Harder than SHOIQ , 2008, Description Logics.

[49]  Joel H. Saltz,et al.  Parallel materialization of large ABoxes , 2009, SAC '09.

[50]  Sheila A. McIlraith,et al.  Partition-based logical reasoning for first-order and propositional theories , 2005, Artif. Intell..

[51]  James A. Hendler,et al.  Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples , 2009, SEMWEB.

[52]  Boris Motik,et al.  Hypertableau Reasoning for Description Logics , 2009, J. Artif. Intell. Res..

[53]  William McCune,et al.  ROO: A Parallel Theorem Prover , 1992, CADE.

[54]  Robert Hoehndorf,et al.  Semantic integration of physiology phenotypes with an application to the Cellular Phenotype Ontology , 2012, Bioinform..

[55]  Anni-Yasmin Turhan,et al.  Implementing Completion-Based Inferences for the EL-family , 2011, Description Logics.

[56]  Andreas Harth,et al.  Scalable Authoritative OWL Reasoning for the Web , 2009, Int. J. Semantic Web Inf. Syst..

[57]  Sebastian Rudolph,et al.  Cheap Boolean Role Constructors for Description Logics , 2008, JELIA.

[58]  J E Rogers,et al.  Quality Assurance of Medical Ontologies , 2006, Methods of Information in Medicine.

[59]  Ian Horrocks,et al.  Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes , 2011, Journal of Automated Reasoning.

[60]  Volker Haarslev,et al.  Parallel TBox Classification in Description Logics - First Experimental Results , 2010, ECAI.

[61]  Franz Baader,et al.  CEL - A Polynomial-Time Reasoner for Life Science Ontologies , 2006, IJCAR.

[62]  Yevgeny Kazakov,et al.  Classifying ELH Ontologies In SQL Databases , 2009, OWLED.

[63]  Sebastian Rudolph,et al.  Orel: Database-Driven Reasoning for OWL 2 Profiles , 2010, Description Logics.

[64]  Markus Krötzsch,et al.  Unchain My EL Reasoner , 2011, Description Logics.

[65]  Markus Krötzsch,et al.  OWL 2 Profiles: An Introduction to Lightweight Ontology Languages , 2012, Reasoning Web.

[66]  Ian Horrocks,et al.  A Description Logic Primer , 2012, ArXiv.

[67]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[68]  Ian Horrocks,et al.  Optimizing Terminological Reasoning for Expressive Description Logics , 2007, Journal of Automated Reasoning.

[69]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[70]  Luigi Iannone,et al.  Lexically suggest, logically define: Quality assurance of the use of qualifiers and expected results of post-coordination in SNOMED CT , 2012, J. Biomed. Informatics.

[71]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[72]  Sean Bechhofer,et al.  The OWL API: A Java API for Working with OWL 2 Ontologies , 2009, OWLED.

[73]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[74]  Martin Hofmann.  Proof-theoretic approach to description-logic , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[75]  Bernardo Cuenca Grau,et al.  Incremental Classification of Description Logics Ontologies , 2010, Journal of Automated Reasoning.

[76]  Boontawee Suntisrivaraporn,et al.  Polynomial time reasoning support for design and maintenance of large-scale biomedical ontologies , 2008 .

[77]  Viktor K. Prasanna,et al.  Parallel Inferencing for OWL Knowledge Bases , 2008, 2008 37th International Conference on Parallel Processing.

[78]  Aldo Gangemi,et al.  The GALEN CORE Model Schemata for Anatomy: Towards a Re-usable Application-Independent Model of Medical Concepts , 2008 .

[79]  Sebastian-Philipp Brandt.  Standard and non-standard reasoning in description logics , 2006 .

[80]  Thomas Eiter,et al.  Uniform Evaluation of Nonmonotonic DL-Programs , 2012, FoIKS.

[81]  Franz Baader,et al.  Extending Unification in EL Towards General TBoxes , 2012, KR.

[82]  Sebastian Rudolph,et al.  ExpExpExplosion: Uniform Interpolation in General EL Terminologies , 2012, ECAI.

[83]  Christian Seitz,et al.  Rule-Based OWL Reasoning for Specific Embedded Devices , 2011, SEMWEB.

[84]  Yevgeny Kazakov,et al.  RIQ and SROIQ Are Harder than SHOIQ , 2008, KR.

[85]  Sebastian Rudolph,et al.  Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 , 2010, KR.

[86]  Franz Baader,et al.  Computing the Least Common Subsumer w.r.t. a Background Terminology , 2004, Description Logics.

[87]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[88]  Ian Horrocks,et al.  The Even More Irresistible SROIQ , 2006, KR.

[89]  Ralf Küsters,et al.  Computing Least Common Subsumers in Description Logics with Existential Restrictions , 1999, IJCAI.

[90]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[91]  Thorsten Liebig,et al.  Parallelizing Tableaux-Based Description Logic Reasoning , 2007, OTM Workshops.

[92]  Frank van Harmelen,et al.  WebPIE: A Web-scale Parallel Inference Engine using MapReduce , 2012, J. Web Semant..

[93]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[94]  Jeff Z. Pan,et al.  TrOWL: Tractable OWL 2 Reasoning Infrastructure , 2010, ESWC.

[95]  Harald Ganzinger,et al.  Resolution Theorem Proving , 2001, Handbook of Automated Reasoning.

[96]  Rafael Peñaloza,et al.  On the Complexity of Axiom Pinpointing in the EL Family of Description Logics , 2010, KR.

[97]  Jeff Z. Pan,et al.  SAOR: Template Rule Optimisations for Distributed Reasoning over 1 Billion Linked Data Triples , 2010, SEMWEB.

[98]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[99]  Bernhard Nebel,et al.  Am empirical analysis of optimization techniques for terminological representation systems , 1994, Applied Intelligence.

[100]  Franz Baader,et al.  Computing the Least Common Subsumer w.r.t. a Background Terminology , 2004, Description Logics.

[101]  Joachim Quantz,et al.  Parallelizing Description Logics , 1995, KI.

[102]  Frank van Harmelen,et al.  Scalable Distributed Reasoning Using MapReduce , 2009, SEMWEB.

[103]  Julian Mendez,et al.  jcel: A Modular Rule-based Reasoner , 2012, ORE.

[104]  Rafael Peñaloza,et al.  Automata-Based Axiom Pinpointing , 2010, Journal of Automated Reasoning.

[105]  Markus Krötzsch,et al.  Concurrent Classification of EL Ontologies , 2011, International Semantic Web Conference.

[106]  Ian Horrocks,et al.  MORe: Modular Combination of OWL Reasoners for Ontology Classification , 2012, SEMWEB.

[107]  Markus Krötzsch,et al.  Practical Reasoning with Nominals in the EL Family of Description Logics , 2012, KR.

[108]  Larry Wos,et al.  Automated reasoning (2nd ed.): introduction and applications , 1992 .

[109]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[110]  Alan Ruttenberg,et al.  Ontobee: A Linked Data Server and Browser for Ontology Terms , 2011, ICBO.

[111]  Jürg Bähler,et al.  FYPO: the fission yeast phenotype ontology , 2013, Bioinform..

[112]  Volker Haarslev,et al.  The Revival of Structural Subsumption in Tableau-based Reasoners , 2008, Description Logics.

[113]  Heiner Stuckenschmidt,et al.  Peer-to-Peer Reasoning for Interlinked Ontologies , 2010, Int. J. Semantic Comput..

[114]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[115]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.