{"repository":{"description":"A tiny and simple Reasoner for the S Description Logic (that is ALC + Transitive Roles) written in standard and clean C++.","homepage":"","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":410,"owner":"keebus","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C++","created_at":"2012-01-25T07:40:37-08:00","pushed_at":"2013-07-24T03:28:26-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Canio Massimo Tristano","blog":"http://keebus.wordpress.com","location":"Milano, Italy","email":"ef464f7dd6e956869f9dac6b68b92a7e9a8fc7ae@gmail.com"},"url":"https://github.com/keebus/TinyReason/compare/08258d519f...16a076f39e"}