Attributive concept descriptions with complements
Artificial Intelligence
Interoperability among CAD/CAM/CAE Systems: A Review of Current Research Trends
GMAI '06 Proceedings of the conference on Geometric Modeling and Imaging: New Trends
Overview of current CAT systems: Review Article
Integrated Computer-Aided Engineering
Standardized data exchange of CAD models with design intent
Computer-Aided Design
Reasoning with concrete domains
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Detecting design intent in approximate CAD models using symmetry
Computer-Aided Design
An ontology-based approach for Product Lifecycle Management
Computers in Industry
OntoSTEP: Enriching product model data using ontologies
Computer-Aided Design
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
DIMP: an interoperable solution for software integration and product data exchange
Enterprise Information Systems - Information Integration Infrastructures Supporting Multidisciplinary Design Optimisation
Automatically generating assembly tolerance types with an ontology-based approach
Computer-Aided Design
A method for computer-aided specification of geometric tolerances
Computer-Aided Design
Hi-index | 0.00 |
There is a critical requirement for semantic interoperability among heterogeneous computer-aided tolerancing (CAT) systems with the sustainable growing demand of collaborative product design. But current data exchange standard for exchanging tolerance information among these systems can only exchange syntaxes and cannot exchange semantics. Semantic interoperability among heterogeneous CAT systems is difficult to be implemented only with this standard. To address this problem, some meta-models of tolerance information supporting semantic interoperability and an interoperability platform based on these meta-models should be constructed and developed, respectively. This paper mainly focuses on the construction of a meta-model for assembly tolerance types with a description logic ALC(D) based approach. Description logics, a family of knowledge representation languages for authoring ontologies, are well-known for having rigorous logic-based semantics which supports semantic interoperability. ALC(D) can provide a formal method to describe the research objects and the relations among them. In this formal method, constraint relations among parts, assembly feature surfaces and geometrical features are defined with some ALC(D) assertional axioms, and the meta-model of assembly tolerance types is constructed through describing the spatial relations between geometrical features with some ALC(D) terminological axioms. Besides, ALC(D) can also provide a highly efficient reasoning algorithm to automatically detect the inconsistency of the knowledge base, a finite set of assertional and terminological axioms. With this reasoning algorithm, assembly tolerance types for each pair of geometrical features are generated automatically through detecting the inconsistencies of the knowledge base. An application example is provided to illustrate the process of generating assembly tolerance types.