Full system modeling of Shop Floor System for STEP-NC

Size: px

Start display at page:

Download "Full system modeling of Shop Floor System for STEP-NC"

진실 군
8 years ago
Views:

1 Aug

2 2

3 3 CAx 10 (, RTI) STEP ( ),, CAD DB (semantic)

4 4 DEX (data exchange service) CATIA Pro/E SolidWorks Macro Parametrics UG

5 Implementation team CATIA Pro/E SolidWorks UG CATIA2 D.H. Mun 6 MA J.S.Yang AM 1 S.U.Chun MM 4 J.S. Park 4 MA Pro/E2 B.C. Kim 7 AM H.K. Kim 3 AM J.S. Hwang 1 AA SolidWorks2 H.M. Lee 5 MM Y.S.Kim 1 H.I. Mun 1 MK UG2 Y.S. Lee 3 AM H.K.Lee 1 J.H. Kim 2 AM 5

K. Kim 3 AM J.S. Hwang 1 AA SolidWorks2 H.M. Lee 5 MM Y.S.Kim 1 H.

6 6

7 7

8 8

9 Feature CAD System A DB Feature DB Web Service Virtual Integrated DB Web Service CAD System B Ontology-based system 9

10 10? Vocabulary + Structure = Taxonomy Taxonomy + Relationships, Rules, Constraints : C H C Taxonomy, 3 ontology O : = {C,R,H C,rel,A O } C : concept R : relation H C : concept hierarchy rel : function relation A O : axiom = Ontology class attribute class hierarchy class(r CxC) class,relation

concept R : relation H C : concept hierarchy rel : function relation A O

11 11 ad hoc Hierarchies (Yahoo!) Terms Thesauri Structured Glossaries XML DTDs XML Schema Formal Taxonomies Description Logics (DAML+OIL) Ordinary Glossaries Data Dictionaries (EDI) Principled, Informal Hierarchies DB Schema Data Models (UML, STEP) Frames (OKBC) General Logic Glossaries & Data Dictionaries Thesauri, Taxonomies MetaData, XML Schemas, & Data Models Formal Ontologies & Inference Modified from Mike Grunninger

(DAML+OIL) Ordinary Glossaries Data Dictionaries (EDI) Principled, Informal Hierarchies DB Schema Data

12 12 O := {C,R,HC,rel,A O } O: (emp) Shared Ontology bridging bridging Ontology A Application A Ontology B Application B O A := {C A,R A,HC A,rel A,A AO } O B := {C B,R B,HC B,rel B,A BO } O A : O B :

13 Taxonomy CAM-I (1985) Rotational Part Feature Taxonomy (1991) (2002) ToVE (Toronto Virtual Enterprise) Project (1998) 13

14 CAM-I: Taxonomy NONROTATIONAL FEATURE DEPRESSION PROTRUSIONS SURFACES EXTERNAL INTERNAL SPECIAL FUNCTIONS INTERNAL EXTERNAL SPECIAL FUNCTIONS SURFACES THROUGH NON-THROUGH CORNER ACCESS ONLY NOT CORNER ACCESS ONLY NOT CORNER CORNER ACCESS ACCESS ONLY ONLY SYMMETRIC AXIS NONSYMMETRIC AXIS NONSYMMETRIC AXIS SYMMETRIC AXIS SURFACES EXTERNAL SLOT CORNER NOTCH NONSYMMETRIC BOSS THROUGH NON-THROUGH SYMMETRIC BOSS NONCIRCULAR CIRCULAR CIRCULAR NONCIRCULAR NONSYMMETRIC AXIS SYMMETRIC AXIS ROUND HOLE ROUND HOLE SYMMETRIC AXIS NONSYMMETRIC AXIS NONPARALLEL SIDES NONSYMMETRIC HOLE PARALLEL SIDES EXTERNAL SLOT SYMMETRIC HOLE SYMMETRIC POCKET PARALLEL SIDES INTERNAL SLOT NONPARALLEL SIDES NONSYMMETRIC POCKET J. J. Shah, M. M ntyl (1995) Partial view of the CAM-I,John Deere Feature taxonomy 14

NON-THROUGH SYMMETRIC BOSS NONCIRCULAR CIRCULAR CIRCULAR NONCIRCULAR NONSYMMETRIC AXIS SYMMETRIC AXIS ROUND HOLE ROUND HOLE SYMMETRIC AXIS NONSYMMETRIC AXIS NONPARALLEL SIDES NONSYMMETRIC HOLE

