I worked on the RKF project. My assessment is that some useful tools
for aiding knowledge entry for very structured, domain specific content,
were developed under the project, but they are a very long way from
providing support for the sort of work that we are doing in axiomatizing
the core component types of UBL.
A visual editor can remove the initial obstacle of learning a logical
notation, but doesn't solve the problem that in order to do formal ontology
development, many skills must be learned, and writing logic notation is the
easiest of those skills. (01)
At 07:02 AM 8/4/2004, Brian (Bo) Newman wrote:
>To the members of Ontolog,
>Is there anyone within the group that has first-hand knowledge of the work
>done under DARPA's Rapid Knowledge Formation (RKF) project, specifically
>the work done by Peter Clark ( Knowledge Systems M&CT, Boeing), et al,
>starting with the development of SHAKEN (see link below), through which he
>and his colleagues claim to have developed a way for SME to capture
>axiomatic knowledge through a graphical interface -- a method which they
>claim overcomes the need for the SME to be proficient with first order logic.
>Given the problems we (Ontolog) have encountered relating to the skill
>sets needed to develop axiomatic ontologies, if valid and workable, this
>might be a way for mitigating the problem. At minimum, I believe it is
>worth a short discussion.
>I look forward to hearing of your experiences, and/or insights.
>Brian (Bo) Newman
>Exec Director, The KMForum
>Sr Analyst, TECHi2
>Clark, P., Thompson, J., Barker, K., Porter, B., Chaudhri, V., Rodriguez,
>A., Thomr, J., Gil, Y. and Hayes, P. Knowledge Entry as the Graphical
>Assembly of Components: The SHAKEN System, K-CAP'01, October 22-23, 2001,
>Victoria, British Columbia, Canada,. 2001.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)