Article633: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Added from ontology) |
||
| Zeile 1: | Zeile 1: | ||
| + | {{Publikation Author | ||
| + | |Rank=2 | ||
| + | |Author=Dieter Fensel | ||
| + | }} | ||
{{Publikation Author | {{Publikation Author | ||
|Rank=1 | |Rank=1 | ||
|Author=Frank van Harmelen | |Author=Frank van Harmelen | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Article | {{Article | ||
| Zeile 18: | Zeile 18: | ||
|Abstract=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. | |Abstract=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. | ||
|VG Wort-Seiten= | |VG Wort-Seiten= | ||
| − | |Download=1995_633_van | + | |Download=1995_633_van Harmelen_Formal_Methods__1.ps.gz |
| − | |||
|Projekt= | |Projekt= | ||
|Forschungsgruppe= | |Forschungsgruppe= | ||
}} | }} | ||
Version vom 15. August 2009, 16:44 Uhr
Formal Methods in Knowledge Engineering
Formal Methods in Knowledge Engineering
Veröffentlicht: 1995
Journal: The Knowledge Engineering Review
Nummer: 4
Volume: 10
Referierte Veröffentlichung
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