Stardog Appoints Alan Gibson as Chief Revenue Officer