15 15 Rotational Part Feature: : Taxonomy PDES implicit_feature implicit_passage axisymmetric_feature_sweep constant_diameter_axisymmetric_feature_sweep tapered_axisymmetric_feature_sweep implicit_depression implicit_transition along_feature_sweep implicit_edge_blend implicit_area_feature round_u_feature_sweep vee_feature_sweep square_u_feature_sweep other_open_feature_sweep axisymmetric_sweep constant_diameter_axisymmetric_feature_sweep tapered_axisymmetric_feature_sweep implicit_edge_flat implicit_edge_round implicit_knurl implicit_diagonal_knurl implicit_diamond_knurl implicit_straight_knurl implicit_marking implicit_coupling implicit_thread PDES-based feature taxonomy for rotational parts

vee_feature_sweep square_u_feature_sweep other_open_feature_sweep axisymmetric_sweep constant_diameter_axisymmetric_feature_sweep tapered_axisymmetric_feature_sweep

16 16 :

17 ToVE : Part has_parameter has_feature Feature owned_by Agent Parameter has_parameter Parameter has_domain constrained_by Domain CONSTRAINT ToVE Project Feature Ontology (Toronto Virtual Enterprise) 17

has_domain constrained_by Domain CONSTRAINT ToVE

18 Layered Ontology: Generality foundational ontology domain ontology task ontology AP224, P42 application ontology macro parametric, ISO14649 RDL Inheritance 18

19 19 Taxonomy of Foundational Ontology (KAIST) feature geometric feature form feature solid feature non-geometric feature functional feature material feature surface feature sketch feature constraint feature tolerance feature assembly feature

feature functional feature material feature surface feature

20 Taxonomy of Domain Ontology solid_feature prismatic_feature rotational_feature auxiliary_feature sheet_feature prismatic_primitive_feature block pocket slot step pad rib shell prismatic_volumetric_feature extruded_feature swept_feature rotational_primitive_feature hole round_hole countersunk_hole counterbore_hole cylinder rotational_volumetric_feature revolved_feature rotational_area_feature thread transition_feature chamfer fillet constant_fillet variable_fillet replicate_feature rectangular_pattern circular_pattern compound_feature 20 lofted_feature knurl

round_hole countersunk_hole counterbore_hole cylinder rotational_volumetric_feature revolved_feature rotational_area_feature thread

21 21 Taxonomy of Application Ontology solid_feature prismatic_feature rotational_feature auxiliary_feature sheet_feature prismatic_primitive_feature rotational_primitive_feature operation_feature prismatic_volumetric_feature prismatic_protrusion_feature extruded_feature swept_feature lofted_feature prismatic_depression_feature extruded_feature swept_feature lofted_feature rotational_volumetric_feature rotational_protrusion_feature revolved_feature rotational_depression_feature revolved_feature rotational_area_feature select_operation boolean_operation transform_operation modify_operation delete_operation

22 Relationship, Rule, Constraint // CONCEPTS solid_feature::default_root_concept. rotational_feature::solid_feature. rotational_primitive_feature::rotational_feature. hole::rotational_primitive_feature. round_hole::hole. // LOCAL RELATIONS round_hole [cs=>coord_sys; center=>position; depth=>double; bottom_angle=>double; head_angle=>double; bottom_type=>integer ]. // AXIOMS rule _1: FORALL X,Y,W (X[W=>Y] AND Y[x=>DOUBLE;y=>DOUBLE;z=>DOUBLE] ) <-> (X[x=>DOUBLE;y=>DOUBLE;z=>DOUBLE]). rule _2: FORALL X,Y (X[cs=>Y] AND Y[origin=>position;dx=>direction;dy=>direction;dz=>direction] ) <-> (X[origin=>position;dx=>direction;dy=>direction;dz=>direction]). F-Logic format 22

23 23 F-Logic First order predicate logic??? RDFS, DAML+OIL (OWL) Axiom Query relationship, rule, constraint, ontology F-Logic

24 24 - Architecture Ontology Based System Architecture Application Integrated Virtual DB Interface Integrated Virtual DB Ontology DB Interface Ontology DB Ontology

