FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. - Takumi Otsuka; Kentaro Fukushi; Yuichi Goto; Jingde Cheng (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)