Stage-oe-small.jpg

Techreport640: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
K (Added from ontology)
Zeile 1: Zeile 1:
{{Publikation Author
+
{{Publikation Erster Autor
|Rank=2
+
|ErsterAutorNachname=Fensel
|Author=Jürgen Angele
+
|ErsterAutorVorname=Dieter
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
Zeile 8: Zeile 8:
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=1
+
|Rank=2
|Author=Dieter Fensel
+
|Author=Jürgen Angele
 
}}
 
}}
 
{{Techreport
 
{{Techreport

Version vom 8. September 2009, 09:57 Uhr


The Specification Language KARL and Its Declarative Semantics




Published: 1994 August
Nummer: 307
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer:640

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 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.



Forschungsgebiet