Unchain My EL Reasoner
Yevgeny Kazakov‚ Markus Krötzsch and Frantisek Simancik
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.
Details
| Book Title |
Description Logics |
| Editor |
Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev |
| Publisher |
CEUR−WS.org |
| Series |
CEUR Workshop Proceedings |
| Volume |
745 |
| Year |
2011 |
Links
DOI (http://ceur-ws.org/Vol-745/paper_54.pdf)
Related pages
|
People |