Logical Connectives for a CAD Query Language: Algorithms and Verification

Design engineers create models of design artifacts with commercial Computer Aided Design (CAD) solid modeling systems. These systems stop short of providing support for querying and retrieving data from within the CAD data files. The design exemplar has been proposed as an approach to developing a CAD query language based upon an analysis of the design exemplar components, vocabulary, and extensions to support logical connectives. The implementation of the required extensions is offered in this paper. Algorithms are developed to implement the NOT and OR logical connectives. These algorithms are discussed as they relate to the generic exemplar algorithm. The verification of the algorithms is performed using test cases and comparing the expected results with those found using the software. The design exemplar, supported with the AND, NOT, and OR logical connectives, provides for complex and precise query expression and geometric information retrieval.