I'm working on RESTful services descriptions for enabling machines to understand semantic of services. This repository contains some examples of services descriptions using RESTdesc.
To generate the proof of a goal, it is used EYE Reasoner.
This work is ongoing.