Specification Model

At its very core, KnowLang is a formal specification language providing a comprehensive specification model aiming at addressing the knowledge representation problem for ASCENS-alike systems. The complexity of the problem necessitated the use of a specification model where knowledge can be presented at different levels of abstraction and grouped by following both hierarchical and functional patterns. KnowLang imposes a multi-tier specification model, where we specify a KB composed of layers dedicated to knowledge corpuses, KB (knowledge base) operators and inference primitives.