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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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–259
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, 2006
M. Krötzsch, S. Rudolph, P. Hitzler, Conjunctive queries for a tractable fragment of owl 1.1, in ISWC/ASWC, 2007, pp. 310–323
Y. Ren, J.Z. Pan, Y. Zhao, Soundness preserving approximation for TBox reasoning, in Proceedings of the 25th AAAI Conference Conference (AAAI2010), 2010
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, 2009
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
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–174
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), 2009
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ren, Y. et al. (2013). Ontology Reasoning for Process Models. In: Pan, J., Staab, S., Aßmann, U., Ebert, J., Zhao, Y. (eds) Ontology-Driven Software Development. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31226-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-31226-7_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31225-0
Online ISBN: 978-3-642-31226-7
eBook Packages: Computer ScienceComputer Science (R0)