<!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>LogMap family results for OAEI 2015</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>E. Jime´nez-Ruiz</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>B. Cuenca Grau</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>A. Solimando</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>V. Cross</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Computer Science and Software Engineering, Miami University</institution>
          ,
          <addr-line>Oxford, OH</addr-line>
          ,
          <country country="US">United States</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Department of Computer Science, University of Oxford</institution>
          ,
          <addr-line>Oxford</addr-line>
          <country country="UK">UK</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Inria Saclay and Universite ́ Paris-Sud</institution>
          ,
          <country country="FR">France</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>We present the results obtained in the OAEI 2015 campaign by our ontology matching system LogMap and its variants: LogMapC, LogMapBio and LogMapLt. The LogMap project started in January 2011 with the objective of developing a scalable and logic-based ontology matching system. This is our sixth participation in the OAEI and the experience has so far been very positive. Currently, LogMap is the only system that participates in all OAEI tasks.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        the problem, we exploit ontology modularisation techniques. Ontology modules with
well-understood semantic properties can be efficiently computed and are typically much
smaller than the input ontology (e.g. [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]).
      </p>
      <p>
        Propositional Horn reasoning. The relevant modules in the input ontologies together
with (a subset of) the candidate mappings are encoded in LogMap using a Horn
propositional representation. Furthermore, LogMap implements the classic Dowling-Gallier
algorithm for propositional Horn satisfiability [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. Such encoding, although incomplete,
allows LogMap to detect unsatisfiable classes soundly and efficiently.
Axiom tracking. LogMap extends Dowling-Gallier’s algorithm to track all mappings
that may be involved in the unsatisfiability of a class. This extension is key to
implementing a highly scalable repair algorithm.
      </p>
      <p>Local repair. LogMap performs a greedy local repair; that is, it repairs unsatisfiabilities
on-the-fly and only looks for the first available repair plan.</p>
      <p>
        Semantic indexation. The Horn propositional representation of the ontology modules
and the mappings is efficiently indexed using an interval labelling schema [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] — an
optimised data structure for storing directed acyclic graphs (DAGs) that significantly
reduces the cost of answering taxonomic queries [
        <xref ref-type="bibr" rid="ref4">4, 20</xref>
        ]. In particular, this semantic
index allows us to answer many entailment queries as an index lookup operation over
the input ontologies and the mappings computed thus far, and hence without the need
for reasoning. The semantic index complements the use of the propositional encoding
to detect and repair unsatisfiable classes.
1.1
      </p>
    </sec>
    <sec id="sec-2">
      <title>LogMap variants in the 2015 campaign</title>
      <p>As in the 2014, in the 2015 campaign we have participated with 3 variants:
LogMapLt is a “lightweight” variant of LogMap, which essentially only applies
(efficient) string matching techniques.</p>
      <p>LogMapC is a variant of LogMap which, in addition to the consistency and locality
principles, also implements the conservativity principle (see details in [21, 22]).
The repair algorithm is more aggressive than in LogMap, thus we expect highly
precise mappings but with a significant decrease in recall.</p>
      <p>
        LogMapBio includes an extension to use BioPortal [8, 9] as a (dynamic) provider of
mediating ontologies instead of relying on a few preselected ontologies [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
1.2
      </p>
    </sec>
    <sec id="sec-3">
      <title>Adaptations made for the 2015 evaluation</title>
      <p>
        LogMap’s algorithm described in [11, 13, 14] has been adapted with the following new
functionalities:
i Local repair with global information. We have extended LogMap to include global
information in the local repairs, that is, repair plans of the same size are ordered
according to their degree of conflictness (i.e. number of cases where the mappings in
the repair are involved in an unsatisfiability). Hencee, LogMap prefers to remove
mappings that are more likely to lead to other unsatisfiabilities.
ii Extended multilingual support. We have extended our multilingual module to
use both google translate and microsoft translator.4 Additionally, in order to split
Chinese words, we rely on the ICTCLAS library5 developed by the Institute of
Computing Technology of the Chinese Academy of Sciences.
iii Extended instance matching support. We have also adapted LogMap’s instance
matching module to cope with the new OAEI 2014 tasks.
iv BioPortal module. In the OAEI 2015, LogMapBio uses the top-10 mediating (the
2014 version used only the top-5) ontologies given by the algorithm presented in
[
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. Note that, LogMapBio only participates in the biomedical tracks. In the other
tracks the results are expected to be the same as LogMap.
1.3
      </p>
    </sec>
    <sec id="sec-4">
      <title>Link to the system and parameters file</title>
      <p>LogMap is open-source and released under GNU Lesser General Public License 3.0.6
LogMap components and source code are available from the LogMap’s GitHub page:
https://github.com/ernestojimenezruiz/logmap-matcher/.</p>
      <p>LogMap distributions can be easily customized through a configuration file
containing the matching parameters.</p>
      <p>LogMap, including support for interactive ontology matching, can also be used
directly through an AJAX-based Web interface: http://csu6325.cs.ox.ac.uk/.
This interface has been very well received by the community since it was deployed in
2012. More than 2,000 requests coming from a broad range of users have been
processed so far.
1.4</p>
    </sec>
    <sec id="sec-5">
      <title>Modular support for mapping repair</title>
      <p>Only a very few systems participating in the OAEI competition implement repair
techniques. As a result, existing matching systems (even those that typically achieve very
high precision scores) compute mappings that lead in many cases to a large number of
unsatisfiable classes.</p>
      <p>We believe that these systems could significantly improve their output if they were
to implement repair techniques similar to those available in LogMap. Therefore, with
the goal of providing a useful service to the community, we have made LogMap’s
ontology repair module (LogMap-Repair) available as a self-contained software component
that can be seamlessly integrated in most existing ontology matching systems [16, 7].
2</p>
      <sec id="sec-5-1">
        <title>Results</title>
        <p>Please refer to http://oaei.ontologymatching.org/2015/results/index.
html for the results of the LogMap family in the OAEI 2015 campaign.
4 Currently we rely on the (unofficial) APIs available at https://code.google.
com/p/google-api-translate-java/ and https://code.google.com/p/
microsoft-translator-java-api/
5 https://code.google.com/p/ictclas4j/
6 http://www.gnu.org/licenses/</p>
      </sec>
      <sec id="sec-5-2">
        <title>General comments and conclusions</title>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Comments on the results</title>
      <p>LogMap has been one of the top systems in the OAEI 2015 and the only system that
participates in all tracks. Furthermore, it has also been one of the few systems
implementing repair techniques and providing (almost) coherent mappings in all tracks.</p>
      <p>LogMap’s main weakness is that the computation of candidate mappings is based
on the similarities between the vocabularies of the input ontologies; hence, in the cases
where the ontologies are lexically disparate or do not provide enough lexical
information LogMap is at a disadvantage.
3.2</p>
    </sec>
    <sec id="sec-7">
      <title>Discussions on the way to improve the proposed system</title>
      <p>LogMap is now a stable and mature system that has been made available to the
community and has been extensively tested. There are, however, many exciting possibilities for
future work. For example we aim at improving the current multilingual features and the
current use of external resources like BioPortal. Furthremore, we are applying LogMap
in practice in the domain of oil and gas industry within the FP7 Optique7 [18, 15, 10,
17]. This practical application presents a very challenging problem.</p>
      <sec id="sec-7-1">
        <title>Acknowledgements</title>
        <p>This work was supported by the EPSRC projects MaSI3, Score! and DBOnto, and by
the EU FP7 project Optique (grant agreement 318338).</p>
        <p>We would also like to thank Ian Horrocks, Anton Morant, Yujiao Zhou Weiguo Xia,
Xi Chen, Yuan Gong and Shuo Zhang, who have contributed to the LogMap project in
the past.
7 http://www.optique-project.eu/
7. Faria, D., Jime´nez-Ruiz, E., Pesquita, C., Santos, E., Couto, F.M.: Towards annotating
potential incoherences in bioportal mappings. In: 13th Int’l Sem. Web Conf. (ISWC) (2014)
8. Fridman Noy, N., Shah, N.H., Whetzel, P.L., Dai, B., et al.: BioPortal: ontologies and
integrated data resources at the click of a mouse. Nucleic Acids Research 37, 170–173 (2009)
9. Ghazvinian, A., Noy, N.F., Jonquet, C., Shah, N.H., Musen, M.A.: What four million
mappings can tell you about two hundred ontologies. In: Int’l Sem. Web Conf. (ISWC) (2009)
10. Giese, M., Soylu, A., Vega-Gorgojo, G., Waaler, A., Haase, P., Jimenez-Ruiz, E., Lanti, D.,
Rezk, M., Xiao, G., Ozcep, O., Rosati, R.: Optique — Zooming In on Big Data Access.</p>
        <p>Computer 48(3), 60–67 (2015)
11. Jime´nez-Ruiz, E., Cuenca Grau, B.: LogMap: Logic-based and Scalable Ontology Matching.</p>
        <p>In: Int’l Sem. Web Conf. (ISWC). pp. 273–288 (2011)
12. Jime´nez-Ruiz, E., Cuenca Grau, B., Horrocks, I., Berlanga, R.: Logic-based assessment of
the compatibility of UMLS ontology sources. J. Biomed. Sem. 2 (2011)
13. Jime´nez-Ruiz, E., Cuenca Grau, B., Zhou, Y., Horrocks, I.: Large-scale interactive ontology
matching: Algorithms and implementation. In: Europ. Conf. on Artif. Intell. (ECAI) (2012)
14. Jime´nez-Ruiz, E., Grau, B.C., Xia, W., Solimando, A., Chen, X., Cross, V.V., Gong, Y.,
Zhang, S., Chennai-Thiagarajan, A.: Logmap family results for OAEI 2014. In: Proceedings
of the 9th International Workshop on Ontology Matching collocated with the 13th
International Semantic Web Conference (ISWC 2014), Riva del Garda, Trentino, Italy, October 20,
2014. pp. 126–134 (2014)
15. Jime´nez-Ruiz, E., Kharlamov, E., Zheleznyakov, D., Horrocks, I., Pinkel, C., Skjaeveland,
M.G., Thorstensen, E., Mora, J.: BootOX: Practical Mapping of RDBs to OWL 2. In:
International Semantic Web Conference (ISWC) (2015), http://www.cs.ox.ac.uk/isg/
tools/BootOX/
16. Jime´nez-Ruiz, E., Meilicke, C., Cuenca Grau, B., Horrocks, I.: Evaluating mapping repair
systems with large biomedical ontologies. In: 26th Description Logics Workshop (2013)
17. Kharlamov, E., Hovland, D., Jime´nez-Ruiz, E., Lanti, D., Lie, H., Pinkel, C., Rezk, M.,
Skjaeveland, M.G., Thorstensen, E., Xiao, G., Zheleznyakov, D., Horrocks, I.: Ontology
Based Access to Exploration Data at Statoil. In: International Semantic Web Conference
(ISWC). pp. 93–112 (2015)
18. Kharlamov, E., Jime´nez-Ruiz, E., Zheleznyakov, D., et al.: Optique: Towards OBDA Systems
for Industry. In: Eur. Sem. Web Conf. (ESWC) Satellite Events. pp. 125–140 (2013)
19. Meilicke, C.: Alignment Incoherence in Ontology Matching. Ph.D. thesis, University of</p>
        <p>Mannheim (2011)
20. Nebot, V., Berlanga, R.: Efficient retrieval of ontology fragments using an interval labeling
scheme. Inf. Sci. 179(24), 4151–4173 (2009)
21. Solimando, A., Jime´nez-Ruiz, E., Guerrini, G.: Detecting and correcting conservativity
principle violations in ontology-to-ontology mappings. In: Int’l Sem. Web Conf. (ISWC) (2014)
22. Solimando, A., Jime´nez-Ruiz, E., Guerrini, G.: A multi-strategy approach for detecting and
correcting conservativity principle violations in ontology alignments. In: Proc. of the 11th
International Workshop on OWL: Experiences and Directions (OWLED). pp. 13–24 (2014)</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Agrawal</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Borgida</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jagadish</surname>
            ,
            <given-names>H.V.</given-names>
          </string-name>
          :
          <article-title>Efficient management of transitive relationships in large data and knowledge bases</article-title>
          .
          <source>In: ACM SIGMOD Conf. on Management of Data</source>
          . pp.
          <fpage>253</fpage>
          -
          <lpage>262</lpage>
          (
          <year>1989</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Baeza-Yates</surname>
            ,
            <given-names>R.A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ribeiro-Neto</surname>
            ,
            <given-names>B.A.</given-names>
          </string-name>
          :
          <article-title>Modern Information Retrieval</article-title>
          . ACM Press / Addison-Wesley (
          <year>1999</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Chen</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Xia</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <article-title>Jime´nez-</article-title>
          <string-name>
            <surname>Ruiz</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cross</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          :
          <article-title>Extending an ontology alignment system with bioportal: a preliminary analysis</article-title>
          .
          <source>In: Poster at Int'l Sem. Web Conf. (ISWC)</source>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Christophides</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Plexousakis</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Scholl</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tourtounis</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>On labeling schemes for the Semantic Web</article-title>
          . In:
          <string-name>
            <surname>Int'l World Wide</surname>
          </string-name>
          <article-title>Web (WWW) Conf</article-title>
          . pp.
          <fpage>544</fpage>
          -
          <lpage>555</lpage>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>Cuenca</given-names>
            <surname>Grau</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            ,
            <surname>Horrocks</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.</given-names>
            ,
            <surname>Kazakov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            ,
            <surname>Sattler</surname>
          </string-name>
          ,
          <string-name>
            <surname>U.</surname>
          </string-name>
          :
          <article-title>Modular reuse of ontologies: Theory and practice</article-title>
          .
          <source>J. Artif. Intell. Res</source>
          .
          <volume>31</volume>
          ,
          <fpage>273</fpage>
          -
          <lpage>318</lpage>
          (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Dowling</surname>
            ,
            <given-names>W.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gallier</surname>
            ,
            <given-names>J.H.</given-names>
          </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-list>
  </back>
</article>