问题:

It could be something as big as Jena or something smaller. Do you know anything?

回答1:

Most people use rdflib, but that focuses on RDF, not OWL.

回答2:

What looks to be the only current and active open source package:

FuXi 1.0: A Python-based, bi-directional logical reasoning system for the semantic web

This is a Java package but it has a Python console (via Jython):

Protégé Script Console

A commercial package that has python support:

Python Sesame API Tutorial for AllegroGraph 4.2

Some packages that are admittedly incomplete:

OWL SugarView

Some older packages that appear inactive:

OWL Logic
Closed World Machine
RDF Closure
TRAMP
sparta
seth
surnia

回答3:

Here is a similar question at answers.semanticweb.com: Python OWL2 API which references this one: Is there a tool for reading functional owl syntax in Python? . Answers to both of them mention InfixOWL which is a part of FuXi.

FuXi does not support RDFLib 3, but there is a ticket as well as some active effort for making that happen. If you wish to use FuXi right away, you can always switch from RDFLib to layercake ("an RDFLib fork readily compatible with FuXi").