<!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>Results of the Ontology Alignment Evaluation Initiative 2012?</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Jose´ Luis Aguirre</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Kai Eckert</string-name>
          <email>kaig@informatik.uni-mannheim.de</email>
          <xref ref-type="aff" rid="aff7">7</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Je´roˆ me Euzenat</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alfio Ferrara</string-name>
          <email>alfio.ferrara@unimi.it</email>
          <xref ref-type="aff" rid="aff5">5</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Willem Robert van Hage</string-name>
          <xref ref-type="aff" rid="aff9">9</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Laura Hollink</string-name>
          <email>L.Hollinkg@vu.nl</email>
          <xref ref-type="aff" rid="aff9">9</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Christian Meilicke</string-name>
          <xref ref-type="aff" rid="aff7">7</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Andriy Nikolov</string-name>
          <email>A.Nikolov@open.ac.uk</email>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dominique Ritze</string-name>
          <xref ref-type="aff" rid="aff7">7</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Franc¸ois Scharffe</string-name>
          <email>francois.scharffe@lirmm.fr</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Pavel Shvaiko</string-name>
          <email>pavel.shvaiko@infotn.it</email>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ondrˇej Sˇ va´b-Zamazal</string-name>
          <xref ref-type="aff" rid="aff6">6</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ca´ssia Trojahn</string-name>
          <email>cassia.trojahn@irit.fr</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ernesto Jimenez-Ruiz</string-name>
          <xref ref-type="aff" rid="aff8">8</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Bernardo Cuenca Grau</string-name>
          <xref ref-type="aff" rid="aff8">8</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Benjamin Zapilko</string-name>
          <email>benjamin.zapilko@gesis.org</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>INRIA</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Montbonnot</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>France</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jose-Luis.Aguirre</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Jerome.Euzenatg@inria.fr</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>GESIS - Leibniz Institute for the Social Sciences</institution>
          ,
          <addr-line>Cologne</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>IRIT - Universite ́ Toulouse II</institution>
          ,
          <addr-line>Toulouse</addr-line>
          ,
          <country country="FR">France</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>LIRMM</institution>
          ,
          <addr-line>Montpellier</addr-line>
          ,
          <country country="FR">France</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>TasLab</institution>
          ,
          <addr-line>Informatica Trentina, Trento</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff4">
          <label>4</label>
          <institution>The Open University</institution>
          ,
          <addr-line>Milton Keynes</addr-line>
          ,
          <country country="UK">United Kingdom</country>
        </aff>
        <aff id="aff5">
          <label>5</label>
          <institution>Universita` degli studi di Milano</institution>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff6">
          <label>6</label>
          <institution>University of Economics</institution>
          ,
          <addr-line>Prague</addr-line>
          ,
          <country country="CZ">Czech Republic</country>
        </aff>
        <aff id="aff7">
          <label>7</label>
          <institution>University of Mannheim</institution>
          ,
          <addr-line>Mannheim</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff8">
          <label>8</label>
          <institution>University of Oxford</institution>
          ,
          <country country="UK">UK</country>
        </aff>
        <aff id="aff9">
          <label>9</label>
          <institution>Vrije Universiteit Amsterdam</institution>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Ontology matching consists of finding correspondences between semantically related entities of two ontologies. OAEI campaigns aim at comparing ontology matching systems on precisely defined test cases. These test cases can use ontologies of different nature (from simple thesauri to expressive OWL ontologies) and use different modalities, e.g., blind evaluation, open evaluation, consensus. OAEI 2012 offered 7 tracks with 9 test cases followed by 21 participants. Since 2010, the campaign has been using a new evaluation modality which provides more automation to the evaluation. This paper is an overall presentation of the OAEI 2012 campaign.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The Ontology Alignment Evaluation Initiative1 (OAEI) is a coordinated international
initiative, which organizes the evaluation of the increasing number of ontology
matching systems [12; 10; 26]. The main goal of OAEI is to compare systems and algorithms
on the same basis and to allow anyone for drawing conclusions about the best
matching strategies. Our ambition is that, from such evaluations, tool developers can improve
their systems.</p>
      <p>Two first events were organized in 2004: (i) the Information Interpretation and
Integration Conference (I3CON) held at the NIST Performance Metrics for Intelligent
Systems (PerMIS) workshop and (ii) the Ontology Alignment Contest held at the
Evaluation of Ontology-based Tools (EON) workshop of the annual International Semantic
Web Conference (ISWC) [27]. Then, a unique OAEI campaign occurred in 2005 at the
workshop on Integrating Ontologies held in conjunction with the International
Conference on Knowledge Capture (K-Cap) [1]. Starting from 2006 through 2011 the OAEI
campaigns were held at the Ontology Matching workshops collocated with ISWC [11;
9; 3; 6; 7; 8]. In 2012, the OAEI results will be presented again at the Ontology
Matching workshop2 collocated with ISWC, in Boston, USA.</p>
      <p>Since last year, we have been promoting an environment for automatically
processing evaluations (x2.2), which has been developed within the SEALS (Semantic
Evaluation At Large Scale) project3. SEALS provided a software infrastructure, for
automatically executing evaluations, and evaluation campaigns for typical semantic web tools,
including ontology matching. An intermediate campaign was executed in March 2012
in coordination with the Second SEALS evaluation campaigns. This campaign, called
OAEI 2011.5, had five tracks and 18 participants, and it only ran on the SEALS
platform. The results of OAEI 2011.5 have been independently published on the OAEI web
site and are now integrated in this paper with those of OAEI 2012. For OAEI 2012,
almost all of the OAEI data sets were evaluated under the SEALS modality, providing
a more uniform evaluation setting.</p>
      <p>This paper synthetizes the 2012 evaluation campaign and introduces the results
provided in the papers of the participants. The remainder of the paper is organized as
follows. In Section 2, we present the overall evaluation methodology that has been used.
Sections 3-9 discuss the settings and the results of each of the test cases. Section 10
overviews lessons learned from the campaign. Finally, Section 11 concludes the paper.
2</p>
    </sec>
    <sec id="sec-2">
      <title>General methodology</title>
      <p>We first present the test cases proposed this year to the OAEI participants (x2.1). Then,
we discuss the resources used by participants to test their systems and the execution
environment used for running the tools (x2.2). Next, we describe the steps of the OAEI
campaign (x2.3-2.5) and report on the general execution of the campaign (x2.6).
1 http://oaei.ontologymatching.org
2 http://om2012.ontologymatching.org
3 http://www.seals-project.eu
2.1</p>
      <sec id="sec-2-1">
        <title>Tracks and test cases</title>
        <p>This year’s campaign consisted of 7 tracks gathering 9 data sets and different evaluation
modalities:
The benchmark track (x3): Like in previous campaigns, a systematic benchmark
series has been proposed. The goal of this benchmark series is to identify the areas in
which each matching algorithm is strong or weak by systematically altering an
ontology. This year, like in OAEI 2011, we used new systematically generated
benchmarks, based on four ontologies other than the original bibliographic one. For three
of these ontologies, the evaluation was performed in blind mode.</p>
        <p>The expressive ontologies track offers real world ontologies using OWL modelling
capabilities:
Anatomy (x4): The anatomy real world case is about matching the Adult Mouse
Anatomy (2744 classes) and a part of the NCI Thesaurus (3304 classes)
describing the human anatomy.</p>
        <p>Conference (x5): The goal of the conference task is to find all correct
correspondences within a collection of ontologies describing the domain of organizing
conferences (the domain being well understandable for every researcher).
Results were evaluated automatically against reference alignments and by using
logical reasoning techniques.</p>
        <p>Large biomedical ontologies (x8): This track aims at finding alignments between
large and semantically rich biomedical ontologies such as FMA, SNOMED
CT, and NCI. The UMLS Metathesaurus has been selected as the basis for the
track’s reference alignments.</p>
      </sec>
      <sec id="sec-2-2">
        <title>Multilingual</title>
        <p>Multifarm(x6): This dataset is composed of a subset of the Conference dataset,
translated in eight different languages (Chinese, Czech, Dutch, French,
German, Portuguese, Russian, and Spanish) and the corresponding alignments
between these ontologies.</p>
      </sec>
      <sec id="sec-2-3">
        <title>Directories and thesauri</title>
        <p>Library(x7): The library track is a real-word task to match two thesauri. The goal
of this track is to find whether the matchers can handle such lightweight
ontologies including a huge amount of concepts and additional descriptions. Results
are evaluated both against a reference alignment and through manual scrutiny.
Instance matching (x9): The goal of the instance matching track is to evaluate the
performance of different tools on the task of matching RDF individuals which originate
from different sources but describe the same real-world entity. Instance matching
is organized in two sub-tasks:
Sandbox: The Sandbox is a simple dataset that has been specifically conceived to
provide examples of some specific matching problems (like name spelling and
other controlled variations). This is intended to serve as a test for those tools
that are in an initial phase of their development process and/or for tools that are
facing very focused tasks, such as person name matching.</p>
        <p>IIMB: IIMB is an OWL-based dataset that is automatically generated by
introducing a set of controlled transformations in an initial OWL Abox, in order:
i) to provide an evaluation dataset for various kinds of data transformations,
including value transformations, structural transformations, and logical
transformations; ii) to cover a wide spectrum of possible techniques and tools.</p>
        <p>We do not present the New York Times (NYT) sub-track, held in the instance
matching track, since it had only one participant.
2.2</p>
      </sec>
      <sec id="sec-2-4">
        <title>The SEALS platform</title>
        <p>In 2010, participants of the Benchmark, Anatomy and Conference tracks were asked for
the first time to use the SEALS evaluation services: they had to wrap their tools as web
services and the tools were executed on the machines of the tool developers [28]. Since
2011, tool developers had to implement a simple interface and to wrap their tools in a
predefined way including all required libraries and resources. A tutorial for tool
wrapping was provided to the participants. This tutorial describes how to wrap a tool and
how to use a simple client to run a full evaluation locally. After local tests are passed
successfully, the wrapped tool was uploaded for a test on the SEALS portal4.
Consequently, the evaluation was executed by the organizers with the help of the SEALS
technology. This approach allowed to measure runtime and ensured the reproducibility
of the results. As a side effect, this approach ensures also that a tool is executed with
the same settings for all of the six tracks that were executed in the SEALS mode. This
was already requested in the previous years, however, this rule was sometimes ignored
by participants.
2.3</p>
      </sec>
      <sec id="sec-2-5">
        <title>Preparatory phase</title>
        <p>Ontologies to be matched and (where applicable) reference alignments have been
provided in advance during the period between June 15th and July 1st, 2012. This gave
4 http://www.seals-project.eu/join-the-community/
potential participants the occasion to send observations, bug corrections, remarks and
other test cases to the organizers. The goal of this preparatory period is to ensure that
the delivered tests make sense to the participants. The final test base was released on
July 6th, 2012. The data sets did not evolve after that.
2.4</p>
      </sec>
      <sec id="sec-2-6">
        <title>Execution phase</title>
        <p>During the execution phase, participants used their systems to automatically match the
test case ontologies. In most cases, ontologies are described in OWL-DL and serialized
in the RDF/XML format [4]. Participants can self-evaluate their results either by
comparing their output with reference alignments or by using the SEALS client to compute
precision and recall. They can tune their systems with respect to the non blind
evaluation as long as the rules published on the OAEI web site are satisfied. This phase has
been conducted between July 6th and August 31st, 2012.
2.5</p>
      </sec>
      <sec id="sec-2-7">
        <title>Evaluation phase</title>
        <p>Participants have been encouraged to provide (preliminary) results or to upload their
wrapped tools on the SEALS portal by September 1st, 2012. For the SEALS modality,
a full-fledged test including all submitted tools has been conducted by the organizers
and minor problems were reported to some tool developers, until finally a properly
executable version of all the tools has been uploaded on the SEALS portal.</p>
        <p>First results were available by September 22nd, 2012. The track organizers
provided these results individually to the participants. The results were published on the
respective web pages by the track organizers by October 15th. The standard
evaluation measures are precision and recall computed against the reference alignments. For
the matter of aggregation of the measures, we used weighted harmonic means (weights
being the size of the true positives). Another technique that was used is the
computation of precision/recall graphs so it was advised that participants provide their results
with a weight to each correspondence they found. We also computed for some tracks
the degree of alignment coherency. Additionally, we measured runtimes for all tracks
conducted under the SEALS modality.
2.6</p>
      </sec>
      <sec id="sec-2-8">
        <title>Comments on the execution</title>
        <p>For a few years, the number of participating systems has remained roughly stable: 4
participants in 2004, 7 in 2005, 10 in 2006, 17 in 2007, 13 in 2008, 16 in 2009, 15
in 2010, 18 in 2011, 21 in 2012. However, participating systems are now constantly
changing. In 2012, 7 systems have not participated in any of the previous campaigns.
The list of participants is summarized in Table 2.</p>
        <p>This year only four systems participated in the instance matching track; two of them
(LogMap and LogMapLt) participated also in the SEALS tracks.</p>
        <p>Two tools, OMR and OntoK, are not shown in the table and were not included in
the final evaluation.</p>
        <p>OMR generated alignments with correspondences containing non-existing entities
in one or both of the ontologies being matched. Moreover, it seems that its alignments
2
vS ch
rom SE TUO IDO OAMM treaud ttacohm agopM tapgoLM tsacahMM apSSSM LEEYDM tiapOm ISEBU issemm revSOM revSOM STTOA eeSEW iitakMW ++YAM
a M
1
2
=
l
a
t
o</p>
        <p>T
t
ap apL</p>
        <sec id="sec-2-8-1">
          <title>System A A A C G H H L L</title>
          <p>Confidence p p p p p p p p
benchmarks p p p p p p p p p p p p</p>
          <p>anatomy p p p p p p p p p p
conference p p p p p p p p p p p p p
multifarm p p p p p p p p p p p p p</p>
          <p>library p p p p p p p p p
large bio p p p p p p p p p
sandbox p p
iimb p p
are iteratively composed one by one, and that the last alignment contains all
correspondences from other alignments but with changed namespaces, leading in many cases to
very low precisions with quite high recalls. This behavior was reproduced along all the
tracks.</p>
          <p>OntoK revealed several bugs when preliminary tests were executed; the developers
were not able to fix all of them before proceeding to the final evaluation.</p>
          <p>Another tool was disqualified because we found that in quite a large number of
cases across different tracks, the results it provided were too often exactly those of
another matcher, including syntactic errors. After further scrutiny, it became obvious
that the system implemented specific tricks to run well the OAEI tests instead of being
a genuine matcher.</p>
          <p>Finally, some systems were not able to pass some test cases as indicated in Table 2
The summary of the results track by track is presented in the following sections.
3</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Benchmark</title>
      <p>The goal of the benchmark data set is to provide a stable and detailed picture of each
algorithm. For that purpose, algorithms are run on systematically generated test cases.
3.1</p>
      <sec id="sec-3-1">
        <title>Test data</title>
        <p>The systematic benchmark test set is built around a seed ontology and many variations
of it. Variations are artificially generated, and focus on the characterization of the
behavior of the tools rather than having them compete on real-life problems. They are
organized in three groups:
Simple tests (1xx) such as comparing the reference ontology with itself;
Systematic tests (2xx) obtained by discarding/modifying features from the reference
ontology. Considered features are names of entities, comments, the specialization
hierarchy, instances, properties and classes.</p>
      </sec>
      <sec id="sec-3-2">
        <title>Real-life ontologies (3xx) found on the web.</title>
        <p>Full description of the systematic benchmark test set can be found on the OAEI web
site.</p>
        <p>This year the focus was on scalability, i.e., the ability of matchers to deal with
data sets of increasing number of elements. To that extent, we departed from the usual
bibliographic benchmark that has been used since 2004. We used a test generator [25]
in order to reproduce the structure of benchmark for different seed ontologies, from
different domains and with different sizes. We have generated five different benchmarks
against which matchers have been evaluated:
benchmark (biblio) allows for comparison with other systems since 2004. The seed
ontology concerns bibliographic references and is inspired freely from BibTeX. It
contains 33 named classes, 24 object properties, 40 data properties, 56 named
individuals and 20 anonymous individuals. This year we have used a new automatically
generated version for this benchmark.
benchmark2 is related with the commerce domain. Its seed ontology contains 74
classes, 106 object properties and 35 named individuals.
benchmark3 is related with bioinformatics. Its seed ontology contains 233 classes, 83
object properties, 38 data properties and 681 named individuals.
benchmark4 is related with the product design domain. Its seed ontology contains 182
classes, 88 object properties, 202 data properties and 376 named individuals.
benchmark5 (finance) is based on the Finance ontology5, which contains 322 classes,
247 object properties, 64 data properties and 1113 named individuals. It has been
already considered in OAEI 2011 and 2011.5.</p>
        <p>Having these five data sets also allowed us to better evaluate the dependency
between the results and the seed ontology. biblio and finance were disclosed to the
participants; the other benchmarks were tested in blind mode.</p>
        <p>For all data sets, the reference alignments are still limited: they only match named
classes and properties and use the “=” relation with confidence of 1.
3.2</p>
      </sec>
      <sec id="sec-3-3">
        <title>Results</title>
        <p>We evaluated 18 systems from the 22 participating in the SEALS tracks (Table 2).
Besides OMR, OntoK and TOAST, excluded for reasons already explained, requirements
for executing CODI in our machines were not met due to software license problems. In
the following, we present the evaluation results.
5 http://www.fadyart.com/ontologies/data/Finance.owl
Compliance Benchmark compliance tests have been executed on two cores and 8GB
RAM Debian virtual machines (VM) running continuously in parallel, except for the
finance data set which required 10GB RAM for some systems. For each benchmark
seed ontology, data sets of 94 tests were automatically generated. We excluded from the
whole systematic benchmark test set (111 tests), the tests that were not automatically
generated: 102–104, 203–210, 230–231, 301–304.</p>
        <p>Table 3 shows the compliance results (harmonic means of precision, F-measure and
recall) of the five benchmark data sets for all the participants, as well as those given by
edna, a simple edit distance algorithm on labels which is used as a baseline. The table
also presents the confidence-weighted values of the same parameters.</p>
        <p>Only ASE presented problems to process the finance data set, and MEDLEY did not
completed the evaluation of the benchmark4 and the finance data sets in a reasonable
amount of time (12 hours).</p>
        <p>Table 3 shows that, with few exceptions, all systems achieve higher levels of
precision than recall for all benchmarks. Besides, no tool had a worst precision performance
than the baseline, and only ServOMapLt had a significantly lower recall, with LogMap
having slightly lower values for the same measure.</p>
        <p>For those systems which have provided their results with confidence measures
different from 1 or 0 (see Table 2), it is possible to draw precision/recall graphs and to
compute weighted precision and recall. Systems providing accurate confidence values
are rewarded by these measures [7]. Precision is increased for systems with many
incorrect correspondences and low confidence, like edna and MaasMatch. Recall is
decreased for systems with apparently many correct correspondences and low confidence,
like AROMA, LogMap and YAM++. The variation for YAM++ is quite impressive,
especially for the biblio benchmark.</p>
        <p>Precision/recall graphs are given in Figure 1. The graphs show the real precision
at n% recall and they stop when no more correspondences are available; then the end
point corresponds to the precision and recall reported in Table 3.</p>
        <p>Comparison across data sets From the results in Table 3, we observe that on average,
all matchers have better performance than the baseline. The group of best systems in
each data set remains relatively the same across the different benchmarks: YAM++,
MapSSS and AROMA seems to generate the best alignments in terms of F-measure.</p>
        <p>We also observe a high variance in the results of some systems across different
benchmarks. Outliers are, for example, a poor precision for AROMA with
benchmark3 and a poor recall for ServOMapLt with biblio. These variations suggest
interdependencies between matching systems and datasets that would need additional
analysis requiring a deep knowledge of the evaluated systems. Such information is, in
particular, useful for developers to detect and fix problems specific to their tools.</p>
        <p>We also compare the results obtained by the tools that have participated in OAEI
2011 and 2012 on biblio and finance benchmarks which have been used in both
campaigns. With respect to biblio, we observe negative variations between 2-4% for some
tools, as well as positive variations between 1-3% for others. Regarding finance, the
number of systems able to pass the tests increased, and for many tools that passed the
tests in previous campaigns, positive variations between 1-3% were observed.
00..
1.
1.</p>
        <p>recall
benchmark4</p>
        <p>1.</p>
        <sec id="sec-3-3-1">
          <title>LogMap</title>
          <p>HotMatch
Hertuda
GOMMA
YAM++</p>
          <p>edna
AUTOMSv2</p>
          <p>ASE
AROMA</p>
        </sec>
        <sec id="sec-3-3-2">
          <title>Wmatch</title>
          <p>WeSeE
ServOMapLt
ServOMap</p>
          <p>Optima
MEDLEY</p>
          <p>MapSSS
MaasMatch
LogMapLt
0.02.</p>
          <p>recall
benchmark3</p>
          <p>1.
1.
00..</p>
          <p>recall
f inance
biblio</p>
          <p>recall
benchmark2</p>
          <p>Fig. 1. Precision/recall graphs for benchmarks. The alignments generated by matchers are cut
under a threshold necessary for achieving n% recall and the corresponding precision is
computed. Systems for which these graphs are not meaningful (because they did not provide graded
confidence values) are drawn in dashed lines.</p>
        </sec>
        <sec id="sec-3-3-3">
          <title>GOMMA</title>
        </sec>
        <sec id="sec-3-3-4">
          <title>AUTOMSv2</title>
        </sec>
        <sec id="sec-3-3-5">
          <title>AROMA</title>
        </sec>
        <sec id="sec-3-3-6">
          <title>MEDLEY</title>
          <p>MapSSS</p>
        </sec>
        <sec id="sec-3-3-7">
          <title>MaasMatch</title>
          <p>LogMapLt</p>
        </sec>
        <sec id="sec-3-3-8">
          <title>LogMap</title>
        </sec>
        <sec id="sec-3-3-9">
          <title>HotMatch YAM</title>
        </sec>
        <sec id="sec-3-3-10">
          <title>WikiMatch</title>
        </sec>
        <sec id="sec-3-3-11">
          <title>WeSeE</title>
          <p>ServOMapLt</p>
        </sec>
        <sec id="sec-3-3-12">
          <title>ServOMap</title>
        </sec>
        <sec id="sec-3-3-13">
          <title>Optima</title>
          <p>Runtime Regarding runtime, scalability has been evaluated from two perspectives:
on the one hand we considered the five seed ontologies from different domains and
with different sizes; on the other hand we considered the finance ontology scaling it
by reducing its size by different factors (25%, 50% and 75%). For the two modalities,
the data sets were composed of a subset containing 15 tests extracted from a whole
systematic benchmark.</p>
          <p>All the experiments were done on a 3GHz Xeon 5472 (4 cores) machine running
Linux Fedora 8 with 8GB RAM. Figures 2 and 3 show semi-log graphs for runtime
measurements against data set sizes in terms of classes and properties.</p>
          <p>First of all we observe that for the finance tests, the majority of tools have a
monotonic increasing run time, with the exception of MapSSS which exhibits an almost
constant response time. On the contrary, this does not happen for the benchmark tests, for
which the benchmark3 test causes a break in the monotonic behavior. One reason for
this could be that the benchmark3 ontology has a more complex structure than the
other ones, and that matchers basing their work in structural analysis are more affected
than others.
Having five different benchmarks allowed us to see the degree of dependency on the
shapes and sizes of the seed ontologies. Even if differences were observed in the
results obtained, we can conclude that excepting a few cases, the tools do not show large
variations in the results to the different benchmarks.</p>
          <p>Regarding compliance, we observed that with very few exceptions, the systems
performed always better than the baseline. However, there were no significant
improvements in the performance of the systems with respect to their performance in last OAEI
campaigns (OAEI 2011 and 2011.5).</p>
          <p>Regarding runtime, we noticed that given ontologies of different sizes sharing the
structure and knowledge domain to a big extent, the response time follows generally the
shape of a monotonic increasing function. On the contrary, this is not always true if the
shapes or the knowledge domains of the ontologies change.</p>
          <p>The results obtained this year allow us to confirm that we cannot conclude on a
general correlation between runtime and quality of alignments. The slowest tools do
not necessarily provide the best compliance results.
4</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Anatomy</title>
      <p>The anatomy track confronts matchers with a specific type of ontologies from the
biomedical domain. In this domain, many ontologies have been built covering
different aspects of medical research. We focus on two fragments of biomedical ontologies
which describe the human anatomy and the anatomy of the mouse. The data set of
this track has been used since 2007 with some improvements over the last years. For a
detailed description, we refer the reader to the OAEI 2007 results paper [9].
4.1</p>
      <sec id="sec-4-1">
        <title>Experimental setting</title>
        <p>Contrary to previous years, we conducted only a single evaluation experiment by
executing each matcher in its standard setting. In our experiments, we compare
precision, recall, F-measure and recall+. The measure recall+ indicates the amount of
detected non-trivial correspondences. The matched entities in a non-trivial
correspondence do not have the same normalized label. The approach that generates only
trivial correspondences is depicted as baseline StringEquiv in the following section. In
OAEI 2011/2011.5, we executed the systems on our own (instead of analyzing
submitted alignments) and reported about measured runtimes. Unfortunately, we did not use
exactly the same machine compared to previous years. Thus, runtime results are not
fully comparable across years. In 2012, we used an Ubuntu machine with 2.4 GHz (2
cores) and 3GB RAM allocated to the matching systems. Further, we used the SEALS
client to execute our evaluation. However, we slightly changed the way precision and
recall are computed, i.e., the results generated by the SEALS client vary in some cases
by 0.5% compared to the results presented below. In particular, we remove trivial
correspondences in the oboInOwl namespace like</p>
        <p>http://...oboInOwl#Synonym = http://...oboInOwl#Synonym
as well as correspondences expressing relations different from equivalence. We also
checked whether the generated alignment is coherent, i.e., there are no unsatisfiable
concepts when the ontologies are merged with the alignment.
4.2</p>
      </sec>
      <sec id="sec-4-2">
        <title>Results</title>
        <p>In Table 4, we listed all the participating systems that generated an alignment in less
than ten hours. The listing comprises 17 entries. Three systems participated each with
two different versions. This is GOMMA (the extension ”‘-bk”’ refers to the usage of
background knowledge), LogMap and ServoMap (both systems have submitted an
additional lightweight version that uses only some core components). Thus, 14 different
systems generated an alignment within the given time frame. There were three
participants ASE, AUTOMSv2, and MEDLEY that did no finish in time or threw an exception.
Due to several hardware and software requirements, we could not install TOAST on the
machine on which we executed the other systems. We executed the matcher on a
different machine of similar strength. For this reason, the runtime of TOAST is not fully
comparable to the other runtimes (indicated by an asterisk).</p>
        <p>Compared to previous years, we can observe a clear speed increase. In 2012, five
systems (counting two versions of the same system as one) finished in less than 100
seconds, compared to two systems in OAEI 2011 and three systems in OAEI 2011.5.
This has to be mentioned as a positive trend. Moreover, in 2012 we were finally able
to generate results for 14 of 17 systems, while in 2011 only 7 of 14 systems generated
results of acceptable quality within the given time frame. The top systems in terms of
runtimes are GOMMA, LogMap and ServOMap. Depending on the specific version of
the systems, they require between 6 and 34 seconds to match the ontologies. Table 4
shows that there is no correlation between the quality of the generated alignment in
terms of precision and recall and the required runtime. This result has also been
observed in previous campaigns.</p>
        <p>Table 4 also shows the results for precision, recall and F-measure. We ordered the
matching systems with respect to the achieved F-measure. The F-measure is an
aggregation of precision and recall. Depending on the application for which the generated
alignment is used, it might, for example, be more important to favor precision over recall
or vice versa. In terms of F-measure, GOMMA-bk is ahead of the other participants.
The differences of GOMMA-bk compared to GOMMA (and the other systems) are
based on mapping composition techniques and the reuse of mappings between UMLS,
Uberon and FMA. GOMMA-bk is followed by a group of matching systems (YAM++,
CODI, LogMap, GOMMA) generating alignments that are very similar with respect to
precision, recall and F-measure (between 0.87 and 0.9 F-measure). To our knowledge,</p>
        <sec id="sec-4-2-1">
          <title>Recall Recall+ Coherent 0.923 0.898</title>
        </sec>
        <sec id="sec-4-2-2">
          <title>GOMMA-bk YAM++ CODI LogMap</title>
          <p>GOMMA
MapSSS
WeSeE
LogMapLt
TOAST
ServOMap
ServOMapL
HotMatch
AROMA
StringEquiv</p>
        </sec>
        <sec id="sec-4-2-3">
          <title>Wmatch Optima Hertuda MaasMatch</title>
          <p>Runtime(s)
these systems either do not use specific background knowledge for the biomedical
domain or use it only in a very limited way. The results of these systems are at least as
good as the results of the best system in OAEI 2007-2010, only AgreementMaker, using
additional background knowledge, could generate better results in OAEI 2011. Most of
the evaluated systems achieve an F-measure that is higher than the baseline that is based
on (normalized) string equivalence. Moreover, nearly all systems find many non-trivial
correspondences. An exception is the system ServOMap (and its lightweight version)
that generates an alignment that is quite similar to the alignment generated by the
baseline approach.</p>
          <p>Concerning alignment coherency, only CODI and LogMap generated coherent
alignments. We have to conclude that there have been no improvements compared
to OAEI 2011 with respect to taking alignment coherence into account. LogMap and
CODI generated a coherent alignment already in 2011. Furthermore, is can be observed
(see Section 5) that YAM++ generates coherent alignments for the ontologies of the
Conference track, which are much smaller but more expressive, while it fails to generate
coherent alignments for larger biomedical ontologies (see also Section 8). This might
be based on using different settings for larger ontologies to avoid reasoning problems
with larger input.
Most of the systems top the string equivalence baseline with respect to F-measure.
Moreover, we reported that several systems achieve very good results compared to the
evaluations of the previous years. A clear improvement compared to previous years
can be seen in the number of systems that are able to generate such results. It is also a
positive trend that more matching systems can create good results within short runtimes.
This might partially be caused by offering the Anatomy track constantly in its current
form over the last six years together with publishing matcher runtimes. At the same
time, new tracks that deal with large (and very large) matching tasks are offered. These
tasks can only be solved with efficient matching strategies that have been implemented
over the last years.
5</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Conference</title>
      <p>The conference test case introduces matching several moderately expressive ontologies.
Within this track, participant results were evaluated against reference alignments
(containing merely equivalence correspondences) and by using logical reasoning. As last
year, the evaluation has been supported by the SEALS technology. This year we used
refined and harmonized reference alignments.
– Generally understandable domain. Most ontology engineers are familiar with
organizing conferences. Therefore, they can create their own ontologies as well as
evaluate the alignments among their concepts with enough erudition.
– Independence of ontologies. Ontologies were developed independently and based
on different resources, they thus capture the issues in organizing conferences from
different points of view and with different terminologies.
– Relative richness in axioms. Most ontologies were equipped with OWL DL axioms
of various kinds; this opens a way to use semantic matchers.</p>
      <p>Ontologies differ in their numbers of classes, of properties, in expressivity, but also
in underlying resources.
5.2
This year, we provide results in terms of F0:5-measure, F1-measure and F2-measure,
comparison with baseline matcher, precision/recall triangular graph and coherency
evaluation.
6 http://nb.vse.cz/˜svatek/ontofarm.html</p>
      <p>Matcher
YAM++
LogMap
CODI
Optima
GOMMA</p>
      <p>Hertuda
MaasMatch</p>
      <p>Wmatch</p>
      <p>WeSeE
HotMatch
LogMapLt
Baseline
ServOMap
ServOMapLt
MEDLEY</p>
      <p>ASE*</p>
      <p>MapSSS
AUTOMSv2*</p>
      <p>AROMA</p>
      <sec id="sec-5-1">
        <title>Evaluation based on reference alignments We evaluated the results of participants</title>
        <p>against new reference alignments (labelled as ra2 on the conference web-page). This
includes all pairwise combinations between 7 different ontologies, i.e. 21 alignments.</p>
        <p>New reference alignments have been generated as a transitive closure computed
on the original reference alignments. In order to obtain a coherent result, conflicting
correspondences, i.e., those causing unsatisfiability, have been manually inspected and
removed. As a result the degree of correctness and completeness of the new reference
alignment is probably slightly better than for the old one. However, the differences are
relatively limited. Whereas the new reference alignments are not open, the old reference
alignments (labeled as ra1 on the conference web-page) are available. These represent
close approximation of the new ones.</p>
        <p>Precision F0:5-measure F1-measure F2-measure Recall
7 String matcher based on string equality applied on local names of entities which were
lowercased before.</p>
        <p>F1-measure=0.7</p>
        <p>F1-measure=0.6
F1-measure=0.5
YAM++
LogMap</p>
        <sec id="sec-5-1-1">
          <title>Baseline</title>
          <p>Comparison with previous years Seven matchers also participated in OAEI 2011 and
10 matchers participated in OAEI 2011.5. The largest improvement was achieved by
Optima (precision from .23 to .60 and recall from .52 to .63) and YAM++ (precision
from .74 to .78 and recall from .51 to .65) between OAEI 2011 and 2012. Four
matchers were improved between OAEI 2011.5 and 2012 and five matchers were improved
between OAEI 2011 and 2012.</p>
          <p>Runtimes We measured the total time of generating all 120 alignments. It was executed
on a laptop with Ubuntu machine running on Intel Core i5, 2.67GHz and 4GB RAM. In
all, four matchers finished all 120 test cases within 1 minute (LogMapLt - 44 seconds,
Hertuda - 49 seconds, ServOMapLt - 50 seconds and AROMA - 55 seconds). Next, four
matchers needed less than 2 minutes (ServOMap, HotMatch, GOMMA and ASE). 10
minutes were enough for the next four matchers (LogMap, MapSSS, MaasMatch and
AUTOMSv2). Finally, 5 matchers needed up to 40 minutes to finish all 120 test cases
(Optima - 22 min, MEDLEY - 30 min, WeSeE - 36 min, CODI - 39 min and Wmatch
40 min). YAM++ did not finish the task of matching all 120 test cases within five hours.</p>
          <p>In conclusion, regarding performance we can see (clearly from Figure 4) that
YAM++ is on the top. Next three matchers (LogMap, CODI, and Optima) are relatively
close to each other. This year there is a largest group of matchers which are above
baseline than previous years. Moreover, it is very positive that several matchers managed to
improve their performance in such a short time as one year or even half a year.
Evaluation based on alignment coherence As in previous years, we applied the
Maximum Cardinality measure to evaluate the degree of alignment incoherence. Details on
this measure and its implementation can be found in [19]. The results of our
experiments are depicted in Table 6. Contrary to last year, we only compute the average for
all test cases of the conference track for which there exists a reference alignment. The
presented results are thus aggregated mean values for 21 test cases. In some cases we
could not compute the degree of incoherence due to the combinatorial complexity of
the problem. In this case we were still able to compute a lower bound for which we
know that the actual degree is (probably only slightly) higher. Such results are marked
with a *. Note that we only included in our evaluation those matchers that generated
alignments for all test cases of the subset with reference alignments.</p>
        </sec>
        <sec id="sec-5-1-2">
          <title>Matcher Alignment Size Incoherence Degree Incoherent Alignments</title>
        </sec>
        <sec id="sec-5-1-3">
          <title>Matcher Alignment Size Incoherence Degree Incoherent Alignments</title>
          <p>A
M
O
R</p>
          <p>A
20.9
19.4%
18</p>
          <p>I
D
O</p>
          <p>C
11.1
0%
0</p>
          <p>Four matchers can generate coherent alignments. These matchers are CODI,
LogMap, ServOMapLt, and YAM++. However, it is not always clear whether this is
related to a specific approach that tries to ensure the coherency, or whether this is only
indirectly caused by generating small and highly precise alignments. In particular, the
coherence of the alignments from ServOMapLt, which does not apply any semantic
technique, might be caused by such an approach. The matcher generates overall the
smallest alignments. Because there are some matchers that cannot generate a coherent
alignment for alignments that have in average a size from 8 to 12 correspondences, it can
be assumed that CODI, LogMap, and YAM++ have implemented specific
coherencypreserving methods. Those matchers generate also between 8 to 12 correspondences,
however, none of their alignments is incoherent. This is an important improvement
compared to the previous years, for which we observed that only one or two
matchers managed to generate (nearly) coherent alignments.
6</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>MultiFarm</title>
      <p>In order to be able to evaluate the ability of matching systems to deal with ontologies in
different languages, the MultiFarm dataset has been proposed [21]. This dataset results
from the translation of seven Conference track ontologies (cmt, conference, confOf,
iasted, sigkdd, ekaw and edas), in eight languages: Chinese, Czech, Dutch, French,
German, Portuguese, Russian, and Spanish (+ English). The translations in 8 languages
+ English result in 36 pairs of languages. Overall, we have 36 49 matching tasks (see
[21] for details on the pairs of languages and ontologies).
For the 2012 evaluation campaign, we have used a subset of the whole MultiFarm
dataset, omitting all the pairs of matching tasks involving the ontologies edas and ekaw
(resulting in 36 25 matching tasks). This allows for using the omitted test cases as
blind evaluation tests in the future. Contrary to OAEI 2011.5, we have included the
Chinese and Russian translations.</p>
      <p>Within the MultiFarm dataset, we can distinguish two types of matching tasks: (i)
those test cases in which two different ontologies have been translated in different
languages (cmt–confOf, for instance); and (ii) those test cases where the same ontology
has been translated in different languages (cmt–cmt, for instance). For the test cases of
type (ii), good results are not directly related to the use of specific techniques for
dealing with ontologies in different natural languages, but on the ability to exploit the fact
that both ontologies have an identical structure (and that the reference alignment covers
all entities described in the ontologies).</p>
      <p>This year, seven participating systems (out of 21 systems participated in OAEI,
see Table 2) use specific multilingual methods: ASE, AUTOMSv2, GOMMA,
MEDLEY, WeSeE, Wmatch, and YAM++. The other systems are not specifically designed
to match ontologies in different languages, nor do they make use of a component that
can be used for that purpose.</p>
      <p>ASE (a version of AUTOMSv2) uses the Microsoft Bing Translator API for
translating the ontologies to English. This process is performed before ASE profiling,
configuration and matching methods are executed, so its input will consider only English
labeled copies of ontologies. AUTOMSv2 follows a similar approach, but re-using a
free Java API named WebTranslator. GOMMA uses a free translation API
(MyMemory), for translating non-English concept labels to English. The translations are
associated to concepts as new synonyms. Iteratively, GOMMA creates a bilingual dictionary
for each ontology, which is used within the matching process. WeSeE and YAM++,
as AUTOMS2, use Microsoft Bing Translation for translating the labels contained in
the input ontologies to English. Then, the translated English ontologies are matched
using standard matching procedures of WeSeE and YAM++. Finally, Wmatch exploits
Wikipedia for extracting inter-language. All matchers (with the exception of Wmatch)
use English as a pivot language. MEDLEY is the only matcher for which we have no
information on the techniques it exploits to deal with multilingualism.</p>
      <sec id="sec-6-1">
        <title>Execution setting and runtime</title>
        <p>All systems (with the exception of CODI) have been executed on a 3GHz Xeon 5472
(4 cores) machine, running Linux Fedora 8 with 8GB RAM. The runtimes for each
system can be found in Table 7. As CODI has been executed on a different setting, its
runtime cannot be compared with the runtime of other systems. We observe large
differences between the time required for a system to complete the 36 25 matching tasks.
While WeSeE requires = 15 minutes, Wmatch takes = 17 hours. It is mainly due to the
fact that Wmatch uses an external resource (Wikipedia) for looking for inter-languages
links. This requires considerably more time than simpler requests for translations.
6.3</p>
      </sec>
      <sec id="sec-6-2">
        <title>Overall results</title>
        <p>Before discussing the results per pairs of languages, we present the aggregated results
for the test cases within type (i) and (ii) matching task. Table 7 shows the aggregated
results. Systems not listed in this table have generated empty alignments, for all test
cases (ServOMap and ServOMapL), have thrown exceptions (ASE, OMR, OntoK), or
have not been evaluated due to their execution requirements (TOAST). AROMA was
not able to generate alignments for test cases of type (i).</p>
        <p>
          As shown in Table 7, we can observe significant differences between the results
obtained for each type of matching task, specially in terms of precision. While the
systems that implement specific multilingual techniques clearly generate the best results
for test cases of type (i), only one of these systems (YAM++) is among the top (
          <xref ref-type="bibr" rid="ref3">3</xref>
          )
F-measures for type (ii) test cases. For these test cases, MapSSS and CODI, which
implement strategies to deal with ontologies that share structural similarities, have
better results. Due to this feature, they have preserved their overall performance this year
(using the same version as for the last campaign), even though harder tests have been
included in 2012 (Chinese and Russian translations). On the other hand, for the other
matchers in the same situation, the differences in the results are explained by the
presence of such harder tests cases this year.
        </p>
        <p>Furthermore, as observed in the OAEI 2011.5 campaign and corroborated in 2012,
MapSSS and CODI have generated very good results on the benchmark track. This
suggests a strong correlation between the ranking in Benchmark and the ranking for
MultiFarm test cases of type (ii), while there is, on the other hand, no (or only a very
weak) correlation between results for test cases of type (i) and type (ii). For that reason,
we only analyze in the following the results for test cases of type (i).</p>
        <p>ttacohHM agopLM taogpLLM tsaachMM apSSSM</p>
        <p>For non-specific systems, though all of them cannot deal at all with Chinese and
Russian languages, MapSSS, LogMap and CODI obtain better results. These system
perform better for some specific pairs: MapSSS (es-pt, en-es, de-en), LogMap and
LogMapL (es-pt, de-en, en-es, cz-pt), CODI (es-pt, de-en, cz-pt). From all these
systems, the pairs es-pt and de-en are obtain better F-measures. Again, we can see that
similarities in the language vocabulary have an important role in the matching task. On
the other hand, although it is likely harder to find correspondences between cz-pt than
es-pt, for some systems their best score include such combinations (cz-pt, for CODI and
LogMapLt). This can be explained by the specific way systems combine their internal
matching techniques (ontology structure, reasoning, coherence, linguistic similarities,
etc).
We observe that specific methods for dealing with ontologies that are described in
different languages, work much better than non specific systems. This is the expected
behavior. However, the absolute results are still not very good, if compared to the top
results of the original Conference dataset (= .75 F-measure for the best matcher). For all
specific multilingual methods, the techniques implemented in YAM++ generate the best
alignments in terms of F measure (= .53 overall F-measure for both types of matching
tasks). YAM++ is followed by WeSeE and GOMMA, respectively. With the exception
of Wmatch, all systems use English as pivot language.</p>
        <p>Looking at the participation in the OAEI 2011.5 campaign, only 3 participants, out
of 19 have used specific techniques. We counted this year with new systems
implementing specific multilingual methods (seven out of 21). Although there is room for
improvements to achieve the same level of compliance than in the original dataset, the
increasing number of matchers dealing with multilingual matching is a sign that the
field is progressing.
7</p>
      </sec>
    </sec>
    <sec id="sec-7">
      <title>Library</title>
      <p>This library track is a new track within the OAEI. Its challenge is to match two
realworld thesauri: TheSoz (social sciences) and STW (economics). However, there has
already been a library track from 2007 to 2009 [9; 3; 6] using different thesauri,8 as well
as other thesaurus tracks like the food track9 and the environment track.10 A common
motivation is that these tracks use a real-world scenario, i.e., real thesauri. For us, it is
still a motivation to develop a better understanding, how thesauri differ from ontologies
and how these differences affect state-of-the-art ontology matchers. We hope that the
community accepts the challenge and that subsequently significant improvements can
be seen that push the quality of automatic alignments between thesauri. Furthermore,
we will use the matching results as input for the maintainers of the reference alignment
to improve the alignment. While a full manual evaluation of all matching results is
certainly not feasible, this way we constantly improve the reference alignment and mitigate
possible weaknesses and incompleteness.
8 http://oaei.ontologymatching.org/2009/library/
9 http://oaei.ontologymatching.org/2006/food/
10 http://oaei.ontologymatching.org/2007/environment/
The library track uses two real-world thesauri, that are in many aspects comparable.
They have roughly the same size, are both originally developed in German, are today
both multilingual, both have English translations, and, most important, despite being
from two different domains, they have huge overlapping areas. Not least, both are freely
available in RDF using SKOS.11
STW The STW Thesaurus for Economics provides vocabulary on any economic
subject: more than 6,000 standardized subject headings (skos:Concepts, with preferred
labels in English and German) and 19,000 additional keywords (skos:altLabels) in
both languages. The vocabulary was developed for indexing purposes in libraries and
economic research institutions and includes technical terms used in law, sociology,
or politics, and geographic names. The entries are richly interconnected by 16,000
skos:broader/narrower and 10,000 skos:related relations. An additional hierarchy of
main categories provides a high level overview. The vocabulary is maintained on a
regular basis by ZBW12, the German National Library of Economics - Leibniz Centre
for Economics, and has been translated into SKOS [24].</p>
      <p>TheSoz The Thesaurus for the Social Sciences (TheSoz) serves as a crucial instrument
for indexing documents and research information in the social sciences. It contains
overall about 12,000 keywords, from which 8,000 are standardized subject headings (in
English and German) and 4,000 additional keywords. The thesaurus covers all topics and
sub-disciplines of the social sciences. Additionally terms from associated and related
disciplines are included in order to support an accurate and adequate indexing process
of interdisciplinary, practical-oriented and multi-cultural documents. The thesaurus is
owned and maintained by GESIS13, the Leibniz Institute for the Social Sciences, and is
available in SKOS [31].</p>
      <p>Reference Alignment An alignment between STW and TheSoz already exists and has
been manually created by domain experts in the KoMoHe project [18]. However, it does
not cover the changes and enhancements in both thesauri since 2006. It is available in
SKOS with the different matching types SKOS:exactMatch, SKOS:broaderMatch and
SKOS:narrowerMatch. Within the reference alignment, concepts of one thesaurus are
aligned to more than one concept of the second thesaurus. Thus, we face a n:m
mapping of the concepts. All in all, 4,285 TheSoz concepts and 2,320 STW concepts are
aligned with 2,839 exact matches, 34 broader matches and 1,416 narrower matches.
It is important to note that the reference alignment only contains alignments between
the descriptors of both thesauri, i.e., the concepts that are actually used for document
indexing. The upper part of the hierarchy consists of non-descriptor concepts (or
categories) that are only used to organize the descriptors below them. We take this specialty
into account as we only assess the generated alignments between descriptors and ignore
alignments between non-descriptors. However, this might change in the future, as the
11 http://www.w3.org/2004/02/skos/
12 http://zbw.eu/index-e.html
13 http://www.gesis.org/en/home
results of this track could be used to extend the reference alignment to the upper part of
the hierarchy.</p>
      <p>Transformation Most ontology matching systems taking part in the OAEI only work
on OWL ontologies and are not (yet) ready to deal with the specialties of a thesaurus.
To get first results and to lower the barrier of taking part in this challenge, we provide
OWL versions of the thesauri, generated as follows:
skos:concept
skos:prefLabel, skos:altLabel
skos:scopeNote, skos:notation
A skos:narrower B
skos:broader
skos:related
!
!
!
!
!
!
owl:class
rdfs:label
rdfs:comment
B rdfs:subClassOf A
rdfs:subClassOf
rdfs:seeAlso</p>
      <p>This transformation obviously is not lossless. First and foremost, within the
ontology, it is not recognizable which label is the preferred one and which ones are alternative
labels. Since matching systems mostly have to focus on the labels, this transformation
might lead to suboptimal results. There are, however, more fundamental differences
between ontologies and thesauri that we show in the next section.</p>
      <p>SKOS vs. OWL Thesauri – and other, similar knowledge structures like classifications
or taxonomies – are often called lightweight ontologies [29]. However, ontologies and
thesauri fundamentally differ. This is also reflected by the fact that with SKOS a specific
model for thesauri exists that is formulated in OWL. There, a skos:Concept is not
an owl:Class. Concepts sometimes represent classes, for example the STW concept
COMMODITIES. However, this is not true for every skos:Concept, e.g., the STW
concept GERMANY is an instance, not a class.</p>
      <p>Having a look at the subordinate concepts of COMMODITIES, they mostly indeed
represent classes, like METALS – METAL PRODUCTS – RAZOR. Nevertheless, the
relation in SKOS between these concepts is skos:broader, not rdfs:subClassOf.
A subclass relationship states that if a class B is a subclass of a class A, then all
instances of B will also be instances of A. Here, all metals are commodities, but not all
metal products are metals: the razor consists partly of metal, but it is no metal.</p>
      <p>Thesauri are created for a very specific purpose and are used in a predetermined
way. This is inter alia reflected by the distinction of descriptors and non-descriptors.
Only descriptors are assigned to publications during the indexation or classification.
All non-descriptors serve as additional information to provide the correct context or to
build up a proper hierarchy. Such a distinction typically does not exist in an ontology.</p>
      <p>Very difficult for ontology matchers (not necessarily only automatic ones) is the
quasi-synonymy of the describing labels for a concept. A skos:altLabel is often
used to indicate subconcepts that should be subsumed under the concept in question
to avoid extensive subclassing. As an example, the STW descriptor 14117-2 with the
preferred English label “Tropical fruit” has German alternative labels like “pineapple”,
“avocado”, and “kiwi”. In an (OWL) ontology, these alternative labels should be
modeled as subclasses of the class TROPICAL FRUIT. In contrast, other alternative labels
might really indicate alternative, synonymous terms for the preferred label.</p>
      <p>At last, instead of arbitrary semantic relations that are part of an ontology, in
thesauri, relations like skos:related or compoundEquivalence in TheSoz exist.
They often contain information for the (manual) use of the thesaurus for indexing, i.e.,
which descriptor should be used in which case or how combinations of descriptors are to
be used. Transferring them to ontological relations is not always possible and depends
often on the single case.</p>
      <p>It can be seen that the development of a thesaurus matcher is indeed a challenge
that differs from ontology matching. Nevertheless, the commonalities between thesauri
and ontologies are large enough to pave the way for further developments by means of
current ontology matchers.
To compare the created alignments with the reference alignment, we use the
Alignment API. For this first evaluation, we only included equivalence relations
(skos:exactMatch).</p>
      <p>All matching processes have been performed on a Debian machine with one 2.4GHz
core and 7GB RAM allocated to each system. The evaluation has been executed by
using SEALS technologies. For ServOMap, ServOMapLt and Optima, we used slightly
adapted ontologies as input since they cannot handle URIs with the last part only
consisting of numbers as it is the case in the official version. Each participating system
uses the OWL version. We computed precision, recall and F-measure ( = 1) for each
matcher. We only consider equivalence correspondences between two descriptors as
non-descriptors are not included in the reference alignment. This filtering improves the
precision ( 8%) as well as the F-measure ( 4%) for all systems. Moreover, we
measured the runtime, the size of the created alignment and checked whether a 1:1
alignment has been created. To assess the results of the matchers, we developed three
straightforward matching strategies, using the original SKOS version of the thesauri:
– MatcherprefDE : Compares the German lower-case preferred labels and generates
a correspondence if these labels are completely equivalent.
– MatcherprefEN : Compares the English lower-case preferred labels and generates a
correspondence if these labels are completely equivalent.
– Matcherpref : Creates a correspondence, if either MatcherprefDE or</p>
      <p>MatcherprefEN or both create a correspondence.
– MatcherallLabels: Creates a correspondences whenever at least one label (preferred
or alternative, all languages) of an entity is equivalent to one label of another entity.
7.3
All systems listed in Table 9 are sorted according to their F-measures. Altogether 13 of
the 21 submitted matching systems were able to create an alignment. Three matching</p>
      <p>Matcherpref
MatcherprefDE
MatcherallLabels</p>
      <p>GOMMA
ServOMapLt</p>
      <p>LogMap
ServOMap
YAM++
LogMapLt
Hertuda</p>
      <p>WeSeE</p>
      <p>HotMatch
MatcherprefEN</p>
      <p>CODI
MapSSS
AROMA
Optima</p>
      <p>Time [s]
p
p
p
p
systems (MaasMatch, MEDLEY, Wmatch) did not finish within the time frame of one
week while five threw an exception (no heap space exception).</p>
      <p>Of all these systems, GOMMA performs best in terms of F-measure, closely
followed by ServOMapLt and LogMap. However, the precision and recall measures vary
a lot across the three systems. Depending on the application, an alignment either
achieving high precision or recall is preferable. If recall is in the focus, the alignment created
by GOMMA is probably the best choice with a recall of about 90%. Other systems
generate alignments with higher precision, e.g. ServOMap with over 70% precision, while
mostly having significantly lower recall values (except for Hertuda).</p>
      <p>From the results obtained by the matching strategies taking the different types of
labels into account, we can see that a matching based on preferred labels only,
outperforms other matching strategies. Matcherpref achieves the highest F-measure in these
tests. The results of MatcherprefDE and MatcherprefEN provide an insight into the
language characteristics of both thesauri and the reference alignments. MatcherprefDE
achieves the highest precision value (nearly 90%), albeit with a recall of only 60%.
Both thesauri as well as the reference alignment have been developed in Germany and
focus on German terms. From the results of MatcherprefEN , we can see the difference:
precision and especially recall significantly decrease when only the preferred English
labels are used. On the one hand, only about 80% of the found correspondences are
correct and on the other hand, less than a half of all correspondences can be found this
way. This can be a disadvantage for systems that use NLP techniques on English labels
or rely on language-specific background knowledge like WordNet.</p>
      <p>The high precision values of the pref matchers reflect the fact that the preferred
labels are chosen specifically to unambiguously identify the concepts. Our
interpretation is that the English translations are partly not as precise as the original German
terms (drop in precision) and not consistent regarding the English terminology (drop in
recall).</p>
      <p>In contrast, the MatcherallLabels achieves a quite high recall (90%) but a rather
low precision (54%). This means that most but not all of the correspondences can be
found by only having a look at equivalent labels. However, when following this idea,
nearly a half of the found correspondences are incorrect. The rather high F-measure
of MatcherallLabels is therefore misleading, as at least if the results would be used
unchecked in an retrieval system, a higher precision would clearly be preferred over a
higher recall. In this respect, matchers like ServOMap show better results. In any case,
it can be seen that a matching system using the original SKOS version could achieve a
better result. The information loss when converting SKOS to OWL really matters.</p>
      <p>Concerning runtime, LogMap as well as ServOMap are quite fast with a runtime
below 50 seconds. These values are comparable or even better (LogMapLt) than both
strategies computing the equivalence between preferred labels. Thus, they are very
effective in matching large ontologies while achieving very good results. Other matchers
take several hours or even days and do not produce better alignments in terms of
Fmeasure. By computing the correlation between F-measure and runtime, we notice a
slightly negative correlation (-0.085) but the small amount of samples is not sufficient
to make a significant statement. However, we can say for certain that a longer runtime
does not necessarily lead to better results.</p>
      <p>We further observe that the n:m reference alignment affects the results because some
matching systems (ServOMap, WeSeE, HotMatch, CODI, MapSSS) only create 1:1
alignments and discard correspondences with entities that already occur in another
correspondence. Whenever a system creates a lot of n:m correspondences, e.g., Hertuda
and GOMMA, the recall significantly increases. This difference becomes clear when
comparing ServOMapLt and ServOMap. Both systems are mostly based on the same
methods but ServOMapLt does not use the 1:1 filtering. Consequently, its recall
increases and its precision decreases.</p>
      <p>Since the reference alignment has not been updated for about six years, it does not
contain updates of both thesauri. Thus, new correct correspondences might be found by
matching systems but they are indicated as incorrect because they are not included in
the reference alignment. Therefore, we applied a manual evaluation to check whether
matching systems found correct correspondences which are not included in the
reference alignment at all. In turn, these information can help to improve the reference
alignment.</p>
      <p>The manual evaluation has been conducted by domain experts. Many newly
detected correspondences, which have not been contained in the reference alignment yet,
have been considered. By now, we only examined correspondences between descriptors
as well as the ones that did not contain a term which is already matched in the reference
alignment.</p>
      <p>The matchers detected between 38 and 251 correct correspondences, which have
not been in the reference alignment before. This includes especially terms, which hold a
strong syntactical similarity or equivalence. But, some matching systems even detected
difficult correspondences, e.g., between the German label for “automated production”
(“Automatische Produktion”) and “CAM”, which has been identified by their associated
non-preferred labels. Furthermore, correspondences of geographical terms have been
detected, but some of the matchers have not been able to distinguish between the terms
for citizens of a country, their language or the country itself, although these differences
can be derived from the structure of the thesauri.</p>
      <p>But this manual evaluation exposed several issues, which can either be explained by
the typical behavior of matching systems or by domain-specific differences inside the
thesauri. There are similar terms inside TheSoz and STW, which are used in totally
different contexts, e.g., the term “self-assessment”. Even when considering the structure
of both thesauri these differences are difficult to identify. In general, term similarities
often led to wrong correspondences, which is not surprising at first. But, in turn
syntactically equal terms have not been detected simultaneously in some cases. By now,
we did not have the possibility to evaluate the matching systems with the improved
reference alignment, but we plan to perform this additional evaluation soon.
Nevertheless, the newly detected correspondences determine already a useful result for
the maintainers of the two thesauri. The correct correspondences can be added to the
existing reference alignment, which is already applied in information portals for
supporting search term recommendation and query expansion services among differently
indexed databases. As all matching systems delivered exact matches for the
correspondences, some of the wrong correspondences will be examined again in the future,
whether other relationships like broader, narrower or related matches can be considered
for those.</p>
      <p>We expect further improvements, if the matchers are tailored more specifically to the
library track, i.e., if they exploit the information found in the original SKOS version.
A promising approach is also the use of additional knowledge, e.g., instance data –
resources that are indexed with different thesauri [30].</p>
      <p>This time, we collected the results of the matchers as a first survey and compared
them to our simple string-matching strategy that takes advantage of the different types
of labels. In future evaluations, we assume that better results can be achieved and that
these strategies simply form a baseline.
8</p>
    </sec>
    <sec id="sec-8">
      <title>Large biomedical ontologies</title>
      <p>This track aims at finding alignments between the large and semantically rich
biomedical ontologies FMA, SNOMED CT, and NCI, which contains 78,989, 306,591 and
66,724 classes, respectively.
UMLS Metathesaurus [2] has been selected as the basis for the track’s reference
alignments. UMLS is currently the most comprehensive effort for integrating
independentlydeveloped medical thesauri and ontologies, including FMA, SNOMED CT, and NCI.
Although the standard UMLS distribution does not directly provide “alignments” (in the
OAEI sense) between the integrated ontologies, it is relatively straightforward to extract
them from the information provided in the distribution files (see [17] for details).</p>
      <p>It has been noticed, however, that although the creation of UMLS alignments
combines expert assessment and auditing protocols they lead to a significant number of
logical inconsistencies when integrated with the corresponding source ontologies [17].</p>
      <p>To address this problem, we have considered two refinements of the UMLS
alignments that do not lead to (many) unsatisfiable classes. These refinements have been
generated using LogMap’s repair facility [16] and the Alcomo debugging system [20].</p>
      <p>The track has been split into three matching problems: FMA-NCI, FMA-SNOMED
and SNOMED-NCI; and each matching problem in three tasks involving different
fragments of the input ontologies.</p>
      <p>FMA-NCI matching We have compared the results of the matching tools against both
the original and refined UMLS alignment sets:
– Original UMLS alignments: 3,024 alignments ( ).
– Refined UMLS alignments:</p>
      <p>LogMap’s repair module : 2,898 alignments ( , v, w).</p>
      <p>Alcomo debbuging system: 2,819 alignments ( ).</p>
      <p>Three tasks have been considered involving different fragments of FMA and NCI:
– Task 1 consists of matching two (relatively small) modules of FMA (3,696 classes,
5%) and NCI (6,488 classes 10%).
– Task 2 consists of matching two (relatively large) modules of FMA (28,861 classes,
37%) and NCI (25,591 classes, 38%).</p>
      <p>– Task 3 consists of matching the whole FMA and NCI ontologies.</p>
      <p>FMA-SNOMED matching We have compared the results of the matching tools
against both the original and refined UMLS alignment sets:
– Original UMLS alignments: 9,008 alignments ( ).
– Refined UMLS alignments:</p>
      <p>LogMap’s repair module : 8,111 alignments ( , v, w).</p>
      <p>Alcomo debbuging system: 8,132 alignments ( ).</p>
      <p>Three tasks have been considered involving different fragments of FMA and SNOMED:
– Task 4 consists of matching two (relatively small) modules of FMA (10,157 classes,
13%) and SNOMED (13,412 classes, 5%).
– Task 5 consists of matching two (relatively large) modules of FMA (50,523 classes,
64%) and SNOMED (122,464 classes, 40%).</p>
      <p>– Task 6 consists of matching the whole FMA and SNOMED ontologies.
SNOMED-NCI matching We have compared the results of the matching tools against
both the original and refined UMLS alignment sets:
– Original UMLS alignments: 18,844 alignments ( ).
– Refined UMLS alignments:</p>
      <p>LogMap’s repair module : 18,324 alignments ( , v, w).</p>
      <p>Note that, at the time of creating the datasets, we could not compute a refined UMLS
alignment set with Alcomo. The new version of Alcomo, however, has shown to be
able to cope with SNOMED-NCI. Three tasks have been considered involving different
fragments of SNOMED and NCI:
– Task 7 consists of matching two (relatively small) modules of SNOMED (51,128
classes, 17%) and NCI (23,958 classes, 36%).
– Task 8 consists of matching two (relatively large) modules of SNOMED (122,464
classes, 40%) and NCI (49,795 classes, 75%).</p>
      <p>– Task 9 consists of matching the whole SNOMED and NCI ontologies.
We have run the evaluation in a high performance server with 16 CPUs and
allocating 15GB RAM. In total, 15 out of 23 participating systems/configurations have been
able to cope with at least one of the tasks of the track matching problem. Optima and
MEDLEY failed to complete the smallest task with a time out of 24 hours, while OMR,
OntoK, ASE and WeSeE, threw an Exception during the matching process. CODI was
evaluated in a different setting using only 7GB and threw an exception related to
insufficient memory when processing the smallest matching task. TOAST was not evaluated
since it was only configured for the Anatomy track and it required a complex
installation. LogMapLt, a very fast string matcher, has been used as baseline.</p>
      <p>Note that GOMMA has also been evaluated with a configuration that exploits
specialized background knowledge based on the UMLS Metathesaurus (GOMMAbk).
GOMMAbk exploits the alignments O1-UMLS and UMLS-O2 and applies alignment
composition techniques. LogMap, MaasMatch and YAM++ also use different kinds of
background knowledge. LogMap uses normalisations and spelling variants from the
domain specific resource UMLS Lexicon14. YAM++ and MaasMatch use the general
purpose background knowledge provided by WordNet15.</p>
      <p>LogMap has also been evaluated with two configurations. LogMap’s default
algorithm computes an estimation of the overlapping between the input ontologies before
the matching process, while the variant LogMapnoe has this feature deactivated.</p>
      <p>
        Precision and recall in Tables 11-13 average the obtained results with respect to the
reference alignments. Systems have been ordered in terms of the average F-measure.
14 http://www.nlm.nih.gov/pubs/factsheets/umlslex.html
15 http://wordnet.princeton.edu/
Alignment coherence We have evaluated the coherence of the generated alignments
and we have reported (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) number of unsatisfiabilities when reasoning16 with the
input ontologies together with the computed alignments, (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) the degree of unsatisfiable
classes with respect to the size of the merged ontology (based on the Unsatisfiability
Measure proposed in [22]), and (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) an approximation of the root unsatisfiability. The
root unsatisfiability aims at providing a more precise amount of errors, since many of
the unsatisfiabilities may be derived (i.e., a subclass of an unsatisfiable class will also
be reported as unsatisfiable). The provided approximation is based on LogMap’s
(incomplete) repair facility and shows the number of classes that this facility needed to
repair in order to solve (most of) the unsatisfiabilities [16].
      </p>
      <p>LogMap and its variant LogMapnoe were the unique systems generating an almost
clean output. Tables 11-13 shown that even the most precise alignment sets may lead to
a huge amount of unsatisfiable classes. This proves the importance of using techniques
to assess the coherence of the generated alignments.</p>
      <p>Note that, LogMap may fail to detect and repair unsatisfiable classes which are
outside the computed overlapping (i.e. ontology fragments) between the input ontologies.
Thus, LogMapnoe provides, in general, a cleaner output than LogMap.
Runtimes Table 10 shows which systems were able to complete each of the matching
tasks in less than 24 hours and the required computation times. Systems have been
ordered with respect to the number of completed tasks and total time required to complete
them. The last column reports the number of tasks that a system could complete. For
example, only eight systems were able to complete all nine tasks. The last row shows
the number of systems that could finish each of the tasks. The tasks involving larger
ontology sizes were completed by only 8-10 systems. Furthermore, the tasks involving
SNOMED were also harder with respect to both computation times and the number of
systems that completed the tasks.</p>
      <p>The runtimes were, in general, positive. For example, 7 systems completed Task 3
in less than 5 minutes. Additionally, the computation times for these systems increased
“smoothly” with respect to the size of the input ontologies.</p>
      <p>FMA-NCI matching Table 11 summarizes the results for the three tasks in the
FMANCI matching problem. GOMMAbk provided the best results in terms of F-measure in
Task 1, whereas YAM++ in Tasks 2 and 3. GOMMAbk also obtained the best results
in terms of recall in all three tasks, while ServOMap computed the most precise
alignments. Overall, the results were very positive and 7 systems obtained an F-measure
greater than 0.80 in all three tasks.</p>
      <p>LogMap and LogMapnoe provided the same results in Task 1 since the input
ontologies are already small fragments of FMA and NCI and thus, the overlapping estimation
performed by LogMap did not have any impact.
16 We have used HermiT [23] in the FMA-NCI and FMA-SNOMED matching problems. In
the SNOMED-NCI matching problem we have estimated the number of unsatisfiable classes
with the Dowling-Gallier algorithm for propositional Horn satisfiability [5] (implemented in
LogMap’s repair facility) since no OWL 2 reasoner is known to cope with the integration of
SNOMED and NCI via alignments [15].
LogMapLt
ServOMapL
ServOMap
LogMap
LogMapnoe
GOMMA
GOMMAbk
YAM++
AROMA
MapSSS
Hertuda
HotMatch
MaasMatch
AUTOMSv2
Wmatch
Completed</p>
      <p>Task 1
8
20
25
18
18
26
26
78
63
561
3,327
4,271
27,157
62,407
65,399
15</p>
      <p>In Task 1, our baseline also provided very good results in terms of F-measure and
outperformed 8 of the participating systems. MaasMatch and Hertuda provided
competitive results in terms of recall, but the low precision damaged the final F-measure.
MapSSS and AUTOMSv2 provided a set of alignments with high precision, however,
the F-measure was damaged due to the low recall of their alignments.</p>
      <p>Efficiency in Task 2 and Task 3 have decreased considerably with respect to Task 1.
This is mostly due to the fact that larger ontologies also involves more possible
candidate alignments and it is harder to keep high precision values without damaging recall,
and vice versa.</p>
      <p>FMA-SNOMED matching Table 12 summarizes the results for the three tasks in the
FMA-SNOMED matching problem. GOMMAbk provided the best results in terms of
F-measure in Task 4, whereas ServOMap in Tasks 5 and 6. GOMMAbk also obtained
the best results in terms of recall in all three tasks, while LogMapLt computed the most
precise alignments in Task 4 and ServOMapL in Tasks 5 and 6.</p>
      <p>Overall, the results were less positive than in the FMA-NCI matching tasks and only
5 systems obtained an F-measure greater than 0.70 in all three tasks. Furthermore, 6
systems (including our baseline) failed to provide a recall higher than 0.4. Thus, matching
FMA against SNOMED represents a significant leap in complexity with respect to the
FMA-NCI matching problem.</p>
      <p>As in the FMA-NCI matching problem, efficiency also decreases as the
ontology size increases. The most important variations were suffered by GOMMAbk and
GOMMA, where their average precision decreased from 0.893 and 0.875 (Task 4) to
0.571 and 0.389 (Task 5), respectively. This is an interesting fact, since the background
knowledge used by GOMMAbk could not avoid the decrease in precision while keeping
the highest recall.</p>
      <p>SNOMED-NCI matching Table 13 summarizes the results for the three matching
tasks in the SNOMED-NCI matching problem. LogMapnoe provided the best results
in terms of both recall and F-measure in Tasks 7 and 8 while YAM++ obtained the</p>
      <p>Task 1: small FMA and NCI fragments
GOMMAbk
YAM++
LogMap/LogMapnoe
GOMMA
ServOMapL
LogMapLt
ServOMap
HotMatch
Wmatch
AROMA
Hertuda
MaasMatch
AUTOMSv2
MapSSS
YAM++
ServOMapL
GOMMA
GOMMAbk
LogMapnoe
LogMap
ServOMap
LogMapLt
AROMA
MapSSS
YAM++
GOMMA
ServOMapL
GOMMAbk
LogMapnoe
LogMap
ServOMap
LogMapLt
26
78
18
26
20
8
25
4,271
65,399
63
3,327
27,157
62,407
561
245
95
69
83
74
77
98
29
7,538
30,575
1,304
217
251
231
206
131
204
55
6,204
2,352</p>
      <p>2
2,130
5,778
2,104
5,597
285
3,168
7,196
2,675
9,598
5,346
565
22,402
22,315
2,398
4,609
5
5
21,688
12,682
20,054
21,893
50,550
5,574
50,334
12,939
9
9
48,743
26,429
61%
23%
0,02%
21%
57%
21%
55%
3%
31%
70%
26%
94%
52%
6%
35%
35%
4%
8%
0.01%
0.01%
34%
23%
24%
40%
29%
4%
28%
9%
0.01%
0.01%
27%
9%
193
92
0
127
79
116
50
65
482
421
277
3,113
392
94
102
143
116
146
0
0
86
443
1600
358
141
139
164
245
0
0
114
778
2,843
2,614
2,740
2,626
2,468
2,483
2,300
2,280
3,178
2,571
4,309
3,696
1,809
1,483
2,688
2,640
2,810
3,116
2,663
2,656
2,413
3,219
3,856
2,584
2,738
2,843
2,700
3,165
2,646
2,652
2,465
3,466
best results in Task 9. GOMMAbk obtained the best recall in Task 9 and ServOMap
generated the most precise alignments in all three tasks.</p>
      <p>As in the previous matching problems, efficiency decreases as the ontology size
increases. For example, in Task 9 none of the systems could reach an F-measure of 0.7,
while seven systems (including our baseline) exceeded this value in Task 7.
8.3
Although the proposed matching tasks represented a significant leap in complexity with
respect to the tasks in previous campaigns, the obtained results have been very
promising and eight systems completed all matching tasks with very competitive results.</p>
      <p>
        There is, however, plenty of room for improvement: (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) most of the participating
systems disregard the coherence of the generated alignments; (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) the size of the input
ontologies should not significantly affect efficiency; and (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) recall in the tasks involving
SNOMED should be improved while keeping the current precision values.
      </p>
      <p>The alignment coherence measure was the weakest point of the systems
participating in this track. As shown in Tables 11-13, even highly precise alignment sets may
GOMMAbk
ServOMapL
YAM++
LogMapnoe
LogMap
ServOMap
GOMMA
MapSSS
AROMA
HotMatch
LogMapLt
Hertuda
ServOMapL
ServOMap
YAM++
LogMapnoe
LogMap
GOMMAbk
GOMMA
AROMA
LogMapLt
ServOMapL
ServOMap
YAM++
LogMap
LogMapnoe
GOMMAbk
LogMapLt
GOMMA
148
39
326
63
65
46
54
3,129
51,191
31,718</p>
      <p>14
17,625
234
315
3,780
521
484
636
437
62,801
96
517
532
23,900
612
791
1,893
171
1,994
8,598
6,346
6,421
6,363
6,164
6,008
3,667
3,458
5,227
2,139
1,645
3,051
6,563
6,272
7,003
6,450
6,292
12,614
5,591
2,497
1,819
6,605
6,320
7,044
6,312
6,406
12,829
1,823
5,823</p>
      <p>Task 4: small FMA and SNOMED fragments
Task 5: big FMA and SNOMED fragments
Task 6: whole FMA and SNOMED ontologies
13,685
10,584
14,534
0
2
8,165
2,058
9,084
21,083
907
773
1,020
55,970
143,316
69,345
0
0
75,910
7,343
54,459
2,994
99,726
273,242
106,107
10
10
119,657
4,938
10,752
4,674
3,056
3,150
0
2
2,721
206
389
2,296
104
21
47
1,192
1,320
1,360
0
0
3,344
480
271
24
2,862
2,617
3,393
0
0
5,289
37
609
lead to a huge number of unsatisfiable classes. Thus, the use of techniques to assess
mapping coherence is critical. Unfortunately, only a few systems in OAEI 2012 have
successfully used such techniques. In future campaigns, this aspect should not be
neglected. Developers can reuse available state-of-the-art mapping debugging techniques
such as the implemented in Alcomo [20] or in LogMap [16].</p>
      <p>The UMLS-based reference alignments may contain errors and may also be
incomplete. Thus, in order to turn the current reference alignments into a agreed-upon
gold standard, expert assessment is required, which is almost unfeasible for large
alignment sets. In this track, we have opted to move towards a “silver standard”
by “harmonising” the outputs of different matching tools over the different
matching tasks (see http://www.cs.ox.ac.uk/isg/projects/SEALS/oaei/
harmonisation/oaei2012_harmo.html for details).</p>
      <p>Task 7: small SNOMED and NCI fragments
LogMapnoe
LogMap
GOMMAbk
YAM++
ServOMapL
ServOMap
LogMapLt
GOMMA
AROMA
MapSSS
LogMapnoe
YAM++
ServOMapL
LogMap
ServOMap
GOMMAbk
LogMapLt
GOMMA
YAM++
ServOMapL
LogMap
LogMapnoe
ServOMap
GOMMAbk
LogMapLt
GOMMA
211
221
226
1,901
147
153
54
197
15,624
27,381
575
6,127
363
514
282
638
104
527
30,155
738
955
1,505
654
1,940
178
1,820
0
0
48,681
50,089
62,367
51,020
61,269
42,813
70,491
46,083</p>
      <p>0
104,492
136,909</p>
      <p>3
110,253
116,451
131,073
96,945
238,593
286,790
16
0
230,055
239,708
305,648
215,959
0%
0%
65%
67%
83%
68%
82%
57%
94%
61%
0
0
863
471
657
467
801
851
1,286
794
0
618
1,101
2
820
2,741
2,201
1,621
979
1,557
10
0
1,546
4,297
3,160
2,614
13,525
13,454
12,294
11,961
11,730
10,829
10,947
10,555
11,783
9,608
13,184
13,083
12,784
12,142
11,632
15,644
12,741
12,320
14,103
13,964
13,011
13,058
12,462
17,045
14,043
13,693
The instance matching track aims at evaluating the performance of different matching
tools on the task of matching RDF individuals which originate from different sources
but describe the same real-world entity. Data interlinking is known under many names
according to various research communities: equivalence mining, record linkage, object
consolidation and coreference resolution to mention the most used ones. In each case,
these terms are used for the task of finding equivalent entities in or across data sets [14].
As the quantity of data sets published on the Web of data dramatically increases, the
need for tools helping to interlink resources becomes more critical. It is particularly
important to maximize the automation of the interlinking process in order to be able to
follow this expansion.</p>
      <p>Unlike the other tracks, the instance matching track specifically focuses on an
ontology ABox. However, the problems which have to be resolved in order to correctly
match instances can originate at the schema level (use of different properties and
classification schemas) as well as at the data level, e.g., different formats of values. This
year, the track included two tasks. The first task, called Sandbox, is a simple dataset
that has been specifically conceived to provide a examples of some specific matching
problems highlighted (like name spelling and other controlled variations). This is
intended to serve as a test for those tools that are in an initial phase of their development
process and/or for tools that are facing very focused tasks, like for example person name
matching. The second one, called IIMB is an OWL-based dataset that is automatically
generated by introducing a set of controlled transformations in an initial OWL Abox.</p>
      <p>The list of participants to the instance matching track is shown in Table 14.
p
The dataset used for the Sandbox task has been automatically generated by extracting
data from Freebase, an open knowledge base that contains information about 11 million
real objects including movies, books, TV shows, celebrities, locations, companies and
more. Data has been extracted in JSON through the Freebase JAVA API17. Sandox
is a collection of OWL files consisting of 31 concepts, 36 object properties, 13 data
properties and 375 individuals divided into 10 test cases18. In order to provide simple
matching challenges mainly conceived for systems in their initial developing phase,
we limited the way data are transformed from the original Abox to the test cases. In
particular, we introduced only changes in data format (misspelling, errors in text, etc.).
Sandbox results An overview of the precision, recall and F1-measure results of the
Sandbox task is shown in Table 15.</p>
      <p>test</p>
      <p>LogMap
LogMap lite</p>
      <p>SBUEI</p>
      <p>As expected, all the participating systems obtained very good results for the simple
tests provided by the Sandbox task. This result confirms that the currently available
systems for instance matching provide efficient facilities for data matching when dealing
with simple errors and syntactic heterogeneities.
The IIMB task is focused on two main goals:
1. to provide an evaluation data set for various kinds of data transformations, including
value transformations, structural transformations and logical transformations;
17 http://code.google.com/p/freebase-java/
18 DL expressivity of ontologies is ALHI(D)
2. to cover a wide spectrum of possible techniques and tools.</p>
      <p>ISLab Instance Matching Benchmark (IIMB), that has been generated using the
SWING tool [13]. Participants were requested to find the correct correspondences
among individuals of the first knowledge base and individuals of the other one. An
important task here is that some of the transformations require automatic reasoning for
finding the expected alignments.</p>
      <p>IIMB is composed of a set of test cases, each one represented by a set of instances,
i.e., an OWL ABox, built from an initial data set of real linked data extracted from the
web. Then, the ABox is automatically modified in several ways by generating a set of
new ABoxes, called test cases. Each test case is produced by transforming the
individual descriptions in the reference ABox in new individual descriptions that are inserted
in the test case at hand. The goal of transforming the original individuals is twofold:
on one side, we provide a simulated situation where data referring to the same objects
are provided in different data sources; on the other side, we generate different data sets
with a variable level of data quality and complexity. IIMB provides transformation
techniques supporting modifications of data property values, modifications of number and
type of properties used for the individual description, and modifications of the
individuals classification. The first kind of transformations is called data value transformation
and it aims at simulating the fact that data expressing the same real object in different
data sources may be different because of data errors or because of the usage of
different conventional patterns for data representation. The second kind of transformations is
called data structure transformation and it aims at simulating the fact that the same real
object may be described using different properties/attributes in different data sources.
Finally, the third kind of transformations, called data semantic transformation,
simulates the fact that the same real object may be classified in different ways in different
data sources.</p>
      <p>The 2012 edition has been created by exploiting the same OWL source used for the
Sandbox task. The main difference is that we introduced in IIMB a large set of data
transformations. In particular, test cases from 0 to 20 contain changes in data format
(misspelling, errors in text, etc); test cases 21 to 40 contain changes in structure
(properties missing, RDF triples changed); 41 to 60 contain logical changes (class membership
changed, logical errors); finally, test cases 61 to 80 contain a mix of the previous.
IIMB results An overview of the precision, recall and F1-measure results per set of
tests of the IIMB subtrack is shown in Table 16. A precision-recall graph visualization
is shown in Figure 5.</p>
      <p>As a general comment, we can conclude that all the four systems participating in
this edition of the instance matching track obtained good results, both in terms of
precision and recall. Table 16 suggests that the most challenging tasks in IIMB this year
were those included in test cases 061-080, which provides a combination of different
data transformations, ranging from syntactic to semantic transformations. According
to this conclusion, we will better investigate the problem of dealing with the problem
of combining data transformations in order to generate a new challenging dataset for
instance matching evaluation.</p>
      <p>refalign
SBUEI
recall
logmap
logmap lite</p>
      <p>test</p>
      <sec id="sec-8-1">
        <title>LogMap LogMap lite SBUEI semsim</title>
        <p>P
.94
.95
.96
.93
R
.87
.66
.98
.93
P
.93
.93
.97
.91
R
1.0
.97
.99
.91
P
.93
.74
.91
.94
R
1.0
.98
.89
.94
P
.95
.77
.58
.66
R
.79
.69
.48
.66</p>
      </sec>
    </sec>
    <sec id="sec-9">
      <title>Lesson learned and suggestions</title>
      <p>There are, this year, very few comments about the evaluation execution:
A) This year indicated again that requiring participants to implement a minimal
interface was not a strong obstacle to participation. Moreover, the community seems to
get used to the SEALS technology introduced for OAEI 2011. This might be one
of the reasons for an increasing participation.</p>
      <p>B) We have not delivered any comparative results prior to the deadline for submitting
the papers that contain the systems description. This procedure was motivated by
avoiding a focus on competitive aspects of OAEI. However, several tool developers
have complained about this procedure, because they wanted to include such results
in their papers.</p>
      <p>C) Last years we reported that we had many new participants. The same trend can be
observed for 2012.</p>
      <p>D) Again, given the high number of publications on data interlinking, it is surprising
to have so few participants to the instance matching tracks.
11
These year, both in OAEI 2011.5 and 2012, some tracks have focused on scalability
and runtime measurement. The low number of systems that could generate results for
the Anatomy track was an uncommon result in 2011. However, in 2012 many more
systems could generate results for the Anatomy track. Moreover, many systems could
also generate results for the Library and the Large Biomed track that is concerned with
significantly larger test cases.</p>
      <p>Compared to the previous years, we observed a significant improvements of
runtimes. Matching systems are becoming more robust and also more efficient with respect
to runtimes. In particular, these improvements are more general compared to increased
precision and recall scores. We dare thinking that this improvement has been steered by
OAEI efforts towards more challenging test sets.</p>
      <p>There is a high variance in runtimes and there is no correlation between runtime and
quality of the generated results. This is a result that we already observed in 2011.</p>
      <p>There has been a considerable increase in the number of participants implementing
specific techniques for dealing with the task of matching ontologies in different natural
languages (seven participants in 2012, three in OAEI 2011.5). Although there is room
for improvements to achieve the same level of compliance than in the original OntoFarm
dataset, this increase is a sign that the field is progressing.</p>
      <p>All participants have provided a description of their systems and their experience in
the evaluation. These OAEI papers, like the present one, have not been peer reviewed.
However, they are full contributions to this evaluation exercise and reflect the hard work
and clever insight people put in the development of participating systems. Reading the
papers of the participants should help people involved in ontology matching to find what
makes these algorithms work and what could be improved. Sometimes participants offer
alternate evaluation results.</p>
      <p>The Ontology Alignment Evaluation Initiative will continue these tests by
improving both test cases and testing methodology for being more accurate. Further
information can be found at:</p>
      <sec id="sec-9-1">
        <title>Acknowledgements</title>
        <p>We warmly thank the participants of this campaign. We know that they have worked
hard for having their matching tools executable in time and they provided insightful
papers presenting their experience. The best way to learn about the results remains to
read the following papers.</p>
        <p>We would like to thank Andreas Oskar Kempf from GESIS for the manual
evaluation of the new detected correspondences. We thank Jan Noessner for providing data in
the process of constructing the IIMB data set. We are grateful to Martin Ringwald and
Terry Hayamizu for providing the reference alignment for the anatomy ontologies and
thank Elena Beisswanger for her thorough support on improving the quality of the data
set.</p>
        <p>We also thank the other members of the Ontology Alignment Evaluation
Initiative steering committee: Yannis Kalfoglou (Ricoh laboratories, UK), Miklos Nagy (The
Open University (UK), Natasha Noy (Stanford University, USA), Yuzhong Qu
(Southeast University, CN), York Sure (Leibniz Gemeinschaft, DE), Jie Tang (Tsinghua
University, CN), George Vouros (University of the Aegean, GR).</p>
        <p>Jose´ Luis Aguirre, Bernardo Cuenca Grau, Je´roˆme Euzenat, Ernesto Jimenez-Ruiz,
Christian Meilicke, Heiner Stuckenschmidt and Ca´ssia Trojahn dos Santos have been
partially supported by the SEALS (IST-2009-238975) European project.</p>
        <p>Ondrˇej Sˇ va´b-Zamazal has been supported by the CSF grant P202/10/0761.</p>
        <p>Ernesto and Bernardo have been partially supported by the Royal Society, EPSRC
project LogMap.
Pavel Shvaiko, Vassilis Spiliopoulos, Heiner Stuckenschmidt, Ondrej Sva´b-Zamazal,
Vojtech Sva´tek, Ca´ssia Trojahn dos Santos, George Vouros, and Shenghui Wang. Results of the
ontology alignment evaluation initiative 2009. In Proc. 4th Workshop on Ontology Matching
(OM) collocated with ISWC, pages 73–126, Chantilly (USA), 2009.
7. Je´r oˆme Euzenat, Alfio Ferrara, Christian Meilicke, Andriy Nikolov, Juan Pane, Franc¸ois
Scharffe, Pavel Shvaiko, Heiner Stuckenschmidt, Ondrej Sva´b-Zamazal, Vojtech Sva´tek, and
Ca´ssia Trojahn dos Santos. Results of the ontology alignment evaluation initiative 2010. In
Pavel Shvaiko, Je´r oˆme Euzenat, Fausto Giunchiglia, Heiner Stuckenschmidt, Ming Mao, and
Isabel Cruz, editors, Proc. 5th ISWC workshop on ontology matching (OM) collocated with
ISWC, Shanghai (China), pages 85–117, 2010.
8. Je´r oˆme Euzenat, Alfio Ferrara, Robert Willem van Hague, Laura Hollink, Christian
Meilicke, Andriy Nikolov, Franc¸ois Scharffe, Pavel Shvaiko, Heiner Stuckenschmidt, Ondrej
Sva´b-Zamazal, and Ca´ssia Trojahn dos Santos. Results of the ontology alignment
evaluation initiative 2011. In Pavel Shvaiko, Isabel Cruz, Je´roˆ me Euzenat, Tom Heath, Ming
Mao, and Christoph Quix, editors, Proc. 6th ISWC workshop on ontology matching (OM),
Bonn (DE), pages 85–110, 2011.
9. Je´r oˆme Euzenat, Antoine Isaac, Christian Meilicke, Pavel Shvaiko, Heiner Stuckenschmidt,
Ondrej Svab, Vojtech Svatek, Willem Robert van Hage, and Mikalai Yatskevich. Results of
the ontology alignment evaluation initiative 2007. In Proc. 2nd International Workshop on
Ontology Matching (OM) collocated with ISWC, pages 96–132, Busan (Korea), 2007.
10. Je´r oˆme Euzenat, Christian Meilicke, Pavel Shvaiko, Heiner Stuckenschmidt, and Ca´ssia
Trojahn dos Santos. Ontology alignment evaluation initiative: six years of experience. Journal
on Data Semantics, XV:158–192, 2011.
11. Je´r oˆme Euzenat, Malgorzata Mochol, Pavel Shvaiko, Heiner Stuckenschmidt, Ondrej Svab,
Vojtech Svatek, Willem Robert van Hage, and Mikalai Yatskevich. Results of the
ontology alignment evaluation initiative 2006. In Proc. 1st International Workshop on Ontology
Matching (OM) collocated with ISWC, pages 73–95, Athens, Georgia (USA), 2006.
12. Je´r oˆme Euzenat and Pavel Shvaiko. Ontology Matching. Springer, Heidelberg (DE), 2007.
13. Alfio Ferrara, Stefano Montanelli, Jan Noessner, and Heiner Stuckenschmidt. Benchmarking
matching applications on the semantic web. In Proc. of the 8th Extended Semantic Web
Conference (ESWC 2011), Heraklion, Greece, 2011.
14. Alfio Ferrara, Andriy Nikolov, and Francois Scharffe. Data linking for the semantic web.</p>
        <p>
          International Journal on Semantic Web and Information Systems, 7(
          <xref ref-type="bibr" rid="ref3">3</xref>
          ):46–76, 2011.
15. E. Jime´nez-Ruiz, B. Cuenca Grau, and I. Horrocks. On the feasibility of using OWL 2 DL
reasoners for ontology matching problems. In OWL Reasoner Evaluation Workshop, 2012.
16. Ernesto Jimenez-Ruiz and Bernardo Cuenca Grau. LogMap: Logic-based and scalable
ontology matching. In Int’l Sem. Web Conf. (ISWC), pages 273–288, 2011.
17. Ernesto Jime´nez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga.
Logicbased assessment of the compatibility of UMLS ontology sources. J. Biomed. Sem., 2, 2011.
18. Philipp Mayr and Vivien Petras. Building a terminology network for search: The KoMoHe
project. In Proc. of the Int. Conference on Dublin Core and Metadata Applications, pages
177 – 182, 2008.
19. Christian Meilicke. Alignment Incoherence in Ontology Matching. PhD thesis, University
        </p>
        <p>Mannheim, 2011.
20. Christian Meilicke. Alignment Incoherence in Ontology Matching. PhD thesis, University
of Mannheim, 2011.
21. Christian Meilicke, Rau´ l Garc´ıa-Castro, Fred Freitas, Willem Robert van Hage, Elena
Montiel-Ponsoda, Ryan Ribeiro de Azevedo, Heiner Stuckenschmidt, Ondrˇej Sˇ va´b Zamazal,
Vojteˇch Sva´tek, Andrei Tamilin, Ca´ssia Trojahn, and Shenghui Wang. MultiFarm: A
benchmark for multilingual ontology matching. Web Semantics: Science, Services and Agents on
the World Wide Web, (0):–, 2012.
22. Christian Meilicke and Heiner Stuckenschmidt. Incoherence as a basis for measuring the
quality of ontology mappings. In Proc. 3rd International Workshop on Ontology Matching
(OM) collocated with ISWC, pages 1–12, Karlsruhe (Germany), 2008.
23. Boris Motik, Rob Shearer, and Ian Horrocks. Hypertableau reasoning for description logics.</p>
        <p>J. Artif. Intell. Res., 36:165–228, 2009.
24. Joachim Neubert. Bringing the “thesaurus for economics” on to the web of linked data. In</p>
        <p>Proc. of the WWW Workshop on Linked Data on the Web (LDOW), 2009.
25. Maria Ros¸oiu, Ca´ssia Trojahn dos Santos, and Je´roˆme Euzenat. Ontology matching
benchmarks: generation and evaluation. In Pavel Shvaiko, Isabel Cruz, Je´roˆme Euzenat, Tom
Heath, Ming Mao, and Christoph Quix, editors, Proc. 6th International Workshop on
Ontology Matching (OM) collocated with ISWC, Bonn (Germany), 2011.
26. Pavel Shvaiko and Je´roˆme Euzenat. Ontology matching: state of the art and future challenges.</p>
        <p>IEEE Transactions on Knowledge and Data Engineering, 2012, to appear.
27. York Sure, Oscar Corcho, Je´roˆme Euzenat, and Todd Hughes, editors. Proc. of the Workshop
on Evaluation of Ontology-based Tools (EON) collocated with ISWC, Hiroshima (Japan),
2004.
28. Ca´ssia Trojahn dos Santos, Christian Meilicke, Je´roˆme Euzenat, and Heiner Stuckenschmidt.</p>
        <p>
          Automating OAEI campaigns (first report). In Proc. International Workshop on Evaluation
of Semantic Technologies (iWEST) collocated with ISWC, Shanghai (China), 2010.
29. Michael Uschold and Michael Gruninger. Ontologies and semantics for seamless
connectivity. SIGMOD Rec., 33(
          <xref ref-type="bibr" rid="ref4">4</xref>
          ):58–64, 2004.
30. Shenghui Wang, Antoine Isaac, Stefan Schlobach, Lourens van der Meij, and Balthasar
Schopman. Instance-based semantic interoperability in the cultural heritage. Semantic Web,
3(
          <xref ref-type="bibr" rid="ref1">1</xref>
          ):45–64, 2012.
31. Benjamin Zapilko, Johann Schaible, Philipp Mayr, and Brigitte Mathiak. TheSoz: A SKOS
representation of the thesaurus for the social sciences. Semantic Web – Interoperability,
Usability, Applicability, 2012. accepted.
        </p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>Benhamin</given-names>
            <surname>Ashpole</surname>
          </string-name>
          , Marc Ehrig, Je´roˆme Euzenat, and Heiner Stuckenschmidt, editors.
          <source>Proc. of the K-Cap Workshop on Integrating Ontologies</source>
          ,
          <source>Banff (Canada)</source>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>Olivier</given-names>
            <surname>Bodenreider</surname>
          </string-name>
          .
          <article-title>The unified medical language system (UMLS): integrating biomedical terminology</article-title>
          .
          <source>Nucleic Acids Research</source>
          ,
          <volume>32</volume>
          :
          <fpage>267</fpage>
          -
          <lpage>270</lpage>
          ,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>Caterina</given-names>
            <surname>Caracciolo</surname>
          </string-name>
          , Je´roˆme Euzenat, Laura Hollink, Ryutaro Ichise, Antoine Isaac, Ve´ronique Malaise´,
          <string-name>
            <surname>Christian</surname>
            <given-names>Meilicke</given-names>
          </string-name>
          , Juan Pane, Pavel Shvaiko, Heiner Stuckenschmidt, Ondrej Sva´
          <article-title>b-</article-title>
          <string-name>
            <surname>Zamazal</surname>
          </string-name>
          ,
          <article-title>and Vojtech Sva´tek. Results of the ontology alignment evaluation initiative 2008</article-title>
          .
          <source>In Proc. 3rd International Workshop on Ontology Matching (OM) collocated with ISWC</source>
          , pages
          <fpage>73</fpage>
          -
          <lpage>120</lpage>
          , Karlsruhe (Germany),
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4. Je´roˆme David, Je´roˆme Euzenat, Franc¸ois Scharffe, and Ca´ssia Trojahn dos Santos.
          <source>The alignment API 4.0. Semantic web journal</source>
          ,
          <volume>2</volume>
          (
          <issue>1</issue>
          ):
          <fpage>3</fpage>
          -
          <lpage>10</lpage>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>William</surname>
            <given-names>F.</given-names>
          </string-name>
          <string-name>
            <surname>Dowling</surname>
          </string-name>
          and
          <string-name>
            <surname>Jean H. Gallier</surname>
          </string-name>
          .
          <article-title>Linear-time algorithms for testing the satisfiability of propositional Horn formulae</article-title>
          .
          <source>J. Log. Prog.</source>
          ,
          <volume>1</volume>
          (
          <issue>3</issue>
          ):
          <fpage>267</fpage>
          -
          <lpage>284</lpage>
          ,
          <year>1984</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6. Je´roˆme Euzenat, Alfio Ferrara, Laura Hollink, Antoine Isaac, Cliff Joslyn, Ve´ronique Malaise´,
          <string-name>
            <surname>Christian</surname>
            <given-names>Meilicke</given-names>
          </string-name>
          , Andriy Nikolov, Juan Pane, Marta Sabou, Franc¸ois Scharffe,
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>