search

gtfierro / reasonable

OWL 2 Reasoner built on DataFrog
BSD 3-Clause "New" or "Revised" License
67 stars 4 forks source link

Maturity #26

Open RichDijk opened 4 months ago

RichDijk commented 4 months ago

Thank you for creating reasonable because we want to use owl-rl inference and are looking for implementations. After a test a get different results then with GraphDB owl-rl inferred data.

Is the reasonable mature enough to be used already?

gtfierro commented 4 months ago

Thanks for checking out reasonable! I haven't been as active on this project lately because my interests have moved towards SHACL for validation/inference. The README on this project says what rules I have/have not implemented, which might explain some of the difference between reasonable and GraphDB. Please do file any issues with minimal reproducing examples if you find any! I might be slow to fix, but I have a student who might be interested in chipping in

RichDijk commented 4 months ago

I have checked the ontology for statements and not implemented rules; we are lucky: no issues. Let me guess, you have experience with owl constructs that are not used often.

Nevertheless, please find some students for maintenance, we need independent reasoners so badly.