Professional Documents
Culture Documents
34
POOE
A Plug-in to Oversee Ontology Evolution
Emile Tawamba, ENSP-Yaound I, Roger Nkambou, UQAM, Montral,
Bernab Batchakui, ENSP-Yaound I, Claude Tangha, ENSP-Yaound I, UPAC
Abstract Ontologies are becoming nowadays a recurrent
topic in many research areas of computer science. Among other
things, they are used as best model for representing knowledge of
a given field of expertise. More specifically, the evolution of
Semantic Web mostly relies on the use of ontologies in describing
various web resources. However, the world is changing, so do
resources and knowledge. Consequently, ontologies on which are
based knowledge and resources are also called to evolve. One of
the solutions helping to ensure this evolution is to manage the
development process in order to guarantee supported services as
well as some quality requirements. Many tools have been
designed to ensure designing/editing of ontologies, but none of
them has enough functions to ensure their evolution. Evolution of
ontology considered as its adaptation to changes in the field is a
key issue in the ontology engineering field. Several studies have
been focused on this problem, but proposed solutions did not
manage all the side effects that may derive from the evolution.
This article proposes an extension of MS-ONTO [1] called
POOE. POOE not only supports the evolution effects on a double
plan, externally and internally (verification of integrity
constraints, quality analysis of the evolved ontology) but it
constitutes a true validation tool of a change log.
Index Term Ontology Evolution, Integrity Constraints,
Semantic Referencing, Knowledge-Based Systems.
I. INTRODUCTION
Ontology is defined as an explicit specification of a
conceptualization [2]. It is also considered as the result of a
complete formulation and a rigorous conceptualization
(hierarchical organization of pertinent concepts, relationships
between these concepts, rules and axioms binding them) [3].
Ontology evolution refer to its capability to adapt from
changes that are brought during its life-cycle and to manage
the propagation of these changes at the level of the dependent
artifact, i.e. objects referred by the ontology as well as other
related ontologies and their related applications [4] [5].
Changes are classified into three levels: changes of the
modeled area, changes in conceptualization and specification
changes [6]. The domain is part of the real world, so it is
dynamic and evolves with time. Conceptualization may
change due to a new observation or knowledge restructuring.
Specification of the changes relate to the formal description of
ontology (the representation language) [7].
Changes can be classified into two categories namely the
normal evolution and revolution. The first is used to enrich the
ontology with new knowledge without jeopardizing existing
ones; it is the principle of "ontological continuity". The
revolution on the other hand helps to disprove the true axioms.
The change must be considered as integral part of the life
cycle of the ontology so that it can maintain its importance in
IJENS
35
IJENS
RemovConcept
Description
Preconditions
Remove concept
Post-conditions
Actions
{
(
)
1.
2.
3.
4.
}
)
((
36
Description
UnionConcept
Add a concept
which is the
union of concepts and
{
Preconditions
(
}
)
} ((
Post-conditions
} ((
1.
2.
3.2
Constraints of Semantic Integrity
We defined a set of constraints of semantic integrity which
must be taken into account throughout the evolution process.
Each single operation of change should lead to the checking of
these constraints before the system can approve or reject the
change. In all cases, a report must be drawn up.
An example of constraints of semantic integrity could
consist in setting a maximal DL expressiveness that should be
preserved after the evolution process. In this way, it should be
possible to preserve the logic of the initial ontology if needed.
As such, taking into account the expressiveness includes three
main steps:
Identifying the structures allowed for each sub-language in
a database of structures of sub-languages. Several levels
of language could be obtained: For example OWL-LITE,
OWL-DL, OWL-FULL [21] if we refer to OWL1.
Creating a structure checker, a program that is able to
verify the ontology structures and to categorize them, in
order to determine the ontology expressiveness.
Ensuring that the degree of expressiveness of the ontology
is maintained.
The expressiveness management model described above is
presented in the next section. The initial ontology undergoes
an audit which determines its expressiveness. Each operation
of change which is applied to the ontology must absolutely
respect the expressiveness. After the ontology expressiveness
is verified, a report is produced.
( TBox containing
, and )
(
)
( is subsume by )
(Remove )
3.3
Execution of the Operations of Change
The execution of an operation of change or a range of changes
goes beyond the control of the expressiveness of ontology. In
fact, in addition to the constraints of semantic integrity, each
operation semantics is verified using its set of preconditions
that should hold before execution and its post-conditions that
should hold after execution.
Our overall model of ontology evolution is presented in
Figure 01.
The list of changes is a set of operations recorded after the
evolution of the ontology model or a set of operations which
one must apply to make the ontology evolve. Constraints
represent a set of constraints of semantic integrity which must
IJENS
37
IJENS
38
Fig. 03. Execution of the operation delete (with the possibility of choosing
between partial delete or total delete
4.2
Validation
The validation of POOE has been carried out in two phases.
We will start first with the internal validation and then move
to the external validation.
On the internal side, the goal is to demonstrate that POOE
allows for the supervision of the application of an ordered
sequence of change operations to ontology. The supervision
aims at allowing just the running of operations permitted while
rejecting the others. On the external side, the goal is to
demonstrate that the system helps to take into account the
effects of the ontological change on its external artifacts.
Specifically, we demonstrate that the system updates the
semantic referencing of resources following an evolution of
ontology. We have chosen the comparative method to validate
our system internally. Externally, we carry out a formal
demonstration of the validity of POOE.
IJENS
39
Table III
POOE Vs Protege
op1
op2
Op3
O1
Protege
0
0
1
POOE
1
1
1
O2
Protege
0
1
1
POOE
1
1
1
Table III shows that the results obtained with the POOE
system correspond very well to what was forecast (which is
represented by 1) whereas with Protege, we obtain false
results in some case (which is represented by 0).
Externally, we have proven that our system helps to
preserve the consistency of artifacts external to ontology after
evolution. More specifically, we demonstrate that POOE helps
to ensure the maintenance of semantic referencing of objects
after ontology evolution. Given an ontology O and a set of
resources R referenced in part or fully by O. We want to show
that if O is the advanced ontology obtained after evolution of
O under the supervision of POOE, then R can be referenced
by O (partially or totally).
Demonstration
O = U {ei}, i = 1..n; R = U {rj}, j = 1..m
Given the function f such that f (ei, rj) = 1 if ei is included in
the referencing of rj = 0 if otherwise.
The matrix M is obtained as:
IJENS
40
Tawamba, E., Nkambou, R., Batchakui, B., and Tangha, C., 2014.
MS-ONTO - model and system for supporting ontology evolution.
In Filipe, J.,Dietz, J. L. G., and Aveiro, D., editors, KEOD 2014 Proceedings of the InternationalConference on Knowledge
Engineering and Ontology Development, Rome, Italy, 2124October, 2014, pages 319326. SciTePress.
[2] Gruber, T., 1993. Toward Principles for the Design of Ontologies
Used for Knowledge Sharing. In International Journal HumanComputer Studies 43, p.907-928.
[3] Amal, Z., Nkambou R., 2008. Building Domain Ontologies from
Text for Educational Purposes. IEEE Translations on Learning
Technologies, vol. 1, N 1, p.49-62.
[4] Sure, Y., Tempich, C., 2004. State of art in ontology engineering
methodologies. SEKT informal deliverable 7.1.2, Institut AIFB,
University of Karlsruhe.
[5] Gabel, T., Sure, Y., and Voelker, J., 2004. KAON-ontology
management infrastructure. SEKT informaldeliverable, 58 pages.
[6] Djedidi, R., Aufaure, M., and Abboute, H., 2007. Evolution
dontologie : Validation des changements base sur lvaluation.
Journes Francophones sur les Ontologies (JFO), p. 55-73.
[7] Booshehri, M., Malekpour, A., Luksch, P., Zamanifar, K., and
Shariatmadari, S. 2013. Ontology Enrichment by Extracting
Hidden Assertional Knowledge from Text. International Journal of
Computer Science and Information Security, vol. 11, No.5, p. 6472.
[8] Stuckenschmidt, H. and Klein, M. C. A., 2007. Reasoning and
change management in modular ontologies. Data Knowl. Eng.,
63(2) :200223.
[9] Scott, B., Pete, B., Mark, B., David, K., and Debra, S. 2013.
PRONTOE - A Case Study for Developing Ontologies for
Operations. In: 5th International Conference on Knowledge
Engineering and Ontology Development (KEOD). SciTePress,
Vilamoura, Portugal, 9 pages.
[10] Cuenca, G., Jimenez-Ruiz, B., Kharlamov, E., Zheleznyakov, E.,
and Dmitry, 2012. Ontology Evolution under Semantic
Constraints. Proceedings of the 30th International Conference on
Principles of Knowledge Representation and Reasoning, p.137147.
[11] Kondylakis, H., Plexousakis, D., 2011. Exelixis: Evolving
ontology-based data integration system. Proceeding of the
international conference on Management of data, p. 1283-1286,
ACM.
IJENS
41
IJENS