GitHub repository: kracr/owl2dl-benchmark
Created: 2019-07-05T08:09:00Z
Description: An OWL 2 DL benchmark that can generate ABox and TBox axioms to test the scalability and performance of reasoners