Applying Description Logic to Product Behavioral Design within Advanced CAD Systems (original) (raw)

Abstract

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 ad- ditional 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 flrst deflne a mapping from EXPRESS-G into the ALCNI description logic. An example is then given for product maintainability analysis.

Amadou Coulibaly hasn't uploaded this paper.

Let Amadou know you want this paper to be uploaded.

Ask for this paper to be uploaded.