KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models