MFI-3 Ontology Evolution
Metamodel
HE Keqing ,HE Yangfan
2007,6
1
ISO/IEC 19763-3
MFI Ontology Registration

China





Japan




He Keqing (Project editor, SKLSE, Wuhan Univ.)
He Yangfan (SKLSE, Wuhan Univ.)
Wang Chong (SKLSE, Wuhan Univ.)
Wang Jian(SKLSE, Wuhan Univ.)
Hajime Horiuchi (Tokyo International Univ.)
Masao Okabe (Project editor, TEPCO)
Masaharu Obayashi (K-three)
Korea


Doo-Kwon Baik (Korea Univ.)
Sam Oh (Sungkyunkwan Univ.)
2
Content


Background
MFI-3


Basic Idea
Key concepts and Draft metamodel
3
What is Ontology

In computer science,ontology

A kind of metamodel

Explicitly express the implication of concepts

Basis for the communication, knowledge sharing & exchange
and interoperation between

People

People and information system

Information systems
4
An Ontology
Transitive
Attributes
Inverse
Attributes
Relationship between concepts
instanceOf
Link between individuals
5
Semantic Interoperation

semantic web service


Semantic tagging tech

Make domain assumptions explicit

A community reference for applications
Ontology Management

Ontology Registration

Ontology Evolution

…
6
MFI-3 Ontology Registration
7
Ontology 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 .
8
Content


Background
MFI-3


Basic Idea
Key concepts and Draft metamodel
9
Scope of MFI Ontology Evolution
10
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
11
Our Solution (1/2)



Kernel Model
How to registrate ontologies?
What kind of change can be identified and
Change Model
described by MFI-3?
How to realign the dependent ontologies during
Constraint Model
the evolution process?
Change Propagation Model

How to keep the evolution information about
Evolution Information Model
ontologies
12
Our Solution (2/2)
13
Change Model
Change Model
14
Constraint Model (1/9)
Requirements for ontology evolution
We need
some
measures
to resolve
the
conflicts
We need add
class A, remove
individual i…
Possible
conflict !
Domain
experts
We need keep
class B,
individual i…
Ontology
engineer
Change Closure
Consistency Closure
Evolution Strategy
Information
system engineer
Final Change Set
ontology
15
Constraint Model (2/9)
Basic resolution provided by MFI-3



Requirements about changes

Usually proposed by domain experts

IncompleteChange Closure
Requirements about consistency

Usually proposed by information system* engineer

IncompleteConsistency Closure
Possible conflict between various requirements

Evolution Strategy
*Ontology based information systems
16
Constraint Model (3/9)
How to get Constraints

Ontology Metamodel

Consistency_Constraint


designating the dependency between
Ontology_Atomic_Constructs
Change_Constraint

designating the dependency between Changes
17
Constraint Model(4/9)
An example-Ontology
18
Constraint Model(5/9)
An example-Change


Change_Constraint

<Retire(Individual),Retire(instanceOf(Class,Individual))>

<Retire(Individual),Retire(Link(Individual,Individual))>
User_Requested_Change


{Retire(Daisy)}
Change_Closure

{Retire(Daisy),

Retire(instanceOf(Teacher,Daisy)),

Retrie(teach(Daisy,Java_Language))}
19
Constraint Model(6/9)
An 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_Language)}
20
Constraint Model(7/9)
An example-Evolution Strategy 1/2
21
Constraint Model(8/9)
An example-Evolution Strategy 2/2
22
Constraint Model(9/9)
Constraint Model
23
Change Propagation Model (1/2)
Change Propagation
Change to RO
Change to dependent RO
Change to dependent LO
Change to LO
Note:
RO:Reference Ontology
LO:Local Ontology
24
Change Propagation Model (2/2)
Change Propagation Model
25
Evolution Info Model
Evolution Information Model
26
Thank You!
[email protected]
[email protected]
[email protected]
27