A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
With the goal to find scalable reasoning approaches, neurosymbolic techniques have gained significant attention. However, the existing approaches do not take into account the inference capabilities of ontology languages that are based on expressive description logic (such as OWL 2). To fill this gap, we propose two approaches: an ontology-based embedding model for theories in EL ++ description logic and a reinforcement learning-based solution for efficient tableau-based reasoning on descriptiondblp:conf/aaai/SinghMBM21 fatcat:k7cngkni75dbbcyf62ghjn5jku