Ontology Reasoning for Process Models

  • Yuan Ren
  • Gerd Gröner
  • Tirdad Rahmani
  • Jens Lemcke
  • Andreas Friesen
  • Srdjan Zivkovic
  • Yuting Zhao
  • Jeff Z. Pan
Chapter

Abstract

Processes in software development generally have two facets. They can be model objects, as described in Sect. 4.2, and also workflows, as described in Sect. 4.3. In this chapter, we analyse typical problems in process modelling and develop ontology reasoning technologies to address them in the ODSD infrastructure. We show how different ontological representation of process models can be constructed for different purposes and how reasoning can be applied to guarantee the consistency of models.

Keywords

Domain Ontology Task Type Abstract Process Parallel Branch Reasoning Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 82.
    G. Groener, S. Staab, Modeling and query pattern for process retrieval in OWL. in Proceedings of 8th International Semantic Web Conference (ISWC). Lecture Notes in Computer Science, vol. 5823 (Springer, Berlin, 2009), pp. 243–259Google Scholar
  2. 97.
    M. Horridge, N. Drummond, J. Goodwin, A.L. Rector, R. Stevens, H. Wang, The manchester owl syntax. in OWLED, ed. by B.C. Grau, P. Hitzler, C. Shankey, E. Wallace, B.C. Grau, P. Hitzler, C. Shankey, E. Wallace. CEUR Workshop Proceedings, vol. 216. CEUR-WS.org, 2006Google Scholar
  3. 121.
    M. Krötzsch, S. Rudolph, P. Hitzler, Conjunctive queries for a tractable fragment of owl 1.1, in ISWC/ASWC, 2007, pp. 310–323Google Scholar
  4. 172.
    Y. Ren, J.Z. Pan, Y. Zhao, Soundness preserving approximation for TBox reasoning, in Proceedings of the 25th AAAI Conference Conference (AAAI2010), 2010Google Scholar
  5. 175.
    Y. Ren, G. Gröner, J. Lemcke, T. Rahmani, A. Friesen, Y. Zhao, J.Z. Pan, S. Staab, Validating process refinement with ontologies, in Description Logics, ed. by B.C. Grau, I. Horrocks, B. Motik, U. Sattler. CEUR Workshop Proceedings, vol. 477. CEUR-WS.org, 2009Google Scholar
  6. 176.
    Y. Ren, G. Gröner, J. Lemcke, T. Rahmani, A. Friesen, Y. Zhao, J.Z. Pan, S. Staab, Process refinement validation and explanation with ontology reasoning. Technical report, University of Aberdeen, University of Koblenz-Landau and AP AG, 2011. http://www.abdn.ac.uk/~csc280/pub/ProcessRefinement.pdf
  7. 222.
    G.M. Wyner, J. Lee, Defining specialization for process models, in Organizing Business Knowledge: The MIT Process Handbook, chapter 5 (MIT, Cambridge, 2003), pp. 131–174Google Scholar
  8. 225.
    Y. Zhao, J.Z. Pan, Y. Ren, Implementing and evaluating a rule-based approach to querying regular el+ ontologies, in Proceedings of the International Conference on Hybrid Intelligent Systems (HIS2009), 2009Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Yuan Ren
    • 1
  • Gerd Gröner
    • 2
  • Tirdad Rahmani
    • 3
  • Jens Lemcke
    • 3
  • Andreas Friesen
    • 3
  • Srdjan Zivkovic
    • 4
  • Yuting Zhao
    • 1
  • Jeff Z. Pan
    • 1
  1. 1.University of Aberdeen, King’s CollegeAberdeenUK
  2. 2.University of Koblenz-LandauKoblenzGermany
  3. 3.SAP ResearchKarlsruheGermany
  4. 4.BOC Information Systems GmbHViennaAustria

Personalised recommendations