Checkable Domain Management with Ontology and Rules Atif Alvi and David J. Greaves Computer Laboratory University of Cambridge, UK {firstname.lastname}@cl.cam.ac.uk AutoHAN…