Slide 1 OWL: A Description Logic Based Ontology Language Ian Horrocks Information Management Group School of Computer Science University of Manchester Slide 2 Talk Outline…