Techreport626: 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=Fensel | ||
+ | |ErsterAutorVorname=Dieter | ||
+ | }} | ||
{{Publikation Author | {{Publikation Author | ||
− | |Rank= | + | |Rank=3 |
− | |Author= | + | |Author=Rudi Studer |
}} | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=2 | |Rank=2 | ||
|Author=Jürgen Angele | |Author=Jürgen Angele | ||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Techreport | {{Techreport | ||
Zeile 18: | Zeile 18: | ||
|Institution=University of Karlsruhe, Institute AIFB | |Institution=University of Karlsruhe, Institute AIFB | ||
|Number=316 | |Number=316 | ||
− | | | + | |Archivierungsnummer=626 |
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. Thus, KARL allows the precise and unique specification of the functionality of a knowledge-based system independent of any implementational details. A KARL model of expertise contains the description of domain knowledge, inference knowledge, and procedural control knowledge. That is, it includes the specification of static and procedural knowledge. For capturing these different types of knowledge KARL offers corresponding modeling primitives which are based on Frame-logic and Dynamic Logic. A declarative semantics for a complete KARL model of expertise is given by a novel combination of these two types of logic. In addition, an operational definition of this semantics, which relies on a fixpoint approach, is given. This operational semantics defines the basis for the implementation of the KARL interpreter which includes appropriate algorithms for efficiently evaluating KARL specifications. This enables the evaluation of KARL specifications by means of testing. | |Abstract=The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. Thus, KARL allows the precise and unique specification of the functionality of a knowledge-based system independent of any implementational details. A KARL model of expertise contains the description of domain knowledge, inference knowledge, and procedural control knowledge. That is, it includes the specification of static and procedural knowledge. For capturing these different types of knowledge KARL offers corresponding modeling primitives which are based on Frame-logic and Dynamic Logic. A declarative semantics for a complete KARL model of expertise is given by a novel combination of these two types of logic. In addition, an operational definition of this semantics, which relies on a fixpoint approach, is given. This operational semantics defines the basis for the implementation of the KARL interpreter which includes appropriate algorithms for efficiently evaluating KARL specifications. This enables the evaluation of KARL specifications by means of testing. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
− | |Download= | + | |Download=1995_626_Fensel_The_Knowledge_A_1.ps.gz |
− | |||
|Projekt= | |Projekt= | ||
− | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} |
Aktuelle Version vom 16. Oktober 2009, 17:22 Uhr
Published: 1995
Mai
Nummer: 316
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 626
Kurzfassung
The Knowledge Acquisition and Representation Language (KARL) combines a description of a knowledge-based system at the conceptual level (a so-called model of expertise) with a description at a formal and executable level. Thus, KARL allows the precise and unique specification of the functionality of a knowledge-based system independent of any implementational details. A KARL model of expertise contains the description of domain knowledge, inference knowledge, and procedural control knowledge. That is, it includes the specification of static and procedural knowledge. For capturing these different types of knowledge KARL offers corresponding modeling primitives which are based on Frame-logic and Dynamic Logic. A declarative semantics for a complete KARL model of expertise is given by a novel combination of these two types of logic. In addition, an operational definition of this semantics, which relies on a fixpoint approach, is given. This operational semantics defines the basis for the implementation of the KARL interpreter which includes appropriate algorithms for efficiently evaluating KARL specifications. This enables the evaluation of KARL specifications by means of testing.
Download: Media:1995_626_Fensel_The_Knowledge_A_1.ps.gz