Python bindings for upgraded FaCT++ description logic reasoner
semantic-web
owl
ontology
rdflib
ontologies
reasoner
description-logics
owl2
owlapi
reasoner-benchmark
-
Updated
Apr 1, 2024 - Java
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."