|
ELOG: A Probabilistic Reasoner for OWL EL
Noessner, Jan
;
Niepert, Mathias
|
DOI:
|
https://doi.org/10.1007/978-3-642-23580-1_25
|
|
URL:
|
https://link.springer.com/chapter/10.1007%2F978-3-...
|
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2011
|
|
Buchtitel:
|
Web Reasoning and Rule Systems : 5th International Conference, RR 2011, Galway, Ireland; proceedings
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Lecture Notes in Computer Science
|
|
Band/Volume:
|
6902
|
|
Seitenbereich:
|
281-286
|
|
Veranstaltungstitel:
|
RR 2011
|
|
Veranstaltungsort:
|
Galway, Ireland
|
|
Veranstaltungsdatum:
|
August 29 - 30, 2011
|
|
Herausgeber:
|
Rudolph, Sebastian
|
|
Ort der Veröffentlichung:
|
Berlin [u.a.]
|
|
Verlag:
|
Springer
|
|
ISBN:
|
978-3-642-23579-5
|
|
ISSN:
|
0302-9743 , 1611-3349
|
|
Sprache der Veröffentlichung:
|
Englisch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Practical Computer Science II: Artificial Intelligence (Stuckenschmidt 2009-)
|
|
Fachgebiet:
|
004 Informatik
|
|
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. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
