<!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>Combining Ontology Mapping Methods Using Bayesian Networks</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Ondreˇj Sˇva´b</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vojetcˇh Sva´tek</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>University of Economics, Prague, Dep. Information and Knowledge Engineering</institution>
          ,
          <addr-line>Winston Churchill Sq. 4, 130 67 Praha 3, Prague</addr-line>
          ,
          <country country="CZ">Czech Republic</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Bayesian networks (BNs) can capture interdependencies among ontology mapping methods and thus possibly improve the way they are combined. Experiments on ontologies from the OAEI collection are shown, and the possibility of modelling explicit mapping patterns in combination with methods is discussed.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        Most existing systems for ontology mapping combine various methods for
achieving higher performance in terms of recall and precision. Our approach relies on
Bayesian networks (BNs) as well-known formal technique that can capture
interdependencies among random variables. A Bayesian network (BN) [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] is a
directed acyclic graph with attached local probability distributions. Nodes in the
graph represent random variables with mutually exclusive and exhaustive sets of
values (states). Edges in the graph represents direct interdependences between
two random variables. We believe that this approach can bring additional
benefits compared to ad hoc combination of methods, mainly resulting from better
adaptability (training from data within a well-established formal framework).
      </p>
      <p>
        Two approaches that use BNs for Ontology Mapping have recently been
reported. The rfist is OMEN [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ], which mainly serves for enhancing existing
mappings. Its input are results of another mapping tool, while its output are more
precise mappings as well as and new mappings. Nodes in the BN represent pairs
of concepts that can potentially be mapped. Edges follow the taxonomy given in
original ontologies. The network structure thus mimics that of ontologies
themselves, though heuristics for graph pruning are employed in this transformation.
For constructing conditional probability tables (CPTs) for each node meta-rules
are used, such as : “if two nodes match and so do two arrows coming out of these
nodes then the probability that nodes at the other end of the arrows match is
increased”. The second project, BayesOWL ([
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]), is rather a framework for
ontology mapping than a mapping method per se. The probabilistic ontological
information is assumed to be learnt (in forms of probabilistic constraints) from
web data using a text-classicfiation-based learner; this information is translated
to BNs. Mappings among concepts from two different ontologies then can be
discovered using so-called evidential reasoning across two BNs.
      </p>
    </sec>
    <sec id="sec-2">
      <title>Modelling Dependencies among Mapping Methods</title>
      <p>Our approach differs from prior approaches in the sense that we don’t apply
BN modelling to ontologies or their mappings themselves but rather to different
mapping methods. The BNs are assumed to contain nodes (or sub-networks)
representing the results of individual methods plus one representing the final output.
This will allow us not only to combine the methods (in the probabilistic
framework) but also to talk about conditionally in/dependent methods, a minimal
required subset of methods and the like. The mapping methods can have
varying degree of granularity: we focus on low-level methods, understood as mapping
justifications . Moreover, in the work-in-progress part of our research, we account
for mapping patterns encompassing small structural fragments of ontologies. The
patterns will capture, to some degree, similar information as OMEN meta-rules,
we however prefer to model them directly within the BN formalism.</p>
      <p>We distinguish among families of methods (string-based,
linguistic-resourcebased, graph-based, logic-based etc.) sharing some generic principle and input
resources. Each family encompasses multiple low-level methods; for example, a
string-based method can be built upon diverse string distance measures. We
dedicate a separate node of the BN to each low-level method, viewed here as
mapping justification . We believe that such methods are a meaningful target
for BN modelling, as their statistical dependencies are likely to reflect plausible
relationships even interpretable by a human.</p>
      <p>
        The notion of mapping pattern is a natural counterpart to that of
