Log-Linear Description Logics

Abstract

Log-linear description logics are a family of probabilistic logics integrating various concepts and methods from the areas of knowledge representation and reasoning and statistical relational AI. We define the syntax and semantics of log-linear description logics, describe a convenient representation as sets of first-order formulas, and discuss computational and algorithmic aspects of probabilistic queries in the language. The paper concludes with an experimental evaluation of an implementation of a log-linear DL reasoner.

Cite

Text

Niepert et al. "Log-Linear Description Logics." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-359

Markdown

[Niepert et al. "Log-Linear Description Logics." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/niepert2011ijcai-log/) doi:10.5591/978-1-57735-516-8/IJCAI11-359

BibTeX

@inproceedings{niepert2011ijcai-log,
  title     = {{Log-Linear Description Logics}},
  author    = {Niepert, Mathias and Noessner, Jan and Stuckenschmidt, Heiner},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {2153-2158},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-359},
  url       = {https://mlanthology.org/ijcai/2011/niepert2011ijcai-log/}
}