Slide 1Description Logic Based Ontology Languages Ian Horrocks Information Systems Group Oxford University Computing Laboratory Slide 2 What Are Description Logics? Slide…