Tests for well known reasoning examples

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

Tests for well known reasoning examples #4

Open nicholascar opened 6 years ago

nicholascar commented 6 years ago

Perhaps for Challenges 34 & 36 (pp. 259, 270) in Semantic Web for the Working Ontologist

wrobell commented 5 years ago

Just in case. The examples from the book can be downloaded from http://workingontologist.org/Examples/index.html.

nicholascar commented 5 years ago

Thanks @wrobell, we'll use those examples.

blokhin commented 5 years ago

Also https://github.com/RDFLib/OWL-RL/issues/14#issuecomment-462142764