Keberle N. Computational methods of temporal integrity constraints verification in ontology change process.

The thesis is dedicated to the improvement of the ontology change management process by means of the formal verification of temporal integrity constraints in terms of proposed metric temporal logic approach, aiming at ontology development efficiency increase. Temporal integrity constraints elicited from a dynamic domain and formalized with the help of temporal logics allow controlling the process of ontology change. Formally defined, such constraints have to be checked formally and automatically, avoiding mistakes of manual inspection. Software prototype supporting the verification process of a set of temporal integrity constraints over ontology versions archive is designed.