Method and system for automated detection of inconsistencies in a plant model

摘要

The invention describes a method for automated detection of inconsistencies in a plant model which is provided or expressed in a predetermined data format during a design and engineering phase, wherein the plant model consists of at least a number of plant components and the plant devices. The method comprises the steps of transforming the plant model from the predetermined data format into an ontology as a means of knowledge representation having a formal semantics (S4); and performing an automated reasoning and/or querying (S5) for validation (S6) based on the ontology as a transformation result by evaluating logic-based constraints using an inference mechanism.