The Unified Problem-Solving Method Development Language UPML

  title={The Unified Problem-Solving Method Development Language UPML},
  author={Dieter A. Fensel and Enrico Motta and F. V. Harmelen and Richard Benjamins and Monica Crub{\'e}zy and S. Decker and Mauro Gaspari and Rix Groenboom and William E. Grosso and Mark A. Musen and Enric Plaza and Guus Schreiber and Rudi Studer and Bob J. Wielinga},
  journal={Knowl. Inf. Syst.},
Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The Unified Problem-Solving Method Description Language (UPML) has been developed to describe and implement such architectures and components to facilitate their semi-automatic reuse and adaptation. In a nutshell, UPML is a framework for developing knowledge-intensive reasoning systems based on libraries of generic problem-solving components. The paper describes… 

The Unified Problem-Solving Method Development Language UPML

UPML is a framework for developing knowledge-intensive reasoning systems based on libraries ofg eneric problem-solving components and is developed as part of the IBROW project, which provides an Internet-based brokering service for reusing problem-Solving methods.

Ontologies in Support of Problem Solving

This chapter presents a methodology that strongly relies on ontologies: first, to describe domain knowledge bases and problem-solving methods as independent components that can be reused in different application systems; and second, to mediate knowledge between the two kinds of components when they are assembled in a specific system.

Extending the Unified Problem-solving Method Development Language

This paper starts from describing in UPML an application intended to solve nonlinear equation systems and identifies places where extensions in the language are of real help.

WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems

WebExplain is an extension to Unified Problem-Solving Method Description Language (UPML), a KBS development framework that is integrated with UPML generic components and can be easily reused during the development of other problem-solving methods and KBSs.

A Workflow Modeling Framework Enhanced with Problem-Solving Knowledge

A framework that extends the Unified Problem-solving Method description Language in order to enhance workflows modelling with knowledge and is built around the knowledge components that defines the structure and execution semantics of workflows.

A Framework for Unifying Problem-Solving Knowledge and Workflow Modeling

A new framework for workflows specification is outlined which extends the Unified Problem-solving Method description Language and approaches workflows design from a knowledge perspective, where the resources and the control flows that define the traditional workflow framework are defined as knowledge components and are enriched with a knowledge dimension that deals with the definition of the knowledge used to define and execute a workflow.

Generating Knowledge-Based System Generators: A Software Engineering Approach

  • S. Moisan
  • Computer Science
    Int. J. Intell. Inf. Technol.
  • 2010
This article proposes a software platform named Lama to design the different elements necessary to produce a knowledge-based system, and uses the platform to build several KBS generators for various tasks planning, classification, model calibration in different domains.

SEC: a search engine for component based software development

A search engine, called SEC for CBD, which uses the discovery ontology to automatically locates and presents a list of software components that could be used in the current development situation and is not only suitable to discover components, but also able to automatically classify the selected components using the subsumption notion.

Software-engineering challenges of building and deploying reusable problem solvers

It is concluded that many fundamental principles in PSM research are useful for building knowledge-based systems, and the task–method decomposition process, which provides a means for structuring knowledge- based tasks, is a powerful abstraction for building systems of analytic methods.

JColibri: An Object-Oriented Framework for Building CBR Systems

JColibri is a software artifact that promotes software reuse for building CBR systems, integrating the application of well proven Software Engineering techniques with a knowledge level description that separates the problem solving method from the domain model, that describes the domain knowledge.



The Unified Problem-Solving Method Development Language UPML

UPML is a framework for developing knowledge-intensive reasoning systems based on libraries ofg eneric problem-solving components and is developed as part of the IBROW project, which provides an Internet-based brokering service for reusing problem-Solving methods.

UPML: A Framework for Knowledge System Reuse

The paper describes the components, architectural constraints, development guidelines, and tools provided by UPML and focuses on the meta ontology that has been developed to formalize the architectural structure and elements of UPML.

The Component Model of UPML in a Nutshell

The components and connectors provided by UPML are sketched and it is shown how these components can be adapted for semiautomatic reuse and adaptation.

The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods

The paper provides the concept of an integrated library combining reusable problem definitions, problem-solving methods, and adapters and shows how the usability-reusability trade-off of task-specific versus task-independent problem-Solving methods can easily be overcome by the virtual existence of specific methods.

Specifying Knowledge-Based Systems with Reusable Components

An approach for the specification and verification of knowledge-based systems combining conceptual and formal techniques is introduced, which can decompose the overall verification task of the knowledge- based systems into different proof obligations.

Common KADS Library for Expertise Modelling

This book contains the most comprehensive collection available of modelling components for contructing `second generation' KBS, described and explained within a unifying framework and completed by typology of problems diagnosis, design and their interdependencies.

A software architecture for knowledge-based systems

A software architecture that can decompose the overall specification and verification task of the knowledge-based systems into subtasks and enable reuse of components and proofs, and can be built by combining and adapting different reusable components.

Task Modeling with Reusable Problem-Solving Methods

Structured Development of Problem Solving Methods

This paper presents a comprehensive and detailed framework for characterizing problem solving methods and their development process and suggests that PSM development consists of introducing assumptions and commitments along a three-dimensional space defined in terms of problem-solving strategy, task commitments, and domain (knowledge) assumptions.

Steps in Constructing Problem Solving Methods

The proposed Specification-Conceptualization-Operationalization method for PSMs provides top-down support for method construction, starting from an informal problem statement to an operational inference structure suitable for knowledge-based reasoning.