An OWL 2 DL benchmark that can generate ABox and TBox axioms to test the scalability and performance of reasoners
-
Updated
Jun 29, 2022 - Java
An OWL 2 DL benchmark that can generate ABox and TBox axioms to test the scalability and performance of reasoners
Add a description, image, and links to the owl2bench topic page so that developers can more easily learn about it.
To associate your repository with the owl2bench topic, visit your repo's landing page and select "manage topics."