A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

Pascal van Eck; Joeri Engelfriet; Dieter Fensel; Frank van Harmelen; Yde Venema; Mark Willems

doi:10.1109/69.929903

A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

Pascal van Eck, Joeri Engelfriet, Dieter Fensel, Frank van Harmelen, Yde Venema, Mark Willems

Research output: Contribution to journal › Article › Academic › peer-review

15 Citations (Scopus)

131 Downloads (Pure)

Abstract

During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. This paper focuses on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and Troll), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of Abstract State Machines.

Original language	English
Pages (from-to)	462-496
Number of pages	35
Journal	IEEE transactions on knowledge and data engineering
Volume	13
Issue number	3
DOIs	https://doi.org/10.1109/69.929903
Publication status	Published - May 2001

Keywords

SCS-Services

Access to Document

10.1109/69.929903

ArticleFinal published version, 858 KB

Cite this

@article{4742f0d02b3d4453bf0e6cf1c6459d58,

title = "A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective",

abstract = "During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. This paper focuses on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and Troll), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of Abstract State Machines.",

keywords = "SCS-Services",

author = "{van Eck}, Pascal and Joeri Engelfriet and Dieter Fensel and {van Harmelen}, Frank and Yde Venema and Mark Willems",

note = "Imported from DIES",

year = "2001",

month = may,

doi = "10.1109/69.929903",

language = "English",

volume = "13",

pages = "462--496",

journal = "IEEE transactions on knowledge and data engineering",

issn = "1041-4347",

publisher = "IEEE",

number = "3",

}

TY - JOUR

T1 - A Survey of Languages for Specifying Dynamics

T2 - A Knowledge Engineering Perspective

AU - van Eck, Pascal

AU - Engelfriet, Joeri

AU - Fensel, Dieter

AU - van Harmelen, Frank

AU - Venema, Yde

AU - Willems, Mark

N1 - Imported from DIES

PY - 2001/5

Y1 - 2001/5

N2 - During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. This paper focuses on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and Troll), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of Abstract State Machines.

AB - During the last years, a number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Specification languages for knowledge-based systems have to cover both aspects. They have to provide the means to specify a complex and large amount of knowledge and they have to provide the means to specify the dynamic reasoning behavior of a knowledge-based system. This paper focuses on the second aspect. For this purpose, we survey existing approaches for specifying dynamic behavior in related areas of research. In fact, we have taken approaches for the specification of information systems (Language for Conceptual Modeling and Troll), approaches for the specification of database updates and logic programming (Transaction Logic and Dynamic Database Logic) and the generic specification framework of Abstract State Machines.

KW - SCS-Services

U2 - 10.1109/69.929903

DO - 10.1109/69.929903

M3 - Article

SN - 1041-4347

VL - 13

SP - 462

EP - 496

JO - IEEE transactions on knowledge and data engineering

JF - IEEE transactions on knowledge and data engineering

IS - 3

ER -