search

pbonte / roxi

Reactive Reasoning
Other
38 stars 3 forks source link

Reasonable: DataFrog based OWL reasoner #23

Closed ktk closed 1 month ago

ktk commented 1 month ago

Just a FYI, this was mentioned yesterday in a W3C call https://github.com/gtfierro/reasonable

I wonder how related this is, are you doing your own reasoning engine in roxi? This one seems to be DataFrog based.

Feel free to close issue immediately.

pbonte commented 1 month ago

Hi @ktk ,

I remember checking it out before I started roxi, however, as it has been some time I don't remember much details. I guess it is translating OWL2 RL inference to a datalog program that is evaluated with DataFrog.

Roxi has its own inference reasoner built from scratch, allowing research on the optimization of inference algorithms and datastructures. This flexibility also allows us (in theory) to support more expressive reasoning than OWL2 RL. (However, this is not implemented yet)

Hope this helps.

KR, Pieter