Slide 1Knowledge Representation in Description Logic Slide 2 1. Introduction Description logic denotes a family of knowledge representation formalisms that model the application…