GitHub repository: tilde-lab/pyfactxx
Primary language: Java
Description: Python bindings for upgraded FaCT++ description logic reasoner