Unchain My EL Reasoner

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Unchain My EL Reasoner

Yevgeny KazakovYevgeny Kazakov,  Markus KrötzschMarkus Krötzsch,  František SimančíkFrantišek Simančík
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
  • 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}
}