Description Logics and Frames - Institute for Computing and