no code implementations • 9 Jul 2015 • Melisachew Wudage Chekol, Jakob Huber, Heiner Stuckenschmidt
We present $\mathcal{MEL}^{++}$ (M denotes Markov logic networks) an extension of the log-linear description logics $\mathcal{EL}^{++}$-LL with concrete domains, nominals, and instances.