## Grailog (3TV5)

The Graph inscribed logic (Grailog) is a systematic combination of generalized graphs for data & knowledge representation including (binary and n-ary) relational logic, Horn logic, description logic, and object/frame logic. Grailog thus enables 2-dimensional graph-logic visualization for humans in the loop of data & knowledge elicitation, validation, as well as processing. The Grailog page shows sample diagrams, links to an introductory paper and to implementations, and lists use cases. (3TV6)