Concepts are used to specify the basic terminology in KnowLang. Concepts are organized in special
concept trees that semantically group related concepts. Every concept tree has a root concept
and concepts may have parents and children connecting that concept in a concept tree. A concept descends
from its parents and acts as a parent concept to its children. KnowLang defines two types of
concepts:concepts and explicit concepts.
A concept must be specified with its properties and functions. Properties are specified with the PROP
keyword and have a type specified as a concept in the KB. Any concept could be used to define a property in
KnowLang. Functions are specified with the FUNC keyword and also have a type specified as an
ACTION concept in the KB. Only KnowLang ACTION concepts may be used to define a function in
KnowLang.
A concept may also be specified with intrinsic the STATES property. A STATE is specified as a Boolean expression
and it is uniquely specified for the concept it belongs to. A state’s expression may involve properties, functions,
states, entire concepts, and objects specified in the KB. Any property, function, or state is specified with a
unique identifier that is used when specifying Boolean expressions.
|