GitHub repository: kracr/owl2bench
Primary language: Java
Description: An OWL 2 DL benchmark that can generate ABox and TBox axioms to test the scalability and performance of reasoners