Towards Log-Linear Logics with Concrete Domains

Melisachew Wudage Chekol, Jakob Huber, Heiner Stuckenschmidt

We present ${\mathcal{M}\mathcal{E}\mathcal{L}}^{++}$ (M denotes Markov logic networks) an extension of the log-linear description logics ${\mathcal{E}\mathcal{L}}^{++}$-LL with concrete domains, nominals, and inst…