Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Article633

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

Formal Methods in Knowledge Engineering


Frank van Harmelen, Dieter Fensel



Veröffentlicht: 1995

Journal: The Knowledge Engineering Review
Nummer: 4


Volume: 10

Referierte Veröffentlichung
BibTeX




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

Download: Media:1995_633_van Harmelen_Formal_Methods__1.ps.gz



Forschungsgruppe

Web Science und Wissensmanagement