Inproceedings4018

PublikationenPublications

• Nach AutorBy Author
  • Markus KrötzschMarkus Krötzsch
• Nach ForschungsgruppeBy Research Group
  • Knowledge SystemsKnowledge-Based Systems

Toggle side column

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: Knowledge SystemsKnowledge-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}
}