Venn Diagram:  Expressive Overlaps among KR’s

First-Order Logic

Description Logic

Horn Logic Programs

Logic Programs

Description Logic Programs

(Negation As Failure)

(Procedural Attachments)