Existential Graphs for Terminological Logics

Schmidt, R. A. (Oct. 1994)

Manuscript. Comments are welcome. BiBTeX, with access restriction: PostScript

In this paper I focus on graphic forms of representation for KL-ONE-based knowledge representation languages. I consider the semantic network formalism due to R. Brachman and the system of existential graph due to C. S. Peirce. The semantic networks of Brachman are very weak. Not all the information expressible in a terminological language can be represented as a semantic network. By contrast, the system of Peirce is very powerful. I show how any information expressed in any terminological language can be transformed and displayed as an existential graph and propose that existential graphs be used to complement the semantic network representations.

Renate A. Schmidt
Home | Publications | FM Group | School | Man Univ

Last modified: 24 Jan 2000
Copyright © 1996,7,8 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk