Journal
JOURNAL OF AUTOMATED REASONING
Volume 53, Issue 1, Pages 1-61Publisher
SPRINGER
DOI: 10.1007/s10817-013-9296-3
Keywords
Description logics; Implementation and optimization techniques; Saturation procedures; Concurrency
Categories
Funding
- Royal Society
- Seventh Framework Program of the European Commission [318338]
- EPSRC
- German Research Council (DFG)
Ask authors/readers for more resources
EL is a simple tractable Description Logic that features conjunctions and existential restrictions. Due to its favorable computational properties and relevance to existing ontologies, 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 ontologies available today.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available