Unchain My EL Reasoner

Yevgeny KazakovYevgeny Kazakov, Markus KrötzschMarkus Krötzsch, František SimančíkFrantišek Simančík

Download

Yevgeny Kazakov, Markus Krötzsch, František Simančík
Unchain My EL Reasoner
Proc. 24th International Workshop on Description Logics (DL'11), July 2011. CEUR Workshop Proceedings

Details
Bibtex

KurzfassungAbstract
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.
Bemerkung: Note: 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.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{KKS2011,
  author    = {Yevgeny Kazakov and Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek
               Siman{\v{c}}{\'{\i}}k},
  title     = {Unchain My {EL} Reasoner},
  booktitle = {Proc. 24th International Workshop on Description Logics (DL'11)},
  publisher = {CEUR Workshop Proceedings},
  year      = {2011},
  month     = {July}
}