Extending CATS: mixed-initiative inferencing | IEEE Conference Publication | IEEE Xplore