Unchain My EL Reasoner
Yevgeny Kazakov, Markus Krötzsch, František Simančík
Unchain My EL Reasoner
Abstract. We study a restriction of the classification procedure for EL++ where the
inference rule for complex role inclusion axioms (RIAs) is applied in a
"left-linear" way in analogy with the well-known procedure for computing the
transitive closure of a binary relation. We introduce a notion of
left-admissibility for a set of RIAs, which specifies when a subset of RIAs can
be used in a left-linear way without loosing consequences, prove a criterion
which can be used to effectively check this property, and describe some
preliminary experimental results analyzing when the restricted procedure can
give practical improvements.
Published at DL2011 (Workshop paper)
Download PDF (last update: June 26 2011)
Citation details
- Yevgeny Kazakov, Markus Krötzsch, František Simančík. Unchain My EL Reasoner. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds.: Proceedings of the 24th International Workshop on Description Logics (DL-11). CEUR Workshop ProceedingsProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2011.
author = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
Franti\v{s}ek Siman\v{c}\'{i}k},
title = {Unchain My $\mathcal{EL}$ Reasoner},
booktitle = {Proceedings of the 24th International Workshop
on Description Logics (DL'11)},
editors = {Riccardo Rosati and Sebastian Rudolph and
Michael Zakharyaschev},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {745},
year = {2011}
}
Remarks
This paper relates to an early version of the ELK Reasoner. The main reference for ELK is The Incredible ELK. Please use this in citations. Further publications related to ELK are found on the ELK Reasoner page.
