Techreport667: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Wikipedia python library) |
||
(3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
+ | {{Publikation Erster Autor | ||
+ | |ErsterAutorNachname=Angele | ||
+ | |ErsterAutorVorname=Jürgen | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Dieter Fensel | |Author=Dieter Fensel | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
Zeile 18: | Zeile 18: | ||
|Institution=University of Karlsruhe, Institute AIFB | |Institution=University of Karlsruhe, Institute AIFB | ||
|Number=272 | |Number=272 | ||
− | | | + | |Archivierungsnummer=667 |
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=In the paper we present the modelling primitives of KARL. KARL is a formal and operational language to represent models of expertise of knowledge-based systems. Since KARL offers epistemologically adequate modelling primitives it allows to describe the model of expertise on a high level of abstraction. The formal semantics of KARL provides means to describe the expertise unambiguously and the operational semantics of KARL allows to directly execute models of expertise in order to provide feedback for the expert, the knowledge engineer and the user of the final knowledge-based system. KARL is based on object oriented logic and dynamic logic. | |Abstract=In the paper we present the modelling primitives of KARL. KARL is a formal and operational language to represent models of expertise of knowledge-based systems. Since KARL offers epistemologically adequate modelling primitives it allows to describe the model of expertise on a high level of abstraction. The formal semantics of KARL provides means to describe the expertise unambiguously and the operational semantics of KARL allows to directly execute models of expertise in order to provide feedback for the expert, the knowledge engineer and the user of the final knowledge-based system. KARL is based on object oriented logic and dynamic logic. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
− | |||
|Projekt= | |Projekt= | ||
− | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} |
Aktuelle Version vom 16. Oktober 2009, 17:23 Uhr
Published: 1994
Januar
Nummer: 272
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 667
Kurzfassung
In the paper we present the modelling primitives of KARL. KARL is a formal and operational language to represent models of expertise of knowledge-based systems. Since KARL offers epistemologically adequate modelling primitives it allows to describe the model of expertise on a high level of abstraction. The formal semantics of KARL provides means to describe the expertise unambiguously and the operational semantics of KARL allows to directly execute models of expertise in order to provide feedback for the expert, the knowledge engineer and the user of the final knowledge-based system. KARL is based on object oriented logic and dynamic logic.