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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media New York
About this chapter
Cite this chapter
Fensel, D. (1995). The Formal Semantics of KARL. In: The Knowledge Acquisition and Representation Language, KARL. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2275-1_5
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2275-1_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5959-3
Online ISBN: 978-1-4615-2275-1
eBook Packages: Springer Book Archive