An ontology-based automatic reasonableness checking method for benchmark system

Abstract

The invention belongs to the technical field of computer-aided tolerance design (CAT), in particular to a method for automatically verifying the rationality of a reference system based on ontology rule description, comprising the following steps: (1) constructing a rationality ontology of the reference system; (2) establishing SWRL reasoning rules; (3) extracting relevant tolerance information; (4) extracting the degree of freedom information of geometrical elements; (5) Constructing the axiom set of assertion to test the rationality of the benchmark system; (6) Reasoning determines the rationality of the benchmark system, and outputs the reasoning information of the rationality test. The invention adopts OWL language to describe reasoning information, SWRL language describes inference rules, the rationality of the benchmark system is checked automatically by using the powerful expression and reasoning ability of ontology, It has the advantages of simplicity, high efficiency and intelligence. It meets the requirements of effective sharing and smooth transmission of tolerance information between heterogeneous CAX systems, conforms to the top-down thinking habits of designers, has astrong applicability, and ensures the compatibility with computers.

Description

technical field [0001] The invention belongs to the technical field of computer-aided tolerance design (CAT), and in particular relates to a method for automatically checking the rationality of a reference system based on ontology rule description. Background technique [0002] A datum is a geometric ideal element used to establish the geometric positional relationship of the measured elements, and a datum system is a datum combination composed of two or three independent datums. The reference system plays a very important role in the assembly of parts and the measurement of the actual part surface. In the existing computer-aided tolerance design, the labeling of geometric tolerances depends to a certain extent on the establishment of the datum system, but since there is a certain datum sequence among the datums in the datum system, and the datum system needs to be followed in the process of selecting datums The principle of establishing the benchmark system makes the estab...

AI Technical Summary

Problems solved by technology

In the existing computer-aided tolerance design, the labeling of geometric tolerances depends to a certain extent on the establishment of the datum system, but since there is a certain datum sequence among the datums in the datum system, and the datum system needs to be followed in the process of selecting datums The principle of establishing the benchmark system makes the establishment process of the benchmark system relatively complicated, and it is prone to irregular benchmark sequence and redundant benchmarks

Images