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 ontology-benchmark topic page so that developers can more easily learn about it.
To associate your repository with the ontology-benchmark topic, visit your repo's landing page and select "manage topics."