Abstract
In this chapter, we discuss and demonstrate concrete applications of ontology reasoning for the analysis and validation of structural models in the ODSD infrastructure. We illustrate how the ontology services (see Chaps. 3 and 5 for details) summarised in Chap. 8 are employed to enable consistency-preserving structural modelling by providing means for the specification of consistency constraints, static semantics, or the derivation of suggestions for modellers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Available at http://trowl.eu/
- 2.
- 3.
The integrated PDDSL-OWL2 textual concrete syntax is used to present the results. Hence, the result is linguistic instances of the integrated PDDSL-OWL2 metamodel.
References
D. Batory, Feature models, grammars, and propositional formulas. Software Product Lines, 2005, pp. 7–20
C.V. Damásio, A. Analyti, G. Antoniou, G. Wagner, Supporting open and closed world reasoning on the web. in Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning, Budva, Montenegro (10–11 June 2006), Lecture Notes in Computer Science REWERSE, 2006, pp. 149–163
D. Firesmith, Are your requirements complete? J. Object Tech. 4(1), 27–44 (2005)
P. Haase, G. Qi, An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies, in Proceedings of International Workshop on Ontology Dynamics (IWOD’07), Innsbruck, Austria, 2007
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
OMG. MOF QVT Final Adopted Specification, Object Management Group, 2005. http://www.omg.org/docs/ptc/05-11-01.pdf
F.S. Parreiras, S. Staab, Using ontologies with uml class-based modeling: The twouse approach. Data Knowl. Eng. 69(11), 1194–1207 (2010)
Y. Ren, Syntactic approximation in PDDSL: A completeness guarantee. Technical report, University of Aberdeen, 2010. Http://www.abdn.ac.uk/~csc280/TR/pddsl.pdf
E. Sirin, J. Tao, Towards integrity constraints in OWL, in OWL: Experiences and Directions, Sixth International Workshop (OWLED 2009), 2009
A. Van Lamsweerde, R. Darimont, E. Letier, Managing conflicts in goal-driven requirements engineering. IEEE Trans. Software Eng. 24(11), 908–926 (1998). ISSN 0098-5589
H. Wang, Y. Li, J. Sun, H. Zhang, J. Pan, A semantic web approach to feature modeling and verification, in 1st Workshop on Semantic Web Enabled Software Engineering (SWESE’05), 2005
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
Wende, C. et al. (2013). Ontology Reasoning for Consistency-Preserving Structural Modelling. 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_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-31226-7_9
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)