Issue No.04 - July/August (1998 vol.10)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.706055
<p><b>Abstract</b>—The <it>Knowledge Acquisition and Representation Language</it> (KARL) combines a description of a knowledge-based system at the conceptual level (a so-called <it>model of expertise</it>) with a description at a formal and executable level. Thus, KARL allows the precise and unique specification of the functionality of a knowledge-based system independent of any implementation details. A KARL model of expertise contains the description of domain knowledge, inference knowledge, and procedural control knowledge. For capturing these different types of knowledge, KARL provides corresponding modeling primitives based on Frame-Logic and Dynamic Logic. A declarative semantics for a complete KARL model of expertise is given by a combination of these two types of logic. In addition, an operational definition of this semantics, which relies on a fixpoint approach, is given. This operational semantics defines the basis for the implementation of the KARL interpreter, which includes appropriate algorithms for efficiently executing KARL specifications. This enables the evaluation of KARL specifications by means of testing.</p>
Knowledge-based systems, knowledge engineering, knowledge acquisition, knowledge representation, specification languages, dynamic logic, logic programming, deductive databases, software engineering, prototyping.
Dieter Fensel, Jürgen Angele, Rudi Studer, "The Knowledge Acquisition and Representation Language, KARL", IEEE Transactions on Knowledge & Data Engineering, vol.10, no. 4, pp. 527-550, July/August 1998, doi:10.1109/69.706055