search

RDFLib / OWL-RL

A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.
http://www.ivan-herman.net/Misc/2008/owlrl/
Other
140 stars 30 forks source link

Starting to implement some basic tests to allow removal of `LiteralProxies` class in near future #16

Closed wrobell closed 5 years ago

wrobell commented 5 years ago

This is related to the issue #13.

wrobell commented 5 years ago

I have also test for dt-type2 rule. I can see there is processing for the rule in RDFClosure.OWLRL module, however it seems in one of the post-processing steps the result of inference is ignored or removed. Is that a bug?

ashleysommer commented 5 years ago

it seems in one of the post-processing steps the result of inference is ignored or removed. Is that a bug?

Good question. It is probably a bug. Do you have any more information? Have you tried to re-enable the post-processing steps to see what it does?

wrobell commented 5 years ago

I believe, on this branch, I have not disabled any post-processing steps.

wrobell commented 5 years ago

I have added unit test for dt-type2 OWL 2 RL rule in this pull request. Also raised ticket #19 about dt-type2 inference issue.

nicholascar commented 5 years ago

Thanks for the tests. I'll pull this through now but really we all need a plan for a comprehensive set of tests against the spec in order to identify all bugs. There are random rules commented out in the code with no explanation so I don't know what the effects of the dissablement of them is. Comprehensive testing against the RL rules will tell.