摘要: The thesis investigates two domains, initially the kite domain and then part of a more demanding Rolls-Royce (jet engine design). Four main types refinement rules that use associated application conditions ontology to support maintenance constraints are proposed. have been implemented in ConEditor extended system is known as ConEditor+. With help ConEditor+, demonstrates an explicit representation together with corresponding can be used detect inconsistencies, redundancy, subsumption fusion, reduce number spurious inconsistencies prevent identification inappropriate refinements fusion between pairs constraints.