An Interactive Visual Language for Term Subsumption Languages

Abstract

A visual language is defined equivalent in expressive power to term subsumption languages expressed in textual form. To each knowledge representation primitive there corresponds a visual form expressing it concisely and completely. The visual language and textual languages are intertranslatable. Expressions in the language are graphs of labeled nodes and directed or undirected arcs. The nodes are labeled textually or iconically and their types are denoted by six different outlines. Computer-readable expressions in the language may be created through a structure editor that ensures that syntactic constraints are obeyed. The editor exports knowledge structures to a knowledge representation server computing subsumption and recognition, and maintaining a hybrid knowledge base of concept definitions and individual assertions. The server can respond to queries graphically displaying the results in the visual language in editable form. Knowledge structures can be entered directly in the edito...