Inproceedings669: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
| − | |||
| − | |||
| − | |||
| − | |||
{{Publikation Author | {{Publikation Author | ||
|Rank=1 | |Rank=1 | ||
| Zeile 10: | Zeile 6: | ||
|Rank=2 | |Rank=2 | ||
|Author=Jürgen Angele | |Author=Jürgen Angele | ||
| + | }} | ||
| + | {{Publikation Author | ||
| + | |Rank=3 | ||
| + | |Author=Rudi Studer | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings | ||
| Zeile 21: | Zeile 21: | ||
|Abstract=The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system (kbs) at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. It is a specification language which allows the precise and unique description of a kbs independently from implementational details. In the paper, KARL is mainly discussed as a formal language. That is, the paper introduces a formal semantics for KARL. Because KARL allows the representation of static and dynamic (i.e., procedural) knowledge, its semantics must integrate both types of knowledge. First, an object-oriented logic L-KARL was developed which can be used to specify static knowledge. Second, dynamic logic was used to de velop P-KARL for specifying knowledge about dynamics. Third, both languages had to be combined to represent a complete model of expertise. As a result, the integrated description of static and dynamic knowledge based on a well-defined declarative framework becomes possible. | |Abstract=The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system (kbs) at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. It is a specification language which allows the precise and unique description of a kbs independently from implementational details. In the paper, KARL is mainly discussed as a formal language. That is, the paper introduces a formal semantics for KARL. Because KARL allows the representation of static and dynamic (i.e., procedural) knowledge, its semantics must integrate both types of knowledge. First, an object-oriented logic L-KARL was developed which can be used to specify static knowledge. Second, dynamic logic was used to de velop P-KARL for specifying knowledge about dynamics. Third, both languages had to be combined to represent a complete model of expertise. As a result, the integrated description of static and dynamic knowledge based on a well-defined declarative framework becomes possible. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
| − | |Download=1994_669_Fensel_The Specificati_1.gz | + | |Download=1994_669_Fensel_The Specificati_1.ps.gz |
| − | |||
|Projekt= | |Projekt= | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} | ||
Version vom 15. August 2009, 11:56 Uhr
The Specification Language KARL and Its Declarative Semantics
The Specification Language KARL and Its Declarative Semantics
Published: 1994
September
Buchtitel: Proceedings of the IS-CORE94 Workshop, Amsterdam, September 27-30, 1994, research report, Free University of Amsterdam
Referierte Veröffentlichung
BibTeX
Kurzfassung
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system (kbs) at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. It is a specification language which allows the precise and unique description of a kbs independently from implementational details. In the paper, KARL is mainly discussed as a formal language. That is, the paper introduces a formal semantics for KARL. Because KARL allows the representation of static and dynamic (i.e., procedural) knowledge, its semantics must integrate both types of knowledge. First, an object-oriented logic L-KARL was developed which can be used to specify static knowledge. Second, dynamic logic was used to de velop P-KARL for specifying knowledge about dynamics. Third, both languages had to be combined to represent a complete model of expertise. As a result, the integrated description of static and dynamic knowledge based on a well-defined declarative framework becomes possible.
Download: Media:1994_669_Fensel_The Specificati_1.ps.gz