1 mfi-3 ontology evolution metamodel he keqing,he yangfan 2007,6

1

MFI-3 Ontology Evolution MFI-3 Ontology Evolution MetamodelMetamodel

HE Keqing ,HE Yangfan2007,6

2

ISO/IEC 19763-3 ISO/IEC 19763-3 MFI Ontology RegistrationMFI Ontology Registration

China He Keqing (Project editor, SKLSE, Wuhan Univ.) He Yangfan (SKLSE, Wuhan Univ.) Wang Chong (SKLSE, Wuhan Univ.) Wang Jian(SKLSE, Wuhan Univ.)

Japan Hajime Horiuchi (Tokyo International Univ.) Masao Okabe (Project editor, TEPCO) Masaharu Obayashi (K-three)

Korea Doo-Kwon Baik (Korea Univ.) Sam Oh (Sungkyunkwan Univ.)

3

ContentContent

Background MFI-3

Basic Idea Key concepts and Draft metamodel

4

What is OntologyWhat is Ontology

In computer science,ontology A kind of metamodel Explicitly express the implication of concepts Basis for the communication, knowledge sharing & exchan

ge and interoperation between People People and information system Information systems

5

An OntologyAn Ontology

Transitive Transitive AttributesAttributes

Inverse Inverse AttributesAttributes

Relationship between conceptsRelationship between concepts

Link between individualsLink between individuals

instanceOfinstanceOf

6

Semantic InteroperationSemantic Interoperation

semantic web service Semantic tagging tech

Make domain assumptions explicit

A community reference for applications

Ontology Management

Ontology Registration

Ontology Evolution

…

7

MFI-3 Ontology Registration MFI-3 Ontology Registration

8

Ontology EvolutionOntology Evolution

Reasons Application domains and user‘s needs are

changing System can be improved …

Ontology evolution is the timely adaptation of an ontology and the consistent propagation of the changes to dependent artifacts .

9

ContentContent

Background MFI-3

Basic Idea Key concepts and Draft metamodel

10

Scope of MFI Ontology EvolutionScope of MFI Ontology Evolution

11

Key Problems Key Problems

How to registrate ontologies? What kind of change can be identified and

described by MFI-3? How to realign the dependent ontologies

during the evolution process? How to keep the evolution information

about ontologies

12

Our Solution (1/2)Our Solution (1/2)

How to registrate ontologies? What kind of change can be identified and

described by MFI-3? How to realign the dependent ontologies

during the evolution process?

How to keep the evolution information about ontologies

Kernel Model

Change Model

Constraint Model

Change Propagation Model

Evolution Information Model

13

Our Solution (2/2)Our Solution (2/2)

14

Change ModelChange ModelChange ModelChange Model

15

Requirements for ontology evolutionRequirements for ontology evolution

Domain experts

We need add class A, remove

individual i…

Information system engineer

We need keep class B,

individual i…

Possible conflict !

Ontology engineer

We need some measures to resolve the conflicts

ontology

Change Closure

Consistency ClosureEvolution Strategy

Final Change Set

Constraint Model (1/9)Constraint Model (1/9)

16

Basic resolution provided by MFI-3Basic resolution provided by MFI-3

Requirements about changes Usually proposed by domain experts IncompleteChange Closure

Requirements about consistency Usually proposed by information system* engineer IncompleteConsistency Closure

Possible conflict between various requirements Evolution Strategy

*Ontology based information systems

Constraint Model (2/9)Constraint Model (2/9)

17

How to get ConstraintsHow to get Constraints

Ontology Metamodel Consistency_Constraint

designating the dependency between Ontology_Atomic_Constructs

Change_Constraint designating the dependency between Changes

Constraint Model (3/9)Constraint Model (3/9)

18

An example-OntologyAn example-OntologyConstraint Model(4/9)Constraint Model(4/9)

19

An example-ChangeAn example-Change

Change_Constraint <Retire(Individual),Retire(instanceOf(Class,Individua

l))> <Retire(Individual),Retire(Link(Individual,Individual))>

User_Requested_Change {Retire(Daisy)}

Change_Closure {Retire(Daisy), Retire(instanceOf(Teacher,Daisy)), Retrie(teach(Daisy,Java_Language))}

Constraint Model(5/9)Constraint Model(5/9)

20

An example-ConsistencyAn example-Consistency

Consistency_Constraint <Individual,instanceOf(Class,Individual)> <Individual,link(Individual,Individual)>

User_Requested_Consistency {Java_Language}

Consistency_Closure {Java_Language, Course, instanceOf(Course,Java_L

anguage)}

Constraint Model(6/9)Constraint Model(6/9)

21

An example-Evolution Strategy 1/2An example-Evolution Strategy 1/2Constraint Model(7/9)Constraint Model(7/9)

22

An example-Evolution Strategy 2/2An example-Evolution Strategy 2/2Constraint Model(8/9)Constraint Model(8/9)

23

Constraint ModelConstraint ModelConstraint Model(9/9)Constraint Model(9/9)

24

Change PropagationChange Propagation

Change to RO Change to dependent RO

Change to dependent LO

Change to LO

Note:

RO:Reference Ontology

LO:Local Ontology

Change Propagation Model Change Propagation Model (1/2)(1/2)

25

Change Propagation ModelChange Propagation ModelChange Propagation Model Change Propagation Model (2/2)(2/2)

26

Evolution Information ModelEvolution Information ModelEvolution Info ModelEvolution Info Model

27

Thank You!hekeqing@public.wh.hb.cn

heyangfan927@163.com

wangchong_whu@yahoo.com.cn