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 

K

Index


Knowledge base

Context

A term in conceptual graph-theory (and knowledge engineering in general). Here, we define the term as it is used in conceptual graph-theory.

Definition

In conceptual graph-theory, a knowledge base is a context (concept) of type "KnowledgeBase" whose designator (referent) consists of four concepts:

  1. Type hierarchy. A concept of type TypeHierarchy whose referent is a conceptual graph which specifies a number of type labels, a partial order over the type labels, and the monadic lambda expressions which define the type labels.
  2. Relation hierarchy. 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.
  3. Catalog of individuals. A concept of type CatalogOfIndividuals whose referent contains exactly one concept for each individual marker that appears in any concept in the knowledge base.
  4. Outermost context. A concept of type Assertion whose referent is a conceptual graph.

All of the conceptual graphs which we produce, such as

  [Man: ]->(Attr)->[Mortal]
  "All men are mortal"

will be inside of the referent of the outermost context.


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