Logic for Nested Graphs
Anne Preller, Marie-Laure Mugnier, Michel Chein · Computational Intelligence · 1998
We study the expressiveness of Nested Graphs, an extension of conceptual graphs. Nesting is introduced as a formal version of the intuitive “zooming in” on descriptions of individuals. Projections are defined inductively as the formal tool for “reasoning with nested graphs.” Nested graphs are translated to “colored” formulas. Coloring represents anaphoras in a way similar to conceptual graphs. A system of Gentzen sequents is shown to be adequate and complete with respect to projections of nested graphs.