Reasoner

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Reasoner

Rita
Hi,
I would like to ask if there is a procedure to add a reasoner or if there are packages to implement another reasoners besides hermit and pellet.
thank you very much,
Rita
Reply | Threaded
Open this post in threaded view
|

Re: Reasoner

Jiba
Administrator
Hi,

Currently, only HermiT and Pellet are supported. Both reasoners are implemented in reasoning.py; additional reasoners could be added in this file, probably following a similar process.

I have plans for a Python reasoner, but I still need more time for that.

Jiba