Aug. 22. 2003 shhan@kaist.ac.kr
2
3 CAx 10 (, RTI) STEP ( ),, CAD DB (semantic)
4 DEX (data exchange service) CATIA Pro/E SolidWorks Macro Parametrics UG
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
6
7
8
Feature CAD System A DB Feature DB Web Service Virtual Integrated DB Web Service CAD System B Ontology-based system 9
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
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
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 :
Taxonomy CAM-I (1985) Rotational Part Feature Taxonomy (1991) (2002) ToVE (Toronto Virtual Enterprise) Project (1998) 13
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
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
16 :
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
Layered Ontology: Generality foundational ontology domain ontology task ontology AP224, P42 application ontology macro parametric, ISO14649 RDL Inheritance 18
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
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
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
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 F-Logic First order predicate logic??? RDFS, DAML+OIL (OWL) Axiom Query relationship, rule, constraint, ontology F-Logic
24 - Architecture Ontology Based System Architecture Application Integrated Virtual DB Interface Integrated Virtual DB Ontology DB Interface Ontology DB Ontology
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 Query, Query, CAD (hole, pocket), instance flow
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
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
OntoEdit TM Overview[1] www.ontoprise.com 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
- 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)
- OntoSmart/Query Feature Ontology SolidWorks Ontology CATIA Ontology Searched Feature SolidWorks Ontology instance OntoSmart/Query CATIA Ontology instance 31 OntoBroker TM
- OntoSmart/Editor: Feature CATIA part CATIA part CATIA script CATIA script Searched Feature OntoSmart/Editor SolidWorks part SolidWorks part SolidWorks script SolidWorks script 32
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 CAD CATIA, S/W,, (shared ontology)
OntoEdit TM Overview[1] www.ontoprise.com 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 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 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 OntoEdit TM Screen shots[4] Concepts & Relations General axioms Visualizer OntoMap
OntoBroker TM Overview www.ontoprise.com 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