We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.

The Knowledge Acquisition and Representation Language KARL

Publishing Date:
Kluwer Academic Publishers

The Knowledge Acquisition and Representation Language KARL is a formal and operational specification language for knowledge-based systems and second-generation expert systems. KARL provides language primitives to represent knowledge according to the layers of a KADS-oriented model of expertise. The main features of KARL are: it provides epistemologically adequate modelling primitives that allow knowledge specifications at the knowledge level. Therefore, KARL allows a smooth transition from informal to formal specifications. KARL is a formal knowledge specification language. That is, it has a declarative semantics. KARL is an operational knowledge specification language that allows prototyping, i.e. knowledge evaluation by testing.

Author(s) from STI: