GitHub repository: kracr/EmELppVar
Primary language: Python
Created: 2021-07-03T17:43:02Z
Description: A neuro-symbolic reasoner for the EL++ description logic.