ELOG: a probabilistic reasoner for OWL EL

  • Authors:
  • Jan Noessner;Mathias Niepert

  • Affiliations:
  • KR & KM Research Group, Universität Mannheim, Mannheim, Germany;KR & KM Research Group, Universität Mannheim, Mannheim, Germany

  • Venue:
  • RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Log-linear description logics are probabilistic logics combining several concepts and methods from the areas of knowledge representation and reasoning and statistical relational AI. We describe some of the implementation details of the log-linear reasoner ELOG. The reasoner employs database technology to dynamically transform inference problems to integer linear programs (ILP). In order to lower the size of the ILPs and reduce the complexity we employ a form of cutting plane inference during reasoning.