GitHub repository: rosin-project/mros1_reasoner
Primary language: Python
Description: test for a reasoner on metacontrol ontologies