Glossary

Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 

R

Index


Referent

Context

A term in ontology, semiotics, CG theory, and other fields.

Ontological definition

In ontology, a concept may have a referent. A concept's referent is the real-world entity of which the concept is a representation in the mind.

CG definition

In CG theory, a concept may also have a referent. A referent in this context is a syntactic object with a certain structure.

The template for a concept is as follows:

  [Concept type: Referent]

Thus the referent is what comes after the colon.

The meaning of the CG referent of the CG concept is intended to be a referral to the real-world entity of which the CG concept is a representation.

Ontological example

If I am thinking of a piece of cheese in my refridgerator, then I have the concept "cheese" in my mind. The referent of this concept will be the piece of cheese in my refridgerator.

CG examples

In all of the following examples, the referent is what comes after the colon, inside the concept:

  [Person: #she]
  [Cat: Garfield]
  [HeavenlyBody: "Luna"]

Relation

Context

A very general term in philosophy, discrete mathematics, CG theory, and other fields.

General definition

A relation is an entity that connects two or more entities in a specific manner.

CG definition

In CG theory, a relation is a kind of node in a conceptual graph that connects to one or more concepts via arcs.

A relation always has:

  • A relation type
  • A signature
  • A valence

Relation hierarchy

Context

A term in CG theory

Short definition

A relation hierarchy is a type hierarchy of relations.

Longer definition

A relation hierarchy is a concept of type RelationHierarchy whose referent is a conceptual graph which specifies a number of relation labels, a partial order over the relation labels, their valences, and the lambda expressions defining the labels.


Relation Type

Context

A term in CG theory (and Amine).

CG definition

In CG theory, a relation type is the type of a relation.

A relation type always has a placement in a relation hierarchy.

It may in addition have a definition CG, usually employing lambda expressions for showing where to attach the arcs.

Amine definition

In Amine, a relation type is a conceptual structure which is a subtype of the specially privileged "relation root", which is defined via the "New Ontology Wizard" when you create the ontology.

It may have a canon CG describing typical usage, and/or a definition CG definining it.

In Amine, relation types are always dyadic.


Rule

Context

A term in Prolog

Definition

A rule conforms to the following syntax:

head : body.

The head of the rule is any term.

The body of the rule is a comma-separated list of subgoals.

For a rule to be satisfied, all of the subgoals in the body must be satisfied. This is done in a left-to-right, top-to-bottom order.


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z