A diagrammatic inference system for the web

Authors:
Michael Wollowski;Peter Nei;Chris Barrell
Affiliations:
Rose-Hulman Institute of Technology, Terre Haute, IN;Beckman Coultier, Indianapolis, IN;Logikos, Inc., Fort Wayne, IN
Venue:
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Year:
2004

Citing 3
Cited 0

Visual information and valid reasoning

Visualization in teaching and learning mathematics
Logical reasoning with diagrams

Logical reasoning with diagrams
Logic and Visual Information

Logic and Visual Information

Quantified Score

Hi-index	0.01

Visualization

Abstract

We developed a diagrammatic inference system for the World Wide Web. Our system enables the creation of diagrams such that the information contained in them can be searched and inference can be performed on it. We developed an XMLSchema for bar, line, and pie charts. Based on it, we developed software that transforms a corresponding XML file into an SVG image, which in turn is rendered by the client as an image. Additionally, we developed a search engine which enables a user to find information explicitly contained in the XML file, and as such in the image. Furthermore, we developed an inference engine which enables a user to locate information that is implicitly contained in the image.