IST-2001-34825

SEWASIE general meetingSEWASIE general meeting

Aachen, March 14, 2005 Aachen, March 14, 2005

System Evolution ToolsSystem Evolution Tools

Maurizio Vincini and Enrico FranconiMaurizio Vincini and Enrico Franconi

2

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

IST-2001-34825

Ontology evolution: Ontology evolution: the mechanical ontology domainthe mechanical ontology domain

Maurizio VinciniMaurizio Vincini

3

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies The Ontology Builder (OB) prototype: The Ontology Builder (OB) prototype:

summarysummaryThe OB performs the integration of the schemas of a set of

heterogeneous data sources (i.e. relational, object, XML) in a semiautomatic way

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

4

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

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.

5

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

Automatic detection of IS-A Hierarchy

Select relevant Common Thesaurus relationships included in a cluster

6

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

Ontology EvolutionCase 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}

7

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

Ontology EvolutionCase 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

8

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

Overview of the demonstrationOverview of the demonstration

Goal:Goal:– Integration of a new SINode within the BBA Mechanical Integration of a new SINode within the BBA Mechanical

OntologyOntology

Starting point: Starting point: – BBA Mechanical OntologyBBA Mechanical Ontology– The annotated GVV of the new SINodeThe annotated GVV of the new SINode

Organization: Organization: – Step 1: Insert the new SI-NodeStep 1: Insert the new SI-Node– Step 2: Common Thesaurus generation (automatic)Step 2: Common Thesaurus generation (automatic)– Step 3: Global Virtual View and Mapping Table Step 3: Global Virtual View and Mapping Table generation generation

(automatic)(automatic)

9

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies BBA Mechanical Ontology (a portion of)BBA Mechanical Ontology (a portion of)

10

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies Ontology Evolution: insert a new node into the Ontology Evolution: insert a new node into the

Mechanical OntologyMechanical Ontology

The new SI-Node SN-NewThe new SI-Node SN-New

11

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

Ontology Evolution: automatic mappingOntology Evolution: automatic mapping

Automatic mapping: Automatic mapping: – SN-New.Enterprise is included into the BBA.Company Global ClassSN-New.Enterprise is included into the BBA.Company Global Class

12

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

Ontology Evolution: Automatic MappingOntology Evolution: Automatic Mapping

Automatic mapping: Automatic mapping: – SN-New.category_list is included into the BBA.List_of_Category SN-New.category_list is included into the BBA.List_of_Category

global Classglobal Class

13

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

Ontology Evolution: Automatic MappingOntology Evolution: Automatic Mapping

SN-New.Processes_plastic is included into the SN-New.Processes_plastic is included into the BBA.processes_plastic_and _rubber global ClassBBA.processes_plastic_and _rubber global Class

SN-New.Packaging give rise to a new Global ClassSN-New.Packaging give rise to a new Global Class

14

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies Ontology Evolution: detecting ISA Ontology Evolution: detecting ISA

relationshipsrelationships

ISA relationshipsISA relationships

BBA SN-New

15

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies Ontology Evolution: detecting ISA Ontology Evolution: detecting ISA

relationshipsrelationships

BBA SN-New

16

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies Ontology Evolution: the modified BBA Mechanical Ontology Evolution: the modified BBA Mechanical

OntologyOntology

17

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

The Ontology Design ToolThe Ontology Design Tool

It allows for the It allows for the creationcreation, the , the editingediting, the , the managingmanaging, and , and the the storingstoring of several of several ontologiesontologies, possibly , possibly interconnected by means of interconnected by means of inter-ontology mappingsinter-ontology mappings, , with a user friendly graphical interfacewith a user friendly graphical interface

It employs accepted standards for the ontology language It employs accepted standards for the ontology language ((OWLOWL, , DIG, UML/XMIDIG, UML/XMI))

It visually represents the ontology and the inter-ontology It visually represents the ontology and the inter-ontology mappings in a diagrammatic way - based on mappings in a diagrammatic way - based on UMLUML

An underlying An underlying ontology reasonerontology reasoner is employed by the tool is employed by the tool to verify the specification, infer implicit, new, or stricter to verify the specification, infer implicit, new, or stricter facts, and manifest any inconsistencies in the ontology facts, and manifest any inconsistencies in the ontology and mappings in the design and edit phasesand mappings in the design and edit phases

18

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

IST-2001-34825

Ontology design toolsOntology design tools

Enrico FranconiEnrico Franconi

19

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

The Ontology Design ToolThe Ontology Design Tool

It allows for the It allows for the creationcreation, the , the editingediting, the , the managingmanaging, and , and the the storingstoring of several of several ontologiesontologies, possibly , possibly interconnected by means of interconnected by means of inter-ontology mappingsinter-ontology mappings, , with a user friendly graphical interfacewith a user friendly graphical interface

It employs accepted standards for the ontology language It employs accepted standards for the ontology language ((OWLOWL, , DIG, UML/XMIDIG, UML/XMI))

It visually represents the ontology and the inter-ontology It visually represents the ontology and the inter-ontology mappings in a diagrammatic way - based on mappings in a diagrammatic way - based on UMLUML

An underlying An underlying ontology reasonerontology reasoner is employed by the tool is employed by the tool to verify the specification, infer implicit, new, or stricter to verify the specification, infer implicit, new, or stricter facts, and manifest any inconsistencies in the ontology facts, and manifest any inconsistencies in the ontology and mappings in the design and edit phasesand mappings in the design and edit phases

20

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

The BA Ontology Design MethodologyThe BA Ontology Design Methodology

Bootstrapped BA Ontology

ExternalOntology

BrokerDomain Ontology

BridgingOntology

UserOntology

21

SE

WA

SIE

– S

Em

anti

c W

ebs

and

Ag

entS

in In

teg

rate

d E

con

om

ies

WP6: The Ontology Design Tool summaryWP6: The Ontology Design Tool summary

Technical challengesTechnical challenges– A logic based frameworkA logic based framework– Reasoning supportReasoning support– Use of standards Use of standards

InnovationInnovation– A novel diagrammatic paradigmA novel diagrammatic paradigm– A design methodologyA design methodology– Multi-language supportMulti-language support– A focus based graphic paradigm for easier A focus based graphic paradigm for easier

navigationnavigation