The Formal Semantics of KARL

  • Dieter Fensel


This chapter defines the semantics of KARL. For this purpose, we define the semantics of LOGICAL-KARL (L-KARL) and PROCEDURAL-KARL (P-KARL). Then, a formal semantics for a domain layer, an inference layer, and a task layer is defined. The task layer defines the semantics of an entire KARL model of expertise by combining the semantics of L-KARL and P-KARL.


Formal Semantic Predicate Symbol Variable Assignment Semantical Structure Horn Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Dieter Fensel
    • 1
    • 2
  1. 1.University of KarlsruheGermany
  2. 2.Department SWIUniversity of AmsterdamAmsterdamNetherlands

Personalised recommendations