Techreport640: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Wikipedia python library) |
||
(2 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
− | {{Publikation | + | {{Publikation Erster Autor |
− | | | + | |ErsterAutorNachname=Fensel |
− | | | + | |ErsterAutorVorname=Dieter |
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
Zeile 8: | Zeile 8: | ||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
− | |Rank= | + | |Rank=2 |
− | |Author= | + | |Author=Jürgen Angele |
}} | }} | ||
{{Techreport | {{Techreport | ||
Zeile 18: | Zeile 18: | ||
|Institution=University of Karlsruhe, Institute AIFB | |Institution=University of Karlsruhe, Institute AIFB | ||
|Number=307 | |Number=307 | ||
− | | | + | |Archivierungsnummer=640 |
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
Zeile 24: | Zeile 24: | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
|Projekt= | |Projekt= | ||
− | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} |
Aktuelle Version vom 16. Oktober 2009, 17:22 Uhr
Published: 1994
August
Nummer: 307
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 640
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 implementation 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 develop 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.