A reasoning system for image analysis Jin Sheng Gao and Chang Le Zhou MATEC Web Conf., 63 (2016) 04031 Published online: 12 July 2016 DOI: 10.1051/matecconf/20166304031