Building a logical model in the machining domain for CAPP expert systems