A policy reasoner based on OWL and SPIN-SPARQL