first commit, ready to create the mutual modeling reasoner
Merge github.com:alexisjacq/optimalkb

First commit