<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>User Involvement for Large-Scale Ontology Alignment</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Valentina Ivanova</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Patrick Lambrix</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Computer and Information Science and the Swedish e-Science Research Centre Linko ̈ping University</institution>
          ,
          <addr-line>581 83 Linko ̈ping</addr-line>
          ,
          <country country="SE">Sweden</country>
        </aff>
      </contrib-group>
      <fpage>34</fpage>
      <lpage>47</lpage>
      <abstract>
        <p>Currently one of the challenges for the ontology alignment community is the user involvement in the alignment process. At the same time, the focus of the community has shifted towards large-scale matching which introduces an additional dimension to this issue. This paper aims to provide a set of requirements that foster the user involvement for large-scale ontology alignment tasks and a state of the art overview.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Motivation</title>
      <p>The growth of the ontology alignment area in the past ten years has led to the
development of a number of ontology alignment tools. The progress in the field has been
accelerated by an annual evaluation initiative (Ontology Alignment Evaluation Initiative—
OAEI) which has provided a discussion forum for developers and a platform for an
annual evaluation of their tools. The number of systems participating in the evaluation
increases each year, yet few provide a user interface and even fewer navigational aids or
complex visualization techniques. Some systems provide scalable ontology alignment
algorithms, however, for achieving high-quality alignments user involvement during the
process is indispensable.</p>
      <p>
        Nearly half of the challenges identified in [
        <xref ref-type="bibr" rid="ref24">24</xref>
        ] are directly related to user
involvement. These include explanation of matching results to users, fostering the user
involvement in the matching process and social and collaborative matching. Another challenge
aims at supporting users’ collaboration by providing infrastructure and support during
all phases of the alignment process. All these challenges can be addressed by providing
user interfaces in combination with suitable visualization techniques.
      </p>
      <p>
        The demand for user involvement has been recognized by the alignment community
and resulted in the introduction of the OAEI Interactive track in 2013. Quality measures
for evaluation of interactive ontology alignment tools have been proposed in [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ]. The
results from the first edition of the track [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] show the benefits from introducing user
interactions (in comparison with the systems’ non-interactive modes) by means of
increasing the precision for all (five) participants and the recall for three of them. The test
cases presented in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] show that simulating user interactions with 30% error rate during
the alignment process has led to the same results as a non-interactive matching.
      </p>
      <p>
        With the development of the ontology engineering field the size and complexity of
the ontologies, the alignments and, consequently, the matching problems increase as
emphasized in [
        <xref ref-type="bibr" rid="ref24">24</xref>
        ] by the large-scale matching evaluation challenge. This trend is
demanding scalable and (perhaps) novel user interfaces and interactions which is going to
impose even stricter scalability requirements towards the algorithms in order to provide
timely response to the users. For instance, graph drawing algorithms should not
introduce delays in order for a tool to provide interactive visualization. Scalability, not only
in terms of computation, but also in terms of interaction is one of the crucial features
for the ontology alignment systems according to [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. According to [
        <xref ref-type="bibr" rid="ref22">22</xref>
        ] user interactions
are essential (in the context of large ontologies) for configuring the matching process,
incremental matching and providing feedback to the system regarding the generated
mapping suggestions.
      </p>
      <p>
        Currently the alignment systems focus on their main task—ontology alignment—
with little or no support for an infrastructure or functionalities which are not directly
related to the alignment process. Coping with the increasing size and complexity of
ontologies and alignments will require not only comprehensive visualization and user
interactions but also supporting functionalities not directly related to them as discussed in
subsection 2.2. For instance, the authors in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] identify cognitive support requirements
for alignment tools not directly related to the alignment process—interrupting/resuming
the alignment process and providing a feedback on its state. Achieving collaborative
matching, discussed above, is going to need a suitable environment.
      </p>
      <p>This paper aims to provide requirements for ontology alignment tools that
encourage user involvement for large-scale ontology alignment tasks (section 2). Several
ontology alignment systems are evaluated in section 3 in connection with the requirements
in section 2. Section 4 provides a discussion and section 5 concludes the paper.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Requirements for User Support in Large-Scale Ontology</title>
    </sec>
    <sec id="sec-3">
      <title>Alignment</title>
      <p>
        This section presents requirements for ontology alignment systems meant to foster user
engagement for large-scale ontology alignment problems. Subsection 2.1 summarizes
the requirements presented in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] which address the cognitive support that should be
provided by an alignment system to a user during the alignment process. While they are
essential for every alignment system, the focus in the community has shifted towards
large-scale matching since the time they have been developed. Thus other requirements
to assist the user in managing larger and more complex ontologies and alignments are
in demand (subsection 2.2). They may not always be directly related to visualization
and user interactions but contribute to the development of a complete infrastructure that
supports the users during large-scale alignment tasks. Those requirements are extracted
from existing works and systems and from the authors’ personal experience from the
development of ontology alignment and debugging systems ([
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]). Since those
requirements address user involvement as well they sometimes overlap with those in
subsection 2.1 and can be considered complementary to them.
      </p>
      <p>The requirements discussed in this section are crucial for large-scale alignment
tasks, but also beneficial for aligning small and medium size ontologies. While the
alignment of two medium size ontologies is feasible on a single occasion by a single
user even without techniques for reducing user interventions, the alignment of
largescale ontologies without such techniques would be infeasible.</p>
      <p>
        The authors in [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] identify requirements for supporting user interactions in
