Neuro-Symbolic Techniques for Description Logic Reasoning (Student Abstract)

Gunjan Singh, Sutapa Mondal, Sumit Bhatia, Raghava Mutharaju
2021 AAAI Conference on Artificial Intelligence  
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 description
more » ... logic. We describe promising initial results of our efforts towards these directions and lay down the direction for future work.
dblp:conf/aaai/SinghMBM21 fatcat:k7cngkni75dbbcyf62ghjn5jku