The Formal Semantics of KARL

  • Dieter Fensel

Abstract

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.

Keywords

Stratification 

Preview

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