Unchain My EL Reasoner
From korrekt.org
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 Proceedings 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}
}
