BibTeX
@MISC{Fensel94graphicaland,
author = {Dieter Fensel},
title = {Graphical and Formal Knowledge Specification with KARL},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper discusses an approach which allows the specification of a knowledge-based system (kbs) at several levels. The Knowledge Acquisition and Representation Language KARL combines a description of a kbs at the conceptual level supported by graphical modelling primitives with a description at a formal and executable level. Therefore, a KARLspecification can be used as a means for communication between expert and knowledge engineer as well as an intermediate representation, closing the conceptual gap between an informal specification and an implementation of a kbs. In the paper, KARL is mainly discussed as a graphical modelling language. Introduction There is a clear need for combining formal and executable specification of a kbs with descriptions at a high conceptual level supported by graphical representation primitives. In the paper, we discuss the Knowledge Acquisition and Representation Language KARL, which integrates formal specifications with a graphical modelling language...
