TY - CHAP U1 - Konferenzveröffentlichung A1 - Koch, Martin A1 - Schmidt, Sven A1 - Boley, Harold A1 - Herpers, Rainer T1 - Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG T2 - Fodor, Roman et al. (Hg.): RuleML@ChallengeEnriched 2013. Rule Challenge, Human Language Technology and Doctoral Consortium @ RuleML 2013. Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium hosted at the 8th International Symposium on Rules (RuleML2013), Seattle, USA, July 11 -13, 2013 N2 - Grailog embodies a systematics to visualize knowledge sources by graphical elements. Its main benefit is that the resulting visual presentations are easier to read for humans than the original symbolic source code. In this paper we introduce a methodology to handle the mapping from Datalog RuleML, serialized in XML, to an SVG representation of Grailog, also serialized in XML, via eXtensible Stylesheet Language Transformations (XSLT) 2.0/XML; the SVG is then rendered visually by modern Web browsers. This initial mapping is realized to target Grailog's "fully node copied" normal form. Elements can thus be translated one at a time, separating the fundamental Datalog-to-SVG translation concern from the concern of merging node copies for optimal (hyper)graph layout and avoiding its high computational complexity in this online tool. The resulting open source Grailog Knowledge-Source Visualizer (Grailog KS Viz) supports Datalog RuleML with positional relations of arity n>1. The on-the-fly transformation was shown to run on all recent major Web browsers and should be easy to understand, use, and extend. KW - Visualization KW - graphs KW - Datalog KW - computational logic KW - SVG KW - XML KW - JavaScript KW - directed hypergraphs KW - Grailog KW - rules KW - XSLT KW - RuleML UR - https://ceur-ws.org/Vol-1004/ SN - 1613-0073 SS - 1613-0073 SP - 16 S1 - 16 PB - CEUR-WS.org ER -