|
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/
|