4.3.4 Summary

Syntax

Concepts are enclosed in square brackets and follow one of these general schemas:

[Type]
[Type : Referent]
[Type = Descriptor]
[Type : Referent = Descriptor]

Types

The type can be any identifier, and should generally be included in the type hierarchy to be most useful. The type can also be a variable, in which case the Prolog system must be able to infer the type.

Referents

Referents can be either:

  1. Identifiers,
  2. Strings
  3. Variables, or
  4. Multi-referents.

Multi-referents look like this: "*1", "*2", ..., "*9" and are used to say that a concept is really the same as another concept even though it is placed somewhere else textually. Multi-referents are different from coreference links. (We will get back to coreferents later).

Concept descriptors

Concept descriptors associate data with a concept. They can be any kind of Prolog+CG data, but the datatype most often used is conceptual graphs.

Next

Next, we treat the problem of how to write graphs that extend over more than one textual line.


PrevLite: 4.3.3 Concept descriptors
NextLite: 4.4 Multi-line graphs

Prev: 4.3.3 Concept descriptors
Up: 4.3 Concepts
Next: 4.4 Multi-line graphs