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