Sciweavers

Share
DLOG
2003

Applying Description Logic to Product Behavioral Design within Advanced CAD Systems

8 years 5 months ago
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.
François de Bertrand de Beuvron, Amadou Cou
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where DLOG
Authors François de Bertrand de Beuvron, Amadou Coulibaly
Comments (0)
books