ELOG: A Probabilistic Reasoner for OWL EL


Noessner, Jan ; Niepert, Mathias



DOI: https://doi.org/10.1007/978-3-642-23580-1_25
Additional URL: http://www.matlog.net/pdfs/elog2011.pdf
Document Type: Conference or workshop publication
Year of publication: 2011
Book title: Web Reasoning and Rule Systems : 5th International Conference, RR 2011, Galway, Ireland; proceedings
The title of a journal, publication series: Lecture Notes in Computer Science
Volume: 6902
Page range: 281-286
Date of the conference: August 29 - 30, 2011
Author/Publisher of the book
(only the first ones mentioned)
:
Rudolph, Sebastian
Place of publication: Berlin [u.a.]
Publishing house: Springer
ISBN: 978-3-642-23579-5
Publication language: English
Institution: School of Business Informatics and Mathematics > Praktische Informatik II (Stuckenschmidt 2009-)
Subject: 004 Computer science, internet
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.

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Export and Citation


Choose a citation style.

+ Search Authors in

+ Page Views

Hits per month over past year

Detailed information



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item