1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 1(42)'2015
  5. Temporal integrity constraints verification technique over ontology versions archive

Temporal integrity constraints verification technique over ontology versions archive

N.G. Keberle
Annotations languages:

Controlled ontology change management process uses declarative means to express modification constraints and tools to verify such constraints. In the paper reported are the technique of temporal integrity constraints verification and the results of comparative experiments on ontology change process quality given the archive of industrial ontologies.
Keywords: dynamic domain knowledge model, domain ontology, ontology change management process, temporal integrity constraint, temporal integrity constraint verification