pyfactxx (pypi): Python bindings to FaCT++ reasoner
Keywords: description-logics|ontologies|ontology|owl|owl2|owlapi|rdflib|reasoner|reasoner-benchmark|semantic-web