Harold Boley: Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. RuleML 2013: 52-67