Acquisition and Understanding of Process Knowledge using Problem Solving Methods ( Studies on the Semantic Web )

Publication series :Studies on the Semantic Web

Author: Gómez-Pérez   J.M.;  

Publisher: Ios Press‎

Publication year: 2010

E-ISBN: 9781614993414

P-ISBN(Hardback):  9781607506003

Subject: TP182 expert system, knowledge engineering

Keyword: null 自动化技术、计算机技术Automation Technology , Computer Technology

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

The development of knowledge-based systems is usually approached through the combined skills of knowledge engineers (KEs) and subject matter experts (SMEs). One of the most critical steps in this activity aims at transferring knowledge from SMEs to formal, machine-readable representations, which allow systems to reason with such knowledge. However, this is a costly and error prone task. Alleviating the knowledge acquisition bottleneck requires enabling SMEs with the means to produce the desired knowledge representations without the help of KEs. This is especially difficult in the case of complex knowledge types, like processes. The analysis of different application domains uncovers that process knowledge is one of the most frequent knowledge types, whose complexity requires specific means to enable SMEs to represent processes in a computational form. Additionally, such complexity and the increasingly large amount of data that process executions generate in knowledge-intensive domains, like Biology or Astronomy, requires analytical means with high abstraction capabilities to support SMEs in the analysis of such processes. This book presents methods and tools that enable SMEs to acquire process knowledge from the domains, formally represent such knowledge, reason about it, and understand process executions by analyzing their provenance. We describe the utilization of Problem Solving Methods as the main knowledge artifacts for process acquisition and analysis in two innovative

Chapter

The Process Knowledge Lifecycle

Conclusions

Work Objectives

Goals and Open Research Problems

Contributions to the State of the Art

Work Assumptions, Hypotheses, and Restrictions

Acquisition of Process Knowledge by SMEs

Introduction

Knowledge Acquisition and Formulation by SMEs in the Halo Project

Knowledge Types in Scientific Disciplines

Domain Analysis

A Comprehensive Set of Knowledge Types in Scientific Disciplines

The Process Metamodel

Process Entities in the Process Metamodel

Problem Solving Methods for the Acquisition of Process Knowledge

A PSM Modelling Framework for Processes

A Method to Build a PSM Library of Process Knowledge

A PSM Library for the Acquisition of Process Knowledge

Enabling SMEs to Formulate Process Knowledge

The DarkMatter Process Editor

Related Work

Representing and Reasoning with SME-authored Process Knowledge

A Formalism for Representing and Reasoning with Process Knowledge

F-logic as Process Representation and Reasoning Language

The Process Frame

Code Generation for Process Knowledge

Synthesis of precedence rules for data flow management

Code Synthesis for Iterative Actions

Soundness and Completeness of Process Models

Optimization of the Synthesized Process Code

Reasoning with Process Models

Analysis of Process Executions by SMEs

Towards Knowledge Provenance in Process Analysis

Problem Solving Methods for the Analysis of Process Executions

A Knowledgeoriented Provenance Environment

An Algorithm for Process Analysis Using PSMs

Evaluation

Evaluation of the DarkMatter Process Component for Acquisition of Process Knowledge by SMEs

Evaluation Syllabus

Distribution of the Formulated Processes across the Evaluation Syllabus

Utilization of the PSM Library and Process Metamodel

Usage Experience of the SMEs with the Process Editor

Performance Evaluation of the Process Component

Evaluation of KOPE for the Analysis of Process Executions by SMEs

Evaluation Settings

Evaluation Metrics

Evaluation Results

Evaluation Conclusions

Conclusions and Future Research

Conclusions

Future Research Problems

REFERENCES

Appendix. Sample F-logic Code for a Process Model

The users who browse this book also browse


No browse record.