Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A

From Tetherless World Wiki

Jump to: navigation, search

Citation: Dieter Fensel and Henrik Eriksson and Mark A. Musen and Rudi Studer. (1996) Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A. In KSL-96-07, February,1996.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Dieter Fensel and Henrik Eriksson and Mark A. Musen and Rudi Studer
title Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A
number KSL-96-07
institution Knowledge Systems, AI Laboratory
address Stanford, CA, USA
year 1996
month February
Bibtex more
note Medical Computer Science
Access Paper
abstract The identification of reusable problem-solving methods can improve knowledge engineering by allowing developers to design reasoners quickly from preexisting components. An important factor for successful method reuse is the specification of preexisting methods. The PROTEGE-II approach allows developers to select methods from a library, and to map methods to a domain ontology. KARL is a formal and executable knowledge-specification language that provides modeling primitives for expressing problem-solving methods. In this paper, we show how the code and informal descriptions of problem-solving methods in PROTEGE-II can be supplemented with the formal method definitions in KARL. For our case study, we have chosen two methods from the PROTEGE-II framework: chronological backtracking and its task specific refinement: the board-game method. Therefore, we give insights in the development of task-specific (i.e., strong) problem-solving methods starting with general-purpose methods. We also show how such a task-specific method can be adapted to a given domain.

KSL Technical Report ID: KSL-96-07
Facts about Conceptual and Formal Specifications of Reusable Problem-Solving Methods: ARDF feed
Abstract The identification of reusable problem-sol … The identification of reusable problem-solving methods can improve knowledge engineering by allowing developers to design reasoners quickly from preexisting components. An important factor for successful method reuse is the specification of preexisting methods. The PROTEGE-II approach allows developers to select methods from a library, and to map methods to a domain ontology. KARL is a formal and executable knowledge-specification language that provides modeling primitives for expressing problem-solving methods. In this paper, we show how the code and informal descriptions of problem-solving methods in PROTEGE-II can be supplemented with the formal method definitions in KARL. For our case study, we have chosen two methods from the PROTEGE-II framework: chronological backtracking and its task specific refinement: the board-game method. Therefore, we give insights in the development of task-specific (i.e., strong) problem-solving methods starting with general-purpose methods. We also show how such a task-specific method can be adapted to a given domain. c method can be adapted to a given domain.
Address Stanford, CA, USA  +
Author Dieter Fensel and Henrik Eriksson and Mark A. Musen and Rudi Studer  +
Bibtype techreport  +
Has author Dieter Fensel and Henrik Eriksson and Mark A. Musen and Rudi Studer  +
Has identifier KSL-96-07  +
Has publishing details February,1996  +
Has title Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A  +
Has where published KSL-96-07  +
Has year 1996  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-96-07  +
Month February  +
Note Medical Computer Science
Number KSL-96-07  +
Process note NO  +
Title Conceptual and Formal Specifications of Reusable Problem-Solving Methods: A  +
Year 1996  +
Retrieved from "http://tw.rpi.edu/wiki/Conceptual_and_Formal_Specifications_of_Reusable_Problem-Solving_Methods:_A"
Personal tools