A policy reasoner based on OWL and SPIN-SPARQL
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
ontologies
src
.DS_Store
README.md

README.md

PolicyReasoner

A policy reasoning framework based on OWL and SPIN-SPARQL

Please note that the java implementation of this framework is underway. If would like to test this reasoner please open policy-dataset-example.spin.owl under /ontologies/examples/policies using TobBraid Composer and run the SPIN reasoner.