|
Abstract
|
|
|---|---|
| Enabling Subject Matter Experts (SMEs) to formulate knowledge without the intervention of Knowledge Engineers (KEs) requires providing SMEs with methods and tools that abstract the underlying knowledge representation and allow them to focus on modeling activities. Bridging the gap between SME-authored models and their representation is challenging, especially in the case of complex knowledge types like processes, where aspects like frame management, data, and control flow need to be addressed. In this paper, we describe how SME-authored process models can be provided with an operational semantics and grounded in a knowledge representation language like F-logic in order to support process-related reasoning. The main results of this work include a formalism for process representation and a mechanism for automatically translating process diagrams into executable code following such formalism. From all the process models authored by SMEs during evaluation 82% were well-formed, all of which executed correctly. Additionally, the two optimizations applied to the code generation mechanism produced a performance improvement at reasoning time of 25% and 30% with respect to the base case, respectively. | |
|
International
|
Si |
|
JCR
|
Si |
|
Title
|
IEEE Transactions on Knowledge and Data Engineering |
|
ISBN
|
1041-4347 |
|
Impact factor JCR
|
1,657 |
|
Impact info
|
|
|
Volume
|
|
|
|
|
|
Journal number
|
|
|
From page
|
--- |
|
To page
|
--- |
|
Month
|
DICIEMBRE |
|
Ranking
|
No disponible aún: 35/111 (Q2) en Computer Science/Artificial Intelligence en 2011, 29/133 (Q1) en Computer Science / Information Systems en 2011 |