A First-Order Cutting Process Ontology for Sheet Metal Parts

Authors:
Michael Grüninger;Arnaud Delaval
Affiliations:
Department of Mechanical and Industrial Engineering, University of Toronto, Toronto, Ontario, Canada M5S 3G8;IFMA Les Cezaux BP 265 63175 Clermont Ferrand, France
Venue:
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
Year:
2009

Citing 2
Cited 1

Semantic integration through invariants

AI Magazine - Special issue on semantic integration
Toward an automated approach to the design of sheet metal components

Artificial Intelligence for Engineering Design, Analysis and Manufacturing

Ontological modelling of form and function for architectural design

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper we present a cutting process ontology for 2D shapes such as sheet metal parts, axiomatized in first-order logic. This ontology is an extension of the ontology of ISO 18629 (Process Specification Language) and an earlier shape ontology first used to support object recognition. The full ontology consists of an axiomatization of all possible ways to change a surface as the result of a cutting process and a taxonomy of cutting processes. All component ontologies are verified using representation theorems.