25 25 Semantic Query Hole FORALL X,Y,Z <- X:(Y[center=>W]). CATIA Hole S/W Hole Pocket FORALL X,Y,Z <- X:(Y[W=>profile]). CATIA Pocket S/W Pocket

26 26 Query, Query, CAD (hole, pocket), instance flow

27 Functional Model Mapping btn SM and FO SM: solid modeling, F: feature ontology Feature Ontology Translate to the FO-based macro FO-based Macro Search and edit features by Semantics Engineer FO-based Macro System Translate to the macro file of the target system CAD Preprocessor Main module Postprocessor 27

28 KAIST CATIA script CATIA Ontology CATIA script instance A CATIA Ontology instance CATIA script instance Feature Ontology SolidWorks script SolidWorks Ontology SolidWorks Ontology instance A SolidWorks script instance OntoSmart/Query OntoSmart/Editor SolidWorks script instance A: OntoSmart/Translator 28

29 OntoEdit TM Overview[1] Modeling and administration framework for Ontology and ontology-based solutions Heterogeneous structures, patterns and models Ontology engineering environment Relies on W3C standards Interfaces to all major ontology representation languages Creating, browsing and modifying ontologies Based on a plug-in framework Simply W3C standards A conceptual model Create/Manage an ontology model An ontology model OntoEdit TM 29

30 - OntoSmart/Translator CATIA part CATIA script CATIA Ontology instance (F-Logic format) OntoSmart/Translator 30 SolidWorks part SolidWorks script SolidWorks Ontology instance (F-Logic format)

31 - OntoSmart/Query Feature Ontology SolidWorks Ontology CATIA Ontology Searched Feature SolidWorks Ontology instance OntoSmart/Query CATIA Ontology instance 31 OntoBroker TM

32 - OntoSmart/Editor: Feature CATIA part CATIA part CATIA script CATIA script Searched Feature OntoSmart/Editor SolidWorks part SolidWorks part SolidWorks script SolidWorks script 32

33 Web Service CATIA script CATIA Ontology CATIA script instance CATIA Ontology instance CATIA script instance Feature Ontology SolidWorks script SolidWorks Ontology SolidWorks Ontology instance SolidWorks script instance OntoSmart/Query OntoSmart/Editor SolidWorks script instance Front-end Web Server Back-end Web Server 33

34 34 CAD CATIA, S/W,, (shared ontology)

35 OntoEdit TM Overview[1] Modeling and administration framework for Ontology and ontology-based solutions Heterogeneous structures, patterns and models Ontology engineering environment Relies on W3C standards Interfaces to all major ontology representation languages Creating, browsing and modifying ontologies Based on a plug-in framework Simply W3C standards A conceptual model Create/Manage an ontology model An ontology model OntoEdit TM 35

36 36 OntoEdit TM Ontology development[2] Ontology development 3 phases Requirement specification, Refinement, Evaluation Requirement Specification Describe what an ontology support Domain expert + modeling expert Decide about concepts and hierarchical structure Refinement Application-oriented ontology Develop concept hierarchy, relations and axioms Transform a conceptual representation to a ontology representation language Evaluation Evaluate the validity of relations and axioms Debug errors via visualization of inferencing

37 37 OntoEdit TM Plug-ins[3] Standard plug-ins Concepts & relations Instances Relation axioms Disjoint concepts Identification Metadata Advanced plug-ins Visualizer Query tool Domain lexicon OntoMap General axioms Rule editor Inferencing : concept, relation : instance : axiom : constraints : meta information : developer, documentation : graph : query : concept : ontology mapping : axiom axiom : rule : ontology axiom test

38 38 OntoEdit TM Screen shots[4] Concepts & Relations General axioms Visualizer OntoMap

39 OntoBroker TM Overview Ontology-based inference engine Middleware run-time system which Provides homogenous access to an inhomogeneous set of data Provides compliers for various ontology description languages like RDFS, OXML, F-logic, Prolog Normally operates as the ontology server for the ontologybased application Query example Query: FORALL X, Y X:Person[name Y]. sorted by Y : name person 39

untitled

untitled : 2009 00 00 : IMS - 1.0 : IPR. IMS,.,. IMS IMS IMS 1). Copyright IMS Global Learning Consortium 2007. All Rights Reserved., IMS Korea ( ). IMS,. IMS,., IMS IMS., IMS.,., 3. Copyright 2007 by IMS Global