Box^2EL: Concept and Role Box Embeddings for the Description Logic EL++

01/26/2023
by   Mathias Jackermeier, et al.
6

Representation learning in the form of semantic embeddings has been successfully applied to a variety of tasks in natural language processing and knowledge graphs. Recently, there has been growing interest in developing similar methods for learning embeddings of entire ontologies. We propose Box^2EL, a novel method for representation learning of ontologies in the Description Logic EL++, which represents both concepts and roles as boxes (i.e. axis-aligned hyperrectangles), such that the logical structure of the ontology is preserved. We theoretically prove the soundness of our model and conduct an extensive empirical evaluation, in which we achieve state-of-the-art results in subsumption prediction, link prediction, and deductive reasoning. As part of our evaluation, we introduce a novel benchmark for evaluating EL++ embedding models on predicting subsumptions involving both atomic and complex concepts.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/28/2022

Description Logic EL++ Embeddings with Intersectional Closure

Many ontologies, in particular in the biomedical domain, are based on th...
research
01/24/2022

Box Embeddings for the Description Logic EL++

Recently, various methods for representation learning on Knowledge Bases...
research
03/03/2023

Learning Permutation-Invariant Embeddings for Description Logic Concepts

Concept learning deals with learning description logic concepts from a b...
research
09/30/2020

OWL2Vec*: Embedding of OWL Ontologies

Semantic embedding of knowledge graphs has been widely studied and used ...
research
03/29/2023

From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings

Several approaches have been developed that generate embeddings for Desc...
research
09/10/2021

Box Embeddings: An open-source library for representation learning using geometric structures

A major factor contributing to the success of modern representation lear...
research
05/29/2017

Automatic White-Box Testing of First-Order Logic Ontologies

A long-standing dream of Artificial Intelligence (AI) has pursued to enc...

Please sign up or login with your details

Forgot password? Click here to reset