BIME 550 A: Knowledge Representation And Applications