GitHub repository: vangelisv/thea
Primary language: Prolog
Description: OWL2 library for Prolog