TY - JOUR
T1 - Formal Methods in Knowledge Engineering
AU - van Harmelen, F.A.H.
AU - Fensel, D.
PY - 1995/12
Y1 - 1995/12
N2 - This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods. We briefly summarise the current state of the art and discuss the most important directions that future research in this field should take. This paper presents a general setting for the other contributions in this issue of the Journal, which each deal with a specific issue in more detail.
AB - This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the field of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections against formal methods. We briefly summarise the current state of the art and discuss the most important directions that future research in this field should take. This paper presents a general setting for the other contributions in this issue of the Journal, which each deal with a specific issue in more detail.
UR - https://www.scopus.com/pages/publications/0029509319
UR - https://www.scopus.com/inward/citedby.url?scp=0029509319&partnerID=8YFLogxK
U2 - 10.1017/S0269888900007554
DO - 10.1017/S0269888900007554
M3 - Article
SN - 0269-8889
VL - 10
SP - 345
EP - 360
JO - Knowledge Engineering Review
JF - Knowledge Engineering Review
IS - 4
ER -