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)

See: http://wiki.ruleml.org/index.php/Grailog    (3TV7)