Graphical and formal knowledge specification with KARL

Author

Fensel, Dieter

Author_Institution

Inst. AIFB, Karlsruhe Univ., Germany

fYear

1994

fDate

28-31 Mar 1994

Firstpage

198

Lastpage

203

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 KARL-specification 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

Keywords

expert systems; formal specification; knowledge acquisition; knowledge representation; specification languages; visual languages; KARL; KARL-specification; Knowledge Acquisition and Representation Language; formal knowledge specification; graphical modelling language; graphical modelling primitives; graphical specification; informal specification; knowledge-based system; Expert systems; Knowledge acquisition; Knowledge based systems; Knowledge engineering; Knowledge representation; Object oriented modeling; Prototypes; Software maintenance; Software prototyping; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Expert Systems for Development, 1994., Proceedings of International Conference on

Conference_Location

Bangkok

Print_ISBN

0-8186-5780-4

Type

conf

DOI

10.1109/ICESD.1994.302281

Filename

302281