intraontology (‘design’) pattern [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. Mapping patterns have been implicitly proposed
by Ghidini &amp; Seranfii [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], who even consider mappings among different modelling
constructs (such as concept-to-relation). A mapping pattern is, essentially, a
structure containing some (at least one) constructs from each of the two (or
more) ontologies plus some (candidate) mapping among them. The simplest
mapping pattern only connects one concept from each of the two ontologies. An
example of a bit more complex mapping pattern is in Figure 1. The left-hand
side (class A) is from O1 and the right-hand side (class B and its subclass X) is
from O2. We try to map class A simultaneously to class B and to class X.
      </p>
      <p>The input to the process of BN training for ontology mapping are positive and
negative examples with results of individual methods (‘mapping justifications’),
and possibly also the network structure, unless we want to learn it as well. The
positive examples correspond to pairs for which mapping has previously been
established, while the negative ones are (all or a subset of) pairs that have been
identified as non-matching. Then CPTs and possibly the structure are learnt. In
the phase of using the trained BN, the mapping justifications for unseen cases
(pairs of concepts) are counted and inserted into the BN as evidence. The result
of alignment is calculated via propagation of this evidence.
3</p>
    </sec>
    <sec id="sec-3">
      <title>Experiments</title>
      <p>For experiments we choose ontologies from the OntoFarm collection (http:
//nb.vse.cz/~svabo/oaei2006/), which is currently part of the OAEI 2006
setting. It models the domain of conference organisation; individual ontologies
were designed independently by different people and based on different resources:
personal experience with conference organisation, conference web pages or
conference organisation support tools.</p>
      <p>
        We restricted the first experiments to ten string distance measures
implemented in the SecondString library (http://secondstring.sourceforge.net/:
Levenshtein, Jaro, Jaccard, Char-Jaccard, Smith-Waterman, Monge-Elkan, SLIM,
TokenFelligiSunter, UnSmoothedJS and TFIDF. Because of the local nature
of distance string measures, capturing context by means of mapping patterns
does not seem to bring great benefits; we thus only focused on the combination
of low-level methods. We extracted classes from two ontologies (ekaw.owl and
ConfOf.owl). Our training data consist of 798 pairs, of which 149 were
manually labelled as positives and 649 as negatives. They were ‘semi-randomly’ picked
from different parts of the ontology; the overall number of possible pairs would
be about 2500 (the product of concept counts in both ontologies). The results
were transformed from the [
        <xref ref-type="bibr" rid="ref1">0, 1</xref>
        ] scale to two categories: ‘true’ if the value is over
0.5 and ‘false’ if the value is lower or equal to 0.5.
      </p>
      <p>
        To learn the BN we use the Hugin tool (http://www.hugin.com/): the
structure was trained using the NPC method and CPTs were trained using the EM
algorithm. We learnt two Bayesian networks in this way. The rfist one has been
enforced the naive Bayesian structure, which assumes independence of methods;
only the CPTs were learned from data. For the second network, we also learnt
the structure; in this way we could also explore interdependencies among
lowlevel methods. The learnt structure is in Figure 2. From the structure and the
denfition of so-called Markov blanket [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] we can conclude that if we know the
mapping justifications of TFIDF, Smith-Waterman, Jaccard, Jaro, and SLIM,
other methods do not matter. Methods unrelated to some other method
(TokenFelligiSunter and UnSmoothedJS) are not in the BN at all.
      </p>
      <p>To evaluate the performance of each proposed Bayesian classiefir we used the
one-leave-out method. For the naive Bayesian classifier, we got the best result
with probability threshold 80%: 73% precision, 60% recall (F-measure was then
0.66) and 88% accuracy. For the Bayesian classifier with learnt structure we
got 84% precision, 53% recall (F-measure was 0.65) and 89% accuracy as best
result, for whatever threshold between 40% and 70%. Both our classifiers
outperform trivial classifiers that always predict true or false, respectively. Overall,
the Bayesian classifier with learnt structure outperformed the naive Bayesian
classiefir. On the other hand, the best individual method (Jaccard) performed
the same as the Bayesian classifier with learnt structure (84% precision, 53% of
recall and 89% accuracy) with threshold around 50%. By this result, we can say
that the combination (using BN) of string distance measures does not bring a
direct benetfi. However, the (second) Bayesian classiefir is less sensitive to the
change of threshold, while Jaccard moves towards 100% precision but rather low
recall of 23% as soon as the threshold increases to 60%.
We suggested to use low-level methods as ‘mapping justicfiations’ in order to
train a Bayesian network on a sample of mappings to produce new mappings.
Results of preliminary experiments with string distance measures as low-level
methods are not entirely convincing in terms of performance, which can be
explained by strong correlation among these methods; this correlation was actually
discovered when learning the BN structure. The main role of this initial phase
of research was to gain deeper insight into the problems addressed. The
possibility to model explicit mapping patterns in combination with methods was also
studied but not yet reflected in experiments.</p>
      <p>In the future, we plan to employ, in the role of mapping justifications , not
only string-based (low-level) techniques, but also e.g. graph-based or
thesauribased techniques. A more challenging task is however to design BNs reeflcting the
structure of patterns. Each method (and the nfial result) will be represented with
a set of nodes corresponding to the given pattern. For example, a fragment of
BN reflecting the mapping pattern from Fig. 1 is depicted in Fig. 3. It considers
not only the equivalence relation but also the (proper) subsumption relation,
and has four nodes that represent the alignment of each pair and each relation
(equivalence of A and B, equivalence of A and X, subsumption of A and B and
subsumption of A and X). align1 represents the equivalence mapping between A
and B. align1sub represents the subsumption mapping between A a B (B ⊃ A).
align2 represents the equivalence mapping between A a X. Finally, align2sub
represents the subsumption mapping between A a X (A ⊃ X). Edges then
should automatically be learnt for the pairs of nodes align1 and align2sub,
and align2 and align1sub, respectively, due to strict dependencies.
We thank JıriV´ˇomlel for his assistance with Bayesian Networks. The research
was partially supported by the IGA VSE grants no.26/05 “Methods and tools
for ontological engineering”, no.12/06 “Integration of approaches to ontological
engineering: design patterns, mapping and mining”, and by the Knowledge Web
Network of Excellence (IST FP6-507482).</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>W3C</given-names>
            <surname>Semantic Web Best Practices</surname>
          </string-name>
          and Deployment Working Group.
          <article-title>Ontology Engineering and Patterns Task Force (OEP)</article-title>
          . Online at http://www.w3.org/2001/ sw/BestPractices/OEP/
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Ghidini</surname>
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Serafini</surname>
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>Reconciling concepts and relations in heterogeneous ontologies</article-title>
          .
          <source>In: Proc. ESWC</source>
          <year>2006</year>
          , Budva, Montenegro,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Jensen</surname>
            <given-names>F. V.</given-names>
          </string-name>
          :
          <article-title>Bayesian Networks and Decision Graphs</article-title>
          . Springer,
          <year>2001</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Mitra</surname>
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Noy</surname>
            <given-names>N. F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jaiswal</surname>
            <given-names>A. R.:</given-names>
          </string-name>
          <article-title>OMEN: A Probabilistic Ontology Mapping Tool</article-title>
          . In: Workshop on Meaning coordination and negotiation at the Third International Semantic Web Conference (ISWC-
          <year>2004</year>
          ), Hiroshima, Japan,
          <year>2004</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Pan</surname>
            <given-names>R.</given-names>
          </string-name>
          , Ding
          <string-name>
            <given-names>Z.</given-names>
            ,
            <surname>Yu</surname>
          </string-name>
          <string-name>
            <given-names>Y.</given-names>
            ,
            <surname>Peng</surname>
          </string-name>
          <string-name>
            <surname>Y.</surname>
          </string-name>
          :
          <article-title>A Bayesian Network Approach to Ontology Mapping</article-title>
          .
          <source>In: Proceedings ISWC</source>
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>