Ontology reasoning for consistency-preserving structural modelling

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.