A formalism and method for representing and reasoning with process models authored by subject matter experts

Gómez-Pérez, José Manuel; Erdmann, M.; Greaves, M. y Corcho, Oscar (2013). A formalism and method for representing and reasoning with process models authored by subject matter experts. "IEEE Transactions on Knowledge And Data Engineering", v. 25 (n. 9); pp. 1933-1945. ISSN 1041-4347. https://doi.org/10.1109/TKDE.2012.127.

Descripción

Título: A formalism and method for representing and reasoning with process models authored by subject matter experts
Autor/es:
  • Gómez-Pérez, José Manuel
  • Erdmann, M.
  • Greaves, M.
  • Corcho, Oscar
Tipo de Documento: Artículo
Título de Revista/Publicación: IEEE Transactions on Knowledge And Data Engineering
Fecha: Septiembre 2013
Volumen: 25
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB)

Resumen

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.

Más información

ID de Registro: 26710
Identificador DC: http://oa.upm.es/26710/
Identificador OAI: oai:oa.upm.es:26710
Identificador DOI: 10.1109/TKDE.2012.127
URL Oficial: http://ieeexplore.ieee.org/document/6226402/
Depositado por: Memoria Investigacion
Depositado el: 06 Jun 2014 13:10
Ultima Modificación: 18 Ene 2017 09:18
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM