Dual Box Embeddings for the Description Logic EL++

Mathias Jackermeier, Jiaoyan Chen, Ian Horrocks

OWL ontologies, whose formal semantics are rooted in Description Logic (DL), have been widely used for knowledge representation. Similar to Knowledge Graphs (KGs), ontologies are o…