kracr / owl2bench

An OWL 2 DL benchmark that can generate ABox and TBox axioms to test the scalability and performance of reasoners
9Updated 2 years ago

Related projects

Alternatives and complementary repositories for owl2bench