2. IST-2001-34825 SEWASIE general meeting Aachen, March 14, 2005 System Evolution Tools Maurizio Vincini and Enrico Franconi

3. 2 SEWASIE – SEmantic Webs and AgentS in Integrated Economies IST-2001-34825 Ontology evolution: the mechanical ontology domain Maurizio Vincini

4. 3 SEWASIE – SEmantic Webs and AgentS in Integrated Economies The Ontology Builder (OB) prototype: summary n The OB performs the integration of the schemas of a set of heterogeneous data sources (i.e. relational, object, XML) in a semiautomatic way n The OB creates a ODLI3 Global Virtual View (GVV) by means of several steps: 1. Annotation of local sources: for each element (class/table/attribute) the integration designer choose on/more WordNet meaning(s) 2. Common Thesaurus (CT) generation intra schema-derived relationships (automatic) lexicon-derived relationships (by using WordNet classification, automatically proposed) inferred relationships (by ODB-Tool, a tool based on Description Logics techniques) 3. Automatic generation of clusters of similar classes (Global Classes) by evaluating the Common Thesaurus relationships 4. Mapping tables generation among each cluster and the local classes in the cluster

5. 4 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Builder: new features Automatic detection of IS-A hierarchies – –Use of the Common Thesaurus relations to infer the IS-A relationships within a cluster Ontology evolution (GVV): Insertion of a new source – –Integration from scratch: the OB integration process is started; in this case we can exploit the Common Thesaurus produced by a previous integration process. – –Integration with the GVV: the process automatically exploits the GVV (semantically enriched by means of annotation) and the Common Thesaurus.

6. 5 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Automatic detection of IS-A Hierarchy Select relevant Common Thesaurus relationships included in a cluster

7. 6 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution Case 1 – –A new global class gcNew is composed of only one old global class (gcOld) and one or more new local classes (lcNewi): gcNew = {gcOld,lcNew1,…lcNewi,… lcNewn}

8. 7 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution Case 2 – –A global class of the new integrated schema is composed of only new local classes. gcNew = {lcNew1,…lcNewi,…lcNewn} – –The IS-A relationships with old and new Global classed are derived

9. 8 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Overview of the demonstration Goal: –Integration of a new SINode within the BBA Mechanical Ontology Starting point: –BBA Mechanical Ontology –The annotated GVV of the new SINode Organization: –Step 1: Insert the new SI-Node –Step 2: Common Thesaurus generation (automatic) –Step 3: Global Virtual View and Mapping Table generation (automatic)

10. 9 SEWASIE – SEmantic Webs and AgentS in Integrated Economies BBA Mechanical Ontology (a portion of)

11. 10 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution: insert a new node into the Mechanical Ontology The new SI-Node SN-New

12. 11 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution: automatic mapping Automatic mapping: –SN-New.Enterprise is included into the BBA.Company Global Class

13. 12 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution: Automatic Mapping Automatic mapping: –SN-New.category_list is included into the BBA.List_of_Category global Class

14. 13 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution: Automatic Mapping SN-New.Processes_plastic is included into the BBA.processes_plastic_and _rubber global Class SN-New.Packaging give rise to a new Global Class

15. 14 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution: detecting ISA relationships ISA relationships BBA SN-New

16. 15 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution: detecting ISA relationships BBA SN-New

17. 16 SEWASIE – SEmantic Webs and AgentS in Integrated Economies Ontology Evolution: the modified BBA Mechanical Ontology

18. 17 SEWASIE – SEmantic Webs and AgentS in Integrated Economies The Ontology Design Tool It allows for the creation, the editing, the managing, and the storing of several ontologies, possibly interconnected by means of inter-ontology mappings, with a user friendly graphical interface It employs accepted standards for the ontology language (OWL, DIG, UML/XMI) It visually represents the ontology and the inter-ontology mappings in a diagrammatic way - based on UML An underlying ontology reasoner is employed by the tool to verify the specification, infer implicit, new, or stricter facts, and manifest any inconsistencies in the ontology and mappings in the design and edit phases

19. 18 SEWASIE – SEmantic Webs and AgentS in Integrated Economies IST-2001-34825 Ontology design tools Enrico Franconi

20. 19 SEWASIE – SEmantic Webs and AgentS in Integrated Economies The Ontology Design Tool It allows for the creation, the editing, the managing, and the storing of several ontologies, possibly interconnected by means of inter-ontology mappings, with a user friendly graphical interface It employs accepted standards for the ontology language (OWL, DIG, UML/XMI) It visually represents the ontology and the inter-ontology mappings in a diagrammatic way - based on UML An underlying ontology reasoner is employed by the tool to verify the specification, infer implicit, new, or stricter facts, and manifest any inconsistencies in the ontology and mappings in the design and edit phases

21. 20 SEWASIE – SEmantic Webs and AgentS in Integrated Economies The BA Ontology Design Methodology Bootstrapped BA Ontology External Ontology Broker Domain Ontology Bridging Ontology User Ontology

22. 21 SEWASIE – SEmantic Webs and AgentS in Integrated Economies WP6: The Ontology Design Tool summary Technical challenges –A logic based framework –Reasoning support –Use of standards Innovation –A novel diagrammatic paradigm –A design methodology –Multi-language support –A focus based graphic paradigm for easier navigation