alignment systems which can be seen as a subset of those in subsections 2.1 and 2.2. The
      </p>
      <p>Dimensions Requirements
Analysis #3.1: automatic discovery of some mappings;
and #3.2: test mappings by automatically transforming instances between ontologies;
Generation #3.3: support potential interruptions by saving and returning users to given state;
Dimension #3.4: support identification and guidance for resolving conflicts;
#4.1: visual representation of the source and target ontology; (I)
#4.2: representation of a potential mapping describing why it was suggested,</p>
      <p>
        where the terms are in the ontologies, and their context; (I,E)
Repre- #4.3: representation of the verified mappings that describe why the mapping
sentation was accepted, where the terms are in the ontologies, and their context; (I,E)
Dimension #4.4: identify visually candidate-heavy regions; (I)
#4.5: indicate possible start points for the user; (E)
#4.6: progress feedback on the overall mapping process; (E)
#4.7: feedback explaining how the tool determined a potential mapping; (E)
Analysis #1.1: ontology exploration and manual creation of mappings; (I,M)
and tooling for the creation of temporary mappings; (M)
Decision #1.2: method for the user to accept/reject a suggested mapping; (M)
Making #1.3: access to full definitions of ontology terms; (I)
Dimension #1.4: show the context of a term when a user is inspecting a suggestion; (I)
#2.1: interactive access to source and target ontologies; (I)
Interaction #2.2: interactive navigation and allow the user to accept/reject suggestions; (I,M)
Dimension #2.3: interactive navigation and removal of verified mappings; (I,M)
#2.4: searching and filtering the ontologies and mappings; (I)
#2.5: adding details on verified mappings and manually create mappings; (M)
same applies for those in [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] which lists requirements for alignment editors and
visualizers relevant for individual and collaborative matching and explanation of the
alignments.
2.1
      </p>
      <sec id="sec-3-1">
        <title>Cognitive Support Requirements</title>
        <p>
          The requirements identified in [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] are based on research in the area of cognitive theories
and a small user study with four participants. They are grouped in four conceptual
dimensions (table 1).
        </p>
        <p>
          The Analysis and Generation dimension includes functions for automatic
computation and trial execution of mapping suggestions (potential mappings), inconsistency
detection/resolution and services for interrupting/resuming the alignment process. The
mappings and mapping suggestions together with explanations why/how they are
suggested/accepted are visualized by services in the Representation dimension. Other
functions include interactions for overview and exploration of the ontologies and alignments
and feedback for the state of the process. Requirements 1, 2 and 3 from [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ] and the first
and the third requirements in [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ] focus on similar services. The Analysis and Decision
Making dimension considers the users’ internal decision making processes and involves
exploration of the ontology terms and their context during the process of discovering
and creating (temporary) mappings, and validating mapping suggestions. During the
Interaction dimension the user interacts with the system through its exploration, filtering
and searching services in order to materialize his/her decisions by creating mappings
and accepting/rejecting mapping suggestions. Requirements 4, 5 and 6 from [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ] cover
similar interactions. Such requirements are also identified in [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ]. The requirements for
the Analysis and Decision Making dimension can be considered to utilize the
functionalities represented by the requirements in the Interaction dimension.
        </p>
        <p>
          The requirements provided by the Representation and Interaction dimensions are
