K  n  o  w  L  a  n  g
Framework for Knowledge Representation and Reasoning for Self-Adaptive Systems

U s e r    G u i d e

Running KnowLang
Knowledge Model
Self-Adaptive Behavior
Contact Info
Brief Description

KnowLang is a framework for Knowledge Representation and Reasoning (KR&R) that aims at efficient and comprehensive knowledge structuring and awareness based on logical and statistical reasoning. Knowledge specified with KnowLang takes the form of a Knowledge Base (KB) that outlines a Knowledge Representation (KR) context. A special KnowLang Reasoner operates in this context to allow for knowledge querying and update. In addition, the reasoner can infer special self-adaptive behavior.

A key feature of KnowLang is a formal language with a multi-tier knowledge specification model allowing for integration of ontologies together with rules and Bayesian networks. It helps software engineers tackle:

  • explicit representation of domain concepts and relationships;
  • explicit representation of particular and general factual knowledge, in terms of predicates, names, connectives, quantifiers and identity;
  • uncertain knowledge in which additive probabilities are used to represent degrees of belief.

Other remarkable features are related to knowledge cleaning (allowing for efficient reasoning) and knowledge representation for self-adaptive behavior.

For more information, please visit the KnowLang website at http://knowlang.lero.ie/


KnowLang was originally developed by Emil Vassev as part of an initiative undertaken by Lero - the Irish Software Research Center within the Lero's mandate in the ASCENS Project. The official KnowLang webpage is http://knowlang.lero.ie/.

User Guide Curator - Emil Vassev
Last modified on January 28, 2014