Towards a formal semantics and inference rules for conceptual data models

Eick, Christoph F.; Raupp, Thomas

doi:10.1016/0169-023x(91)90036-w

Cited by 4 publications

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…DALI's data model is called the S-diagram [29][30][31]. In this paper, after a short introduction, we will concentrate on the extensions of the data model for coping with rules and operations.…”

Section: The Dali Kbmsmentioning

confidence: 99%

Integrating forward-chaining rules with operations and permanent knowledge bases

Eick

Liu

Werstein

1992

Journal of Systems Integration

Self Cite

View full text Add to dashboard Cite

Abstract. Traditionally, rule-based forward-chaining systems are considered to be standalone, working on a volatile memory. This paper focuses on the integration of forward-chaining rules with command-driven programming paradigms in the context of permanent, integrated knowledge bases. A system architecture is proposed that integrates the data management functions of large computerized knowledge bases into a module called a knowledge base management system (KBMS). Experiences we had in integrating rules with operations into a prototype KBMS called DALI are surveyed. For this integration, a new form of production rule, called the activation pattern controlled rule, is introduced, which augments traditional forward-chaining rules by a second, additional left-hand side, which allows making rules sensitive to calls of particular operations. Activation pattern controlled rules play an important role in DALI's system architecture, because they facilitate the storage of knowledge that has been specified relying on mixed programming, a combination of data-driven, command-driven, and preventive programming. The general problems of implementing permanent knowledge bases that contain rules and operations are discussed, and an algorithm for implementating activation pattern controlled rules, called IPTREAT, a generalization of the TREAT algorithm, is provided. Furthermore, the paper intends to clarify the differences between traditional, volatile rule-based systems and rule-based systems that are geared toward knowledge integration by supporting a permanent knowledge base.Key Words: Knowledge-based systems, integrated knowledge bases, knowledge base management system, implementation techniques for rule-based systems, integration of data-driven and command driven control regimes, activation pattern-controlled rules.

show abstract

Section: The Dali Kbmsmentioning

confidence: 99%

Integrating forward-chaining rules with operations and permanent knowledge bases

Eick

Liu

Werstein

1992

Journal of Systems Integration

Self Cite

View full text Add to dashboard Cite

show abstract

“…Readers more interested in the knowledge base management system itself are referred to [21][22][23]. The conceptual data model we use to describe the semantics of a DALI-knowledge base is called S-diagram.…”

Section: The Dali-kbmsmentioning

confidence: 99%

Activation pattern controlled rules: Towards an integration of data-driven and command-driven programming

Eick

1992

Appl Intell

Self Cite

View full text Add to dashboard Cite

The attractions and drawbacks of data-driven programming are discussed in the context of rule-based forward chaining systems. The relationships between data-driven and command-driven programming are analyzed in the context of a course-registration example. A new form of production rule, called an activation pattern controlled rule, that generalizes classical forward chaining rules is introduced. Activation pattern controlled rules are triggered by calls of commands; that is, by the intention to perform a command but not necessarily by the result of applying the command itself. We demonstrate that activation pattern controlled rules facilitate the integration of data-driven and command-driven programming, support preventive programming as well, and allow for writing rule-based programs more transparently. We also survey our experiences in implementing an inference engine for activation pat= tern controlled rules.

show abstract

Defining and validating metrics for assessing the understandability of entity–relationship diagrams

Genero

Poels

Piattini

2008

Data & Knowledge Engineering

View full text Add to dashboard Cite

Towards a formal semantics and inference rules for conceptual data models

Cited by 4 publications

References 22 publications

Integrating forward-chaining rules with operations and permanent knowledge bases

Integrating forward-chaining rules with operations and permanent knowledge bases

Activation pattern controlled rules: Towards an integration of data-driven and command-driven programming

Defining and validating metrics for assessing the understandability of entity–relationship diagrams

Contact Info

Product

Resources

About