Ontology-based validation of plant models

Improving efficiency in the plant construction process and providing valid resulting plant models requires a technology that validates planning and data exchange formats for plant engineering, such as CAEX (Computer Aided Engineering Exchange). Semantic Web technologies support validation mechanisms for querying and reasoning over domain models expressed in form of ontologies. In this paper, we present an approach to the automated validation of CAEX plant models by their transformation to ontologies and subsequent application of Semantic Web reasoning for validation purposes.