Towards Declarative Programming of Conceptual Models

Möller, Jens-Uwe

doi:10.1007/978-3-642-77312-9_7

Cited by 2 publications

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition, [Möl92] proposes KL-ONE as an operationalization and formalization language. In a more elaborated way, this idea is realized by the language MODEL/KADS [Bar93].…”

Section: Introductionmentioning

confidence: 99%

A comparison of languages which operationalize and formalize KADS models of expertise

Fensel¹,

Harmelen

1994

The Knowledge Engineering Review

View full text Add to dashboard Cite

Abstract.In the field of Knowledge Engineering, dissatisfaction with the rapid-prototyping approach has led to a number of more principled methodologies for the construction of knowledgebased systems. Instead of immediately implementing the gathered and interpreted knowledge in a given implementation formalism according to the rapid-prototyping approach, many such methodologies centre around the notion of a conceptual model: an abstract, implementation independent description of the relevant problem solving expertise. A conceptual model should describe the task which is solved by the system and the knowledge which is required by it. Although such conceptual models have often been formulated in an informal way, recent years have seen the advent of formal and operational languages to describe such conceptual models more precisely, and operationally as a means for model evaluation. In this paper, we study a number of such formal and operational languages for specifying conceptual models. In order to enable a meaningful comparison of such languages, we focus on languages which are all aimed at the same underlying conceptual model, namely that from the KADS method for building KBS. We describe eight formal languages for KADS models of expertise, and compare these languages with respect to their modelling primitives, their semantics, their implementations and their applications. Future research issues in the area of formal and operational specification languages for KBS are identified as the result of studying these languages. The paper also contains an extensive bibliography of research in this area.

show abstract

“…In addition, [Möl92] proposes KL-ONE as an operationalization and formalization language. In a more elaborated way, this idea is realized by the language MODEL/KADS [Bar93].…”

Section: Introductionmentioning

confidence: 99%