involved in the human-system interaction and can be roughly separated in the following
three categories—manipulation (M), inspection (I) and explanatory (E) requirements.
Those in the first category include actions for transforming the mapping suggestions in
an alignment—accept/reject mapping suggestions, add metadata and manually create
mappings, etc. Similar functionalities are needed for the ontologies (#5.0), as well, since
the user may need to, for instance, introduce a concept in order to provide more accurate
mappings, as described in [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ] as well. Those in the second category cover a broad set
of actions for inspecting the ontologies and alignments—exploring the ontologies,
mappings and mapping suggestions, search and filter by various criteria, zoom, overview,
etc. The third category includes services for presenting information to the user, for
instance, reasons to suggest/accept a mapping suggestion, how the tool has calculated it,
hinting at possible starting points and showing the current state of the process.
2.2
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>Ontology Alignment in Large Scale</title>
        <p>
          Various requirements arise from the tendency of increasing the size and complexity
of the ontologies, alignments and alignment problems. They need to be supported by
scalable visualization and interaction techniques as well. For instance, an introduction
of a debugging phase during the alignment process (discussed below) will demand
adequate presentation of the defects and their causes which is a problem of the same
scale as the main problem discussed in this paper. This subsection does not discuss
the techniques for large-scale matching identified in [
          <xref ref-type="bibr" rid="ref22">22</xref>
          ] or matching with background
knowledge since they are not directly related to user involvement. However some of
those techniques affect the interactivity of the systems and thus indirectly influence the
user involvement.
        </p>
        <p>
          Aligning large and complex ontologies cannot be handled on a single occasion.
Thus the user should be able to suspend the process, preserve its state and resume it at
another point in time (#3.3). Such interruptions of the alignment process (#5.1) may
take place during different stages, for instance, during the computation of mapping
suggestions, during their validation, etc. At the time of interruption the system may provide
partial results which can be reused when the alignment process has been resumed. The
SAMBO system [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] implements such approach introducing interruptible computation,
validation and recommendation sessions. Requirement 9 in [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ] can be seen as similar,
but without saving and reusing already validated suggestions.
        </p>
        <p>
          Another strategy to deal with large-scale tasks is to divide them into smaller tasks
(#5.2). This can be achieved by clustering algorithms or grouping heuristics. Smaller
problems can be more easily managed by single users and devices with limited
resources. Requirement 8 from [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ] proposes distributing parts of the task among several
users. The authors of AlViz [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ] highlight that clustering the graph improves the
interactivity of the program (by reducing the size of the problem). Clustering of the ontologies
and alignments will allow reusing visualization techniques that work for smaller
problems. A fragment-based strategy is implemented in [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ] where the authors also note that
not all fragments in one schema would have corresponding fragments in another.
        </p>
        <p>
          In the context of large-scale matching it is not feasible for a user to validate all
mapping suggestions generated by a system, i.e., tools’ developers should aim at reducing
unnecessary user interventions (#5.3). The authors in [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ] define a measure for
evaluating interactive matching tools based on the number and type of user interventions
in connection with the achieved F-measure. LogMap2 [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] only requires user validation
for problematic suggestions. In [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] the authors demonstrate that the session-based
approach can reduce the unnecessary user interventions by utilizing the knowledge from
previously validated suggestions. GOMMA [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ] can reuse mappings between older
ontology versions in order to match their newer versions. PROMPT [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ] logs the
operations performed for merging/aligning two ontologies and can automatically
reapply them if needed. Reducing the user interventions, but at the same time effectively
combining manual validation with automatic computations are two of the challenges
identified in [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ]. The authors in [
          <xref ref-type="bibr" rid="ref2">2</xref>
          ] and [
          <xref ref-type="bibr" rid="ref23">23</xref>
          ] discuss criteria for selecting mapping
suggestions that are shown to the user and strategies for user feedback propagation in
order to reduce the user-system interactions.
        </p>
        <p>
          Matching large ontologies is a lengthy and demanding task for a single user. It can
be relaxed by involving several users who can discuss together and decide on
problematic mappings in a collaborative environment. The social and collaborative matching
(#5.4) is still a challenge for the alignment community [
          <xref ref-type="bibr" rid="ref24">24</xref>
          ]. Requirement 7 in [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ]
addresses this open opportunity. It has potential to reduce the load of a single user and the
number of incorrect mappings by building on the collective knowledge of a number of
people who can review mappings created by other participants [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ]. One of the quality
aspects for ontology alignment discussed in [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ] is the social aspect—it can be achieved
by means of collaboration and information visualization techniques.
        </p>
        <p>
          Another challenge insufficiently addressed [
          <xref ref-type="bibr" rid="ref24">24</xref>
          ] by the alignment community is
related to the environment (#5.5) where such collaboration could happen. Apart from
aligning ontologies it should also support a variety of functions for managing
alignments such as storing/editing/retrieving/sharing alignments as explained in [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ].
Accommodating different versions of alignments, for instance, would require an entire
infrastructure on its own and probably a permanent storage similarly to GOMMA/COMA++.
The environment should support services for communication between its members like
discussion lists, wikis, subscriptions/notifications, messages, annotations, etc.
        </p>
        <p>
          Providing recommendations (#5.6) is another approach to support the user
during the decision making process. Such recommendations can be based on external
resources, previous user actions, based on other users’ actions (in a collaborative
environment), etc. They can be present at each point user intervention is needed—choosing an
initial matcher configuration [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ], validating mapping suggestions [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ], choosing a
starting point, etc. The authors in [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] implement recommendation sessions which match
small parts of the selected ontologies in order to recommend the best settings for
matching them. Different weights can be assigned to the recommendations depending on their
sources. Suitable ranking/sorting strategies could be applied to present them in a
particular order.
        </p>
        <p>
          The outcome of the applications that consume alignments is directly dependent
on the quality of the alignments. A direct step towards improving the quality of the
alignments and, consequently, the results from such applications is an introduction of
a debugging step during the alignment process (#5.7). It was shown in [
          <xref ref-type="bibr" rid="ref8">8</xref>
          ] that a
domain expert has changed his decisions regarding mappings he had manually created,
after an interaction with a debugging system. Most of the alignments produced in the
Anatomy, LargeBio and even Conference (which deals with medium size ontologies)
tracks in OAEI 2013 [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ] are incoherent which questions the quality of the results of
the semantically-enabled applications utilizing them. According to [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ] reasoning-based
error diagnosis is one of the three essential features for alignment systems. Almost half
of the quality aspects for ontology alignment defined in [
          <xref ref-type="bibr" rid="ref16">16</xref>
          ] address lack of correctness
in the alignment in terms of syntactic, semantic and taxonomic aspects. The trends
toward increasing the size and complexity of the alignment problem demand debugging
techniques more than ever. In this context a debugging module should be present in
every alignment system. The authors in [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ] show that repairing alignments is feasible
at runtime and improves their logical coherence when (approximate) mapping
repairing techniques are applied. Since ontology debugging presents considerable cognitive
complexity (due to the, potentially, long chains of entailments) adequate visual support
to aid user interactions is a necessity.
        </p>
        <p>
          In the field of ontology debugging there is already ongoing work that addresses
explanation of defects to users. These techniques could be borrowed and applied in the
ontology alignment to address the challenge for explaining the matching results to
the users (#4.2, #4.7). The authors in [
          <xref ref-type="bibr" rid="ref19">19</xref>
          ] specify generating human understandable
explanations for the mappings as a challenge as well. The authors in [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ] implement
advanced interfaces for configuring the matching process (#5.8) which provide the
users with insights of the process and contribute to the understanding of the matching
results.
        </p>
        <p>Trial execution of mappings (#5.9.1) (what-if) mentioned above in the context of
confirming user’s expectations (#3.2) will be of even greater help during the debugging
and alignment by aiding the user in the propagation of the consequences of his/her
actions. Additionally support for temporary decisions (#5.9.2) in general, including
temporary mappings (#1.1), list of performed actions and undo/redo actions, will help
the user to explore the effects of his/her actions (and reduce the cognitive load).
3</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Overview of Ontology Alignment Systems</title>
      <p>The systems in this literature study are selected because they have mature interfaces,
often appear in user interface evaluations and accommodate features addressing the
alignment of large ontologies.
3.1</p>
      <sec id="sec-4-1">
        <title>AlViz</title>
        <p>
          AlViz [
          <xref ref-type="bibr" rid="ref15">15</xref>
          ] is a Prote´ge´plug-in which uses the linking and brushing paradigm for
connecting multiple views of the same data where navigation in one of the views changes
the representation in the other. During the alignment process each ontology is
represented as a pair of views—a tree and a small world graph—i.e., four in total. The trees
provide well-known editing and exploratory functionalities. There is no clear distinction
between mappings and mapping suggestions (X(*)). Mappings are edited, accepted and
rejected in the tree views by toolbar buttons for defining the type of mappings. The small
world graphs represent an ontology as a graph where the nodes (represent the entities)
are clustered according to a selected level of detail. The size of the clusters corresponds
to the number of nodes in them. The edges between the clusters represent the selected
relation (mutual property). Intuitive exploration is achieved by the linking and brushing
technique, adjustable level of details (by means of a slider) and selecting a relationship
to present (from a drop-down list). The small world graphs provide and overview of
the ontologies where color-coding provides an overview of the similar clusters (in the
two ontologies) and the colors of the clusters are inherited from the underlying nodes
according to one (out of three) strategy. Tooltips and labels can be switched on and off.
        </p>
        <p>Different sessions are not directly supported, but simple interruption and resumption
of the alignment process can be achieved by saving and loading the input file which
contains the mappings. Temporary decisions for questionable mappings are supported
by a tracking button. Undo/redo buttons and history of activities are also provided.
3.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>SAMBO</title>
        <p>
          SAMBO [
          <xref ref-type="bibr" rid="ref13">13</xref>
          ] (based on [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ]) is an ontology alignment system that addresses the
challenges related to user involvement by introducing interruptible sessions—computation,
validation and recommendation sessions. The computation session computes mapping
suggestions between two ontologies and can utilize results from previous validation and
recommendation sessions. The user validates the mapping suggestions during the
validation session. A reasoner may be used during both sessions to check the consistency
of the (validated) mapping suggestions in connection with the ontologies. Both sessions
can provide partial results upon interruption thus the validation session may start before
the end of the computation and not all of the mapping suggestions need to be validated
at once. The recommendation session matches small parts of the two ontologies
offline using an oracle or previous validation decisions if available and employs different
(combination of) algorithms and filtering strategies in order to recommend the best
future settings for matching the two ontologies. The results of the sessions are stored in a
database. The user may choose to start a new or to resume a saved session.
        </p>
        <p>The user interface allows selection of matchers, their weights and strategies for
combination. Two alternating modes are available during the validation—suggestion (shown
in Figure 1) and manual mode. All suggestions for a concept are shown at once during
the suggestion mode. The user can give a name for and annotate a mapping/concept.
The user can accept/reject a suggestion by pressing a dedicated button. Both ontologies
are shown as indented trees during the manual mode and the user can create a mapping
by selecting a concept in each tree. A search function is implemented for locating a
term of interest. Lists with the previous accepted/rejected and remaining suggestions
are available. An undo button is available as well.</p>
      </sec>
      <sec id="sec-4-3">
        <title>RepOSE</title>
        <p>
          RepOSE [
          <xref ref-type="bibr" rid="ref12">12</xref>
          ], shown in Figure 2, is based on an integrated taxonomy alignment and
debugging framework. The system can be seen as an ontology alignment system with a
debugging component for detecting and repairing modelling defects in taxonomy
networks (missing and wrong subsumption relations/mappings). The alignment process
goes through three phases—generation of mapping suggestion, validation and
repairing. Separate panels are provided for the validation and repairing phases to guide the
user through them. Possible starting points, recommendations and ranking strategies
are available during both phases. The alignment process can be configured by selecting
matchers, their weights and the threshold for filtering the mapping suggestions. The
algorithm for detecting defects in the debugging component can be seen as a
structurebased alignment algorithm—as such it is configured separately. The suggestions
computed from it are logically derivable and they are presented to the user together with
their derivation paths. The rest are only presented with their confidence values.
        </p>
        <p>During the validation phase the mapping suggestions are shown as graphs in groups
where the last group in the list contains the most suggestions. The nodes in the graph
represent concepts and the edges—relations and mappings. The nodes are color-coded
according to their hosting ontology and the edges—the state of the represented
relations/ mappings—mapping suggestions, asserted/added/removed relations/mappings.
When the user accepts/rejects a suggestion the corresponding edge is labeled
accordingly and it is moved to the list for repairing. The user can validate only a portion of the
suggestions and start the repairing phase. The user can see each pair of ontologies and
their current alignment and the entire ontology network upon request. During the
repairing phase the system provides alternative repairing actions instead of directly adding the
validated mapping. Logically derivable wrong mappings can be also repaired.</p>
        <p>The system checks for contradictions after each group of suggestions is validated
and after a repairing action and warns the user if such are found. There is no indication
for the process state but it can be observed by reflecting on the validation and repairing
phases. Sessions are only supported through saving/loading the ontologies and
mappings, but the suggestions are not preserved and have to be computed from scratch.
3.4</p>
        <p>
          AML
AML has been designed based on AgreementMaker with the purpose of matching very
large ontologies. Its user interface is presented in [
          <xref ref-type="bibr" rid="ref21">21</xref>
          ]. The working area in AML is
divided into two panels—a Resource Panel, on the top, provides a summary of the
ontologies, alignment, etc., and a Mapping Viewer where modules extracted from the
ontologies and alignment are represented as graphs. Instead of showing the entire
network, the visualization is focused on a single mapping where the graph depicts the
mapping, up to five (default is two) levels of ascending/descending concepts of the
concepts in the mapping and other mappings between the displayed concepts (if any). The
nodes and edges are labeled with the names of the classes and relations (subsumptions
are not labeled), respectively, and colored depending on the ontology they belong to.
The mappings are labeled with their confidence values and their directions are denoted
with arrows. Three options are provided for navigating through the mappings—list of
mappings, previous/next buttons and search (in combination with auto-complete). The
user can configure the alignment process by selecting a matcher, its threshold,
cardinality for the alignment and sources of background knowledge. The final alignment can be
repaired and evaluated against a reference alignment.
3.5
        </p>
      </sec>
      <sec id="sec-4-4">
        <title>COMA++</title>
        <p>
          COMA++ is an alignment system for matching large schemata and ontologies [
          <xref ref-type="bibr" rid="ref1">1</xref>
          ].
The system consists of five components accessible through a user interface [
          <xref ref-type="bibr" rid="ref4">4</xref>
          ]. The
repository stores the ontologies and alignments. The Workspace tab provides access
to the schema and mapping pools which manage the ontologies and alignments in
memory. Other operations involving alignments, such as merging schema and
alignments, add/remove mappings in edit mode, comparing (evaluating an alignment against
a reference alignment using different quality measures) and diff/intersect
(determining the different/shared mappings between two alignments) are provided as well. The
Match menu provides a variety of options for configuring the matching process through
the match customizer—creating/modifying/deleting/resetting matchers and strategies,
showing the dependencies between them and saving them (into the repository) for future
use. The matching process is performed in the execution engine. Some of the strategies
support iterations, where the user can modify the output prior to the execution of the
next iteration. The toolbar has buttons for configuring/running/interrupting the process,
step-by-step execution and editing mappings. The ontologies are shown side-by-side
as unmodifiable indented trees and the mappings between them are represented as lines
color-coded depending on their confidence values. There is no clear distinction between
mappings and mapping suggestions (X(*)). The highest confidence value is assigned to
the manually created mappings. The regions with many mappings can be observed by
the high number of lines between them. The process state can be observed by the
predominant color of the mappings. Sessions are supported as in RepOSE.
3.6
        </p>
      </sec>
      <sec id="sec-4-5">
        <title>PROMPT</title>
        <p>
          The PROMPT suite [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ] is a set of Prote´ge´plug-ins for managing ontologies and their
versions: iPROMPT merges and aligns ontologies interactively employing the local
context of the concepts; AnchorPROMPT computes additional mapping suggestions
acting on a larger scale than iPROMPT; PROMPTDiff performs structural comparison
between different versions of an ontology and PROMPTFactor extracts an independent
modules from an ontology. These plug-ins share interface components, data structures,
some algorithms and heuristics.
        </p>
        <p>
          The first version of PROMPT, [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ], shows the source and target ontologies as
indented trees on both sides of the screen where the mapping suggestions are presented as
a list of pairs between them. An explanation for why this pair is a mapping suggestion
is provided to the user. The user can examine the suggestions from the list, save those
that are correct or create new mappings. Upon user action the tool detects conflicts, if
any it suggests solutions and generates new suggestions in the area the latest operation
has happened. The suggestions/conflicts are resorted to first list those in the area of the
latest operation. PROMPT can log operations and execute them again if needed. The
process state can be observed indirectly.
3.7
        </p>
      </sec>
      <sec id="sec-4-6">
        <title>CogZ</title>
        <p>
          CogZ, shown in Figure 3, addresses the cognitive support requirements from [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. It is a
visualization plug-in which extends the PROMPT user interface and reuses the rest of
its components.
        </p>
        <p>
          The first version of CogZ, Jambaprompt, includes a graph visualization of the
neighborhood of each of the concepts in a mapping suggestion—direct super and subclasses.
Each of the classes can be expanded thus providing an incremental navigation. The
Jambaprompt plug-in also supports filtering of the mapping suggestions by various criteria.
It is extended in [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] to provide an overview of the ontologies and mappings by
employing treemaps. The user can identify potentially ’heavy regions’ using the treemaps in
combination with color-coding. Pie-charts provide additional details regarding already
mapped concepts and mapping suggestions. Temporary mappings, different from the
mapping suggestions, are introduced in CogZ to relieve the users’ memory and help
them to write down potential solutions. Similarly to COMA++, the mappings between
the ontologies (shown as trees) are presented with lines which can be annotated to
provide additional details. CogZ provides semantic zoom and interactive search.
4
        </p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Discussion</title>
      <p>
        Table 2 shows the systems’ support for the requirements identified in section 2. The
manipulation and inspection requirements are almost entirely supported by the first four
systems. However to be able to draw conclusions for the level of usability of the
different visualization approaches, a user study is needed. It is worth noting that COMA++
and AlViz do not distinguish between mappings and mapping suggestions, a
functionality that may help the users to keep track which correspondences have been already
visited. The least supported category from the requirements in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] is the one that
assists the users most in understanding the reasons for suggesting/accepting mapping
suggestions—while PROMPT and CogZ provide a textual description to explain the
origin of mapping suggestions, the other tools only present a confidence value (which
may (not) be enough depending on how familiar the domain expert already is with
the ontology alignment field). Other requirements in this category include providing a
starting point and a state of the process. Even though rarely supported they can often be
observed by the number/status of the verified suggestions.
      </p>
      <p>Some systems limit the amount of data presented to the user by using sessions and
clustering. Only one system preserves the state of the process during interruptions. The
others partially address the session requirement by save/load (ontologies and
alignments) functions but without preserving the already computed suggestions. Almost all
of the tools support clustering of the content presented to the user (not necessary for
all views/modes) to avoid cluttering of the display, clustering during the computations
is also often supported. Another possibility could be to guide the user (through
complex interfaces and huge input) by presenting different interfaces connected to different
phases of the process, for instance, by providing a different view for each phase. The
existence of different phases in general could also allow for more opportunities for
finetuning of the process.</p>
      <p>
        The session-based approach in [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] helps reducing the user interventions during
the alignment process by reusing previously validated mappings. PROMPT takes into
account the area of the latest user intervention while computing a new portion of
suggestions to maintain the user’s focus. To assist the user decision making process some
systems provide recommendations in various forms—SAMBO provides a
recommendation session, COMA++ default matchers configuration, RepOSE recommendations
(from external sources) during the validation. Matchers’ configuration is also supported
to different extent—COMA++ provides advanced matchers’ combinations while
RepOSE only supplies a list with matchers and their weights. To support temporary
decisions CogZ introduces temporary mappings and AlViz a tracking button. SAMBO
partially presents such functionality by an undo button and history of actions, PROMPT
by reapplying the user actions. Trial execution is not supported by any of the tools.
      </p>
      <p>Looking at the table we can conclude that most of the systems provide debugging
techniques, but this is not the case in reality as discussed in subsection 2.2. Although
these systems consider debugging of the alignment, they address different kinds of
defects—RepOSE detects/repairs modelling defects in taxonomies, SAMBO checks
for inconsistencies and AML addresses disjointness assuming the ontologies are
coherent. Further, RepOSE relies on manual repairing while AML repairs the alignment
automatically.</p>
      <p>The social and collaborative matching is still a challenge. SAMBO, PROMPT and
CogZ provide mapping annotations but it is unlikely they have been developed to
address this issue. While implementing other functionalities SAMBO and COMA++ took
first steps in providing a collaborative environment by introducing permanent storages.
AML, PROMPT and COMA++ have functions for evaluating an alignment against a
reference alignment and for comparing two alignments.
5</p>
    </sec>
    <sec id="sec-6">
      <title>Conclusions</title>
      <p>This paper defines a set of requirements to address the user involvement in large-scale
ontology alignment tasks. It provides a literature based overview of several systems
selected due to their mature interfaces and features that address the alignment of large
ontologies.</p>
      <p>Since the papers describing the systems mostly focus on algorithms and rarely on
user interfaces such assessment of the coverage of the requirements is inherently
imprecise. In order to provide better understanding for how the systems support the
requirements identified in section 2 we intend to conduct an observational user study as
a future work. The study will consider the requirements in the manipulation, inspection
and explanation categories by developing tasks that address them in a large-scale
setting. It will provide detailed overview of the advantages and disadvantages of the user
interfaces of several selected systems. Changes in the list with requirements may occur
as a consequence of the study.</p>
      <p>Acknowledgments. We thank the National Graduate School in Computer Science (CUGS)
and the Swedish e-Science Research Centre (SeRC) for financial support.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>D</given-names>
            <surname>Aumu</surname>
          </string-name>
          ¨ller,
          <string-name>
            <given-names>H H</given-names>
            <surname>Do</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S</given-names>
            <surname>Maßmann</surname>
          </string-name>
          , and
          <string-name>
            <given-names>E</given-names>
            <surname>Rahm</surname>
          </string-name>
          .
          <article-title>Schema and ontology matching with COMA++</article-title>
          .
          <source>In SIGMOD</source>
          , pages
          <fpage>906</fpage>
          -
          <lpage>908</lpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <string-name>
            <surname>2. I F Cruz</surname>
            ,
            <given-names>C</given-names>
          </string-name>
          <string-name>
            <surname>Stroe</surname>
            , and
            <given-names>M</given-names>
          </string-name>
          <string-name>
            <surname>Palmonari</surname>
          </string-name>
          .
          <article-title>Interactive user feedback in ontology matching using signature vectors</article-title>
          .
          <source>In ICDE</source>
          , pages
          <fpage>1321</fpage>
          -
          <lpage>1324</lpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>B</given-names>
            <surname>Cuenca Grau</surname>
          </string-name>
          et al.
          <article-title>Results of the ontology alignment evaluation initiative 2013</article-title>
          . In OM, pages
          <fpage>61</fpage>
          -
          <lpage>100</lpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>H H</given-names>
            <surname>Do</surname>
          </string-name>
          .
          <article-title>Schema Matching and Mapping-based Data Integration</article-title>
          .
          <source>PhD thesis</source>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>J</given-names>
            <surname>Euzenat</surname>
          </string-name>
          and
          <string-name>
            <given-names>P</given-names>
            <surname>Shvaiko</surname>
          </string-name>
          .
          <article-title>User Involvement</article-title>
          .
          <source>In Ontology Matching</source>
          , pages
          <fpage>353</fpage>
          -
          <lpage>375</lpage>
          .
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>S M</given-names>
            <surname>Falconer and M D Storey</surname>
          </string-name>
          .
          <article-title>A Cognitive Support Framework for Ontology Mapping</article-title>
          .
          <source>In ISWC/ASWC</source>
          , pages
          <fpage>114</fpage>
          -
          <lpage>127</lpage>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>M</given-names>
            <surname>Granitzer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V</given-names>
            <surname>Sabol</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K W</given-names>
            <surname>Onn</surname>
          </string-name>
          , et al.
          <article-title>Ontology Alignment-A Survey with Focus on Visually Supported Semi-Automatic Techniques</article-title>
          .
          <source>Future Internet</source>
          , pages
          <fpage>238</fpage>
          -
          <lpage>258</lpage>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>V</given-names>
            <surname>Ivanova</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J L</given-names>
            <surname>Bergman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>U</given-names>
            <surname>Hammerling</surname>
          </string-name>
          , and
          <string-name>
            <given-names>P</given-names>
            <surname>Lambrix</surname>
          </string-name>
          .
          <article-title>Debugging taxonomies and their alignments: the ToxOntology-MeSH use case</article-title>
          .
          <source>In WoDOOM</source>
          , pages
          <fpage>25</fpage>
          -
          <lpage>36</lpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>E</given-names>
            <surname>Jime</surname>
          </string-name>
          <article-title>´nez-</article-title>
          <string-name>
            <surname>Ruiz</surname>
            ,
            <given-names>B C</given-names>
          </string-name>
          <string-name>
            <surname>Grau</surname>
            ,
            <given-names>Y</given-names>
          </string-name>
          <string-name>
            <surname>Zhou</surname>
            ,
            <given-names>and I</given-names>
          </string-name>
          <string-name>
            <surname>Horrocks</surname>
          </string-name>
          .
          <article-title>Large-scale Interactive Ontology Matching: Algorithms and Implementation</article-title>
          .
          <source>In ECAI</source>
          , pages
          <fpage>444</fpage>
          -
          <lpage>449</lpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>E</given-names>
            <surname>Jime</surname>
          </string-name>
          <article-title>´nez-</article-title>
          <string-name>
            <surname>Ruiz</surname>
            ,
            <given-names>C</given-names>
          </string-name>
          <string-name>
            <surname>Meilicke</surname>
            ,
            <given-names>B C</given-names>
          </string-name>
          <string-name>
            <surname>Grau</surname>
            ,
            <given-names>and I</given-names>
          </string-name>
          <string-name>
            <surname>Horrocks</surname>
          </string-name>
          .
          <article-title>Evaluating Mapping Repair Systems with Large Biomedical Ontologies</article-title>
          .
          <source>In Description Logics</source>
          , pages
          <fpage>246</fpage>
          -
          <lpage>257</lpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <given-names>T</given-names>
            <surname>Kirsten</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A</given-names>
            <surname>Gross</surname>
          </string-name>
          , et al.
          <article-title>GOMMA: a component-based infrastructure for managing and analyzing life science ontologies and their evolution</article-title>
          .
          <source>Journal of Biomedical Semantics</source>
          ,
          <volume>2</volume>
          (
          <issue>1</issue>
          ),
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <given-names>P</given-names>
            <surname>Lambrix</surname>
          </string-name>
          and
          <string-name>
            <given-names>V</given-names>
            <surname>Ivanova</surname>
          </string-name>
          .
          <article-title>A unified approach for debugging is-a structure and mappings in networked taxonomies</article-title>
          .
          <source>Journal of Biomedical Semantics</source>
          ,
          <volume>4</volume>
          :
          <fpage>10</fpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <given-names>P</given-names>
            <surname>Lambrix and R Kaliyaperumal</surname>
          </string-name>
          .
          <article-title>A Session-Based Approach for Aligning Large Ontologies</article-title>
          .
          <source>In ESWC</source>
          , pages
          <fpage>46</fpage>
          -
          <lpage>60</lpage>
          .
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <given-names>P</given-names>
            <surname>Lambrix and H Tan</surname>
          </string-name>
          .
          <article-title>SAMBO - a system for aligning and merging biomedical ontologies</article-title>
          .
          <source>Journal of Web Semantics</source>
          ,
          <volume>4</volume>
          (
          <issue>3</issue>
          ):
          <fpage>196</fpage>
          -
          <lpage>206</lpage>
          ,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <given-names>M</given-names>
            <surname>Lanzenberger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J</given-names>
            <surname>Sampson</surname>
          </string-name>
          , and
          <string-name>
            <given-names>M</given-names>
            <surname>Rester</surname>
          </string-name>
          .
          <article-title>Ontology visualization: Tools and techniques for visual representation of semi-structured meta-data</article-title>
          .
          <source>J.UCS</source>
          ,
          <volume>16</volume>
          (
          <issue>7</issue>
          ):
          <fpage>1036</fpage>
          -
          <lpage>1054</lpage>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <given-names>M</given-names>
            <surname>Lanzenberger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J</given-names>
            <surname>Sampson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M</given-names>
            <surname>Rester</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y</given-names>
            <surname>Naudet</surname>
          </string-name>
          , and
          <string-name>
            <given-names>T</given-names>
            <surname>Latour</surname>
          </string-name>
          .
          <article-title>Visual ontology alignment for knowledge sharing and reuse</article-title>
          .
          <source>Journal of Knowledge Management</source>
          ,
          <volume>12</volume>
          (
          <issue>6</issue>
          ):
          <fpage>102</fpage>
          -
          <lpage>120</lpage>
          ,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <given-names>N F</given-names>
            <surname>Noy and M A</surname>
          </string-name>
          <article-title>Musen</article-title>
          .
          <article-title>Algorithm and Tool for Automated Ontology Merging and Alignment</article-title>
          .
          <source>In AAAI</source>
          , pages
          <fpage>450</fpage>
          -
          <lpage>455</lpage>
          ,
          <year>2000</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <given-names>N F</given-names>
            <surname>Noy and M A</surname>
          </string-name>
          <article-title>Musen</article-title>
          .
          <article-title>The PROMPT suite: interactive tools for ontology merging and mapping</article-title>
          .
          <source>Journal of Human-Computer Studies</source>
          ,
          <volume>59</volume>
          (
          <issue>6</issue>
          ):
          <fpage>983</fpage>
          -
          <lpage>1024</lpage>
          ,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19.
          <string-name>
            <given-names>L</given-names>
            <surname>Otero-Cerdeira</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F J</given-names>
            <surname>Rodr</surname>
          </string-name>
          <article-title>´ıguez-Mart ´ınez, and A G o´mez-Rodr´ıguez. Ontology matching: A literature review</article-title>
          .
          <source>Expert Systems with Applications</source>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <given-names>H</given-names>
            <surname>Paulheim</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S</given-names>
            <surname>Hertling</surname>
          </string-name>
          , and
          <string-name>
            <given-names>D</given-names>
            <surname>Ritze</surname>
          </string-name>
          .
          <article-title>Towards Evaluating Interactive Ontology Matching Tools</article-title>
          .
          <source>In ESWC</source>
          , pages
          <fpage>31</fpage>
          -
          <lpage>45</lpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <given-names>C</given-names>
            <surname>Pesquita</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D</given-names>
            <surname>Faria</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E</given-names>
            <surname>Santos</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J</given-names>
            <surname>Neefs</surname>
          </string-name>
          , and
          <string-name>
            <given-names>F M</given-names>
            <surname>Couto.</surname>
          </string-name>
          <article-title>Towards Visualizing the Alignment of Large Biomedical Ontologies</article-title>
          .
          <source>In DILS</source>
          , pages
          <fpage>104</fpage>
          -
          <lpage>111</lpage>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          22.
          <string-name>
            <given-names>E</given-names>
            <surname>Rahm</surname>
          </string-name>
          .
          <article-title>Towards large-scale schema and ontology matching</article-title>
          .
          <source>In Schema matching and mapping</source>
          , pages
          <fpage>3</fpage>
          -
          <lpage>27</lpage>
          .
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          23.
          <string-name>
            <given-names>F</given-names>
            <surname>Shi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J</given-names>
            <surname>Tang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G</given-names>
            <surname>Xie</surname>
          </string-name>
          , and
          <string-name>
            <given-names>H</given-names>
            <surname>Li</surname>
          </string-name>
          .
          <article-title>Actively learning ontology matching via user interaction</article-title>
          .
          <source>In ISWC</source>
          , pages
          <fpage>585</fpage>
          -
          <lpage>600</lpage>
          .
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          24.
          <string-name>
            <given-names>P</given-names>
            <surname>Shvaiko and J Euzenat</surname>
          </string-name>
          .
          <source>Ontology Matching: State of the Art and Future Challenges. Knowledge and Data Engineering</source>
          ,
          <volume>25</volume>
          (
          <issue>1</issue>
          ):
          <fpage>158</fpage>
          -
          <lpage>176</lpage>
          ,
          <year>2013</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>