Closed bollwyvl closed 5 years ago
A Python 3 branch has been created https://github.com/RDFLib/OWL-RL/tree/py3 and this will soon be merged into master. It's working now but not fully tested yet. ETA early March, 2018.
May I draw your attention to this Python interface to the FaCT++
DL reasoner:
https://bitbucket.org/wrobell/coras
https://bitbucket.org/wrobell/factplusplus/src/factpp/factpp
Thanks very much for that Evgeny! I am compiling a list of inference stacks to which I will add Coras. I will soon publish that list neatly (draft here: https://github.com/jevanpipitone/semanticWebInferencingIntro/blob/master/INFERENCING_STACKS.md) when I've added in a few more bits, including updated OWL-RL.
Any update on this? Would love to see this project revived!
Well, given that there is a working Python3 version of this tool (see comment above for the branch), I will shortly close this issue. My only concern is to work out some sensible branching; perhaps I move Python 3 to master and Python 2 to a 'Py2' branch, so the inverse of what we have here now.
Please know also that I now have project funding to use OWL-RL more fully. We need to implement a Python toolkit for SHACL validation and in doing that I think we need a Python reasoner available too. That validation work will all be done in Python 3 of course but, probably, we can support Python 2 if people really want us to.
I would love to use this, but the rest of my environment is python3.
Running 2to3 seems to do the trick, and could be supported as a package-time stuff: https://pythonhosted.org/setuptools/python3.html
Would there be interest in supporting this?