Internet Reasoning Service: Progress Report Wenjin Lu and Enrico Motta Knowledge Media Institute Monica Crubézy Stanford Medical Informatics.