reasoner-benchmark

Here are 2 public repositories matching this topic...

Python bindings for upgraded FaCT++ description logic reasoner

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 reasoner-benchmark topic page so that developers can more easily learn about it.

To associate your repository with the reasoner-benchmark topic, visit your repo's landing page and select "manage topics."