Applying Description Logic to Product Behavioral Design within Advanced CAD Systems

In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design approach, the topological and geometrical model provided by traditional CAD-systems should be completed by semantic data. These additional descriptions and constraints are often expressed by feature structures, or by object-centered representations such as the EXPRESS language included in the STEP standard. Before using this EXPRESS Model for the Behavioral analysis, a coherence control is required. We propose to use DL as a formal tool in order to test this coherence. For this purpose, we first define a mapping from EXPRESS-G into the ALCNI description logic. An example is then given for product maintainability analysis.

• Type: Conference
• Year: 2003
• Where: DLOG
• Authors: François de Bertrand de Beuvron, Amadou Coulibaly
• Keywords: Automated Reasoning, Computer Aided Design, Description Logic, DLOG 2003, Product Behavioral Constraints