<!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>Ontology Mapping Using Fuzzy Conceptual Graphs and Rules</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Patrice Buche</string-name>
          <email>Patrice.Buche@agroparistech.fr</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Juliette Dibie-Barth´elemy</string-name>
          <email>Juliette.Dibie@agroparistech.fr</email>
          <email>et@risk</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Liliana Ibanescu</string-name>
          <email>Liliana.Ibanescu@agroparistech.fr</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>INRA Department of Applied Mathematics and Computer Science</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>UFR Informatique, AgroParisTech</institution>
          ,
          <addr-line>16 rue Claude Bernard, F-75231 Paris Cedex 05</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>This paper presents a new ontology mapping method between a source ontology and a target one considered as a reference. Both ontologies are composed of triplets of the form (object, characteristic, value). Values describing the objects of the reference ontology are hierarchically organized using the a kind of relation. The proposed method considers the ontology mapping problem as a rule application problem in the Conceptual Graph model. First, a vocabulary common to both ontologies is defined using mapping between values and characteristics. Each value of the source ontology is associated with a fuzzy set of values of the reference ontology. Then, the source ontology is translated into a fuzzy conceptual graph base and the reference ontology into a conceptual graph rule base. Finally, rules are applied into the fact base in order to find correspondences between objects of both ontologies. This method is implemented and applied to the mapping of ontologies in risk assessment in food products, and experimental results are presented.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        Introduction
Information systems which are characterized by the presence of multiple and
independent knowledge representation are concerned by the problem of the
interoperability among them. Mappings play a key role to treat that problem and
may be used for different purposes (schema or ontology integration, ontology
engineering, ...). Ontology matching is defined as a process that takes two
ontologies as input and returns a mapping which identifies corresponding concepts
in the two ontologies by taking into account their descriptions and constraints in
terms of names, properties and semantic relations. The problem on the ontology
matching problem has been widely investigated in the literature (see [
        <xref ref-type="bibr" rid="ref2 ref5 ref7 ref8">5, 8, 7, 2</xref>
        ]).
      </p>
      <p>
        In the framework of Conceptual Graphs (CG), previous works [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] have shown
that this model can be extended to ontology matching based on conceptual
properties. In this paper, we want to use the CG model when ontology matching
is based simultaneously on lexical and conceptual properties. More precisely,
we want to address the mapping process of a source ontology with a target
ontology considered as a reference. Both ontologies are composed of triplets
of the form (object, characteristic, value). There is no class categorization for
objects and characteristics, and the values contained in the reference ontology
are organized according to the a kind of partial value function. We propose to
use fuzzy CGs [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] to represent and to match ontologies for three main reasons:
(i) the support of the CG model is well adapted to the representation of the
taxonomies of the reference ontology; (ii) the projection operation takes into
account the specialization relation between values of the ontologies; (iii) the
fuzzy extension encodes similarities between values and objects of the ontologies.
      </p>
      <p>The aim of the proposed mapping method is to establish correspondences
between objects of two ontologies. The mapping problem adressed in this paper
is not a symmetric problem since one of the two ontologies is considered as a
reference. So we propose a new ontology mapping method in which the reference
ontology is considered as a rule base and the source ontology as a fact base. The
ontology mapping problem then becomes a rule application problem.
Nevertheless, in order to apply rules into a fact base, both rules and facts must be defined
with the same vocabulary. So, our mapping method can be divided into three
main steps. The first step (section 2) consists in defining a vocabulary common
to the source and the reference ontologies. The second step (section 3) concerns
the translation of the source ontology into a fact base and of the reference
ontology into a rule base. The third step (section 4) deals with the application of
the rules into the fact base in order to find correspondences between objects of
both ontologies. Finally, experimental results are presented in section 5.
2</p>
      <p>
        Definition of a common vocabulary
We have chosen the Conceptual Graph (CG) model as formalized in [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] in order
to represent and to compare objects of a source ontology denoted S with objects
of a reference ontology denoted R. The CG model contains (i) the
terminological knowledge made of a concept type lattice which contains a smallest type
denoted ⊥ and a biggest one denoted ⊤, a relation type set possibly organized
in hierarchy, a set of individual markers enabling the designation of instances
and a conformity relation between markers and types, (ii) a CG fact base built
on the terminological knowledge and (iii) rules of the form GH ⇒ GC where GH
represents the hypothesis of the rule and GC its conclusion.
      </p>
      <p>
        In order to compare objects of S with objects of R, we would like to use
the projection operation on CGs. But the objects of S are not defined with the
same vocabulary as the objects of R. Since the ontology R is a reference one,
we propose to express each object of S in terms of characteristics and values of
R. For that, we define a mapping between values and characteristics of S and
R. We only briefly recall this mapping which has already been presented in [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>
        First, each value v of S is associated with a set of values {w1, . . . , wn} of R,
weighted by their lexical closeness to the value v using the Dice coefficient. Such
a set of values is represented by a fuzzy set [
        <xref ref-type="bibr" rid="ref11 ref12">11, 12</xref>
        ].
      </p>
      <p>Example 1 Let pollock raw be a value of S. Let pollock, Alaska pollock be
values of R. μpollockraw={ 0.66/pollock + 0.5/Alaska pollock }.</p>
      <p>The lexical mapping between values is used to identify correspondences
between characteristics of S and R. The result of the mapping between values and
characteristics of S with values and characteristics of R is defined below.</p>
      <p>Definition 1 We call linked values of the source ontology S, denoted LVS , the
set of values of S such that each of them is associated with a set of values of the
reference ontology R with a given relevance score, represented by a discrete fuzzy
set. We call linked characteristics of S, denoted LCS , the set of characteristics
of S such that each of them is associated with one characteristic of R.</p>
      <p>Thanks to this mapping, we can now present the terminological knowledge
common to S and R. The concept type set is composed of the object names
of S and R, the set of characteristics of R, the hierarchized set of values of R
and the concept type NumVal. The relation type set is composed of the relation
types HasForCharac, HasForValue, IsAnnotatedBy and HasForScore. The set of
individual markers contains values of the reference domain of the real numbers
IR.
3</p>
      <p>Translation of the ontologies into fact and rule bases
Since the vocabulary common to the source ontology S and the reference
ontology R has been defined, we can now deal with the second step of our mapping
method i.e. to translate S into a CG fact base and R into a CG rule base.
3.1</p>
      <p>
        Translation of the source ontology into a fuzzy CG base
Each object of S is represented by a CG using the terminological knowledge
described above: each of its characteristics and each of its associated values are
represented by means of their corresponding characteristic and values in R. Since
each value of the object in S is associated with a fuzzy set of values in R1, the CG
contains fuzzy values. We have proposed in [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] an extension of the CG model
to represent fuzzy values: a fuzzy set with a hierarchized reference domain can
be represented in a concept vertex as a fuzzy type.
      </p>
      <p>Definition 2 Let f be the fuzzy value function which associates each value of
LVS with its corresponding values in the reference ontology R and their relevance
score. Let g be the value function which associates each characteristic of LCS
with its corresponding characteristic in R. Let CT = { Charac1T , . . ., CharacpT }
be the set of characteristics of R. Let N ameY be the name of an object Y of the
source ontology S. Let CT = { g(Charac1Y ), . . ., g(CharacYm) } ∈ CT , m ≤ p,</p>
      <p>Y
be the set of characteristics associated with Y in R, where CharaciY ∈ LCS ,
i ∈ [1, m]. Let CT′ = { CharaclT , . . ., CharackT }, p − m ≤ l ≤ k ≤ p, be the set
of characteristics of R such that CT′ = CT \ CYT . Let Value1, . . ., Valuem be the
values associated with the characteristics of Y and belonging to LVS . Then each
object Y of S can be represented by the CG GYT of Figure 1.
1 This fuzzy set of values has a semantic of similarity and represents the ordered list
of the most similar values of R associated with a value of S.
" # %$
" # %$
...
Example 2 Let fresh fish be an object of S. Its associated list of couples
(characteristic : value) is: (presentation: whole) and (which fish ?: pollock raw). Figure 2
presents the CG GfTf associated with fresh fish, where g(presentation)= ‘origin
of main ingredient’ and g(which fish?)= ‘physical state, shape’.
Each object of R is represented by means of a CG rule which allows objects of
S to be annotated with objects of R according to the correspondences between
their characteristics and associated values.</p>
      <p>Definition 3 Let CT = { Charac1T , . . ., CharacpT } be the set of characteristics
of the reference ontology R. Let N ameX be the name of an object X of R. Let
CX = { Charac1X , . . ., CharacnX }, n ≤ p, be the set of characteristics associated</p>
      <p>T
with X . Let CT′ = { CharaclT , . . ., CharackT }, p − n ≤ l ≤ k ≤ p, be the set of
characteristics of R such that CT′ = CT \ CXT . Let Value1, . . ., Valuen be the
values associated with the characteristics of X . Then, each object X of R can
be represented by the CG rule RX of Figure 3 where the marker *scoreproj is
the adequation degree between the hypothesis of RX and a CG into which there
exists a δ-projection (see Definition 4).
Rcr</p>
      <p>Example 3 Let cod, raw be an object of R. Its associated list of couples
(characteristic : value) is: (origin of main ingredient: cod or codfish), (physical state,
shape: whole, shape solid) and (preservation method: preserved by refrigeration).
Figure 4 presents the CG rule associated with the object cod, raw of R.</p>
      <p>Using CG rules for fuzzy matching of objects</p>
      <p>Objects of the ontologies S and R are now represented by comparable CGs using
the same vocabulary. The objects of S are represented by fuzzy CGs and the
objects of R by CG rules. The next and last step of our mapping method consists
in applying the CG rules into the fuzzy CGs in order to find correspondences
between objects of S and objects of R. These rules application allows the objects
of S to be enriched with annotations that are sets of similar objects of R.</p>
      <p>
        The rule application requires to compare a crisp CG which represents the
hypothesis of a rule with a fuzzy CG which represents an object of S and may
contain fuzzy values. This comparison is made using the δ-projection which is
an extension of the projection operation defined in [
        <xref ref-type="bibr" rid="ref10 ref3">10, 3</xref>
        ].
      </p>
      <p>Definition 4 A δ-projection from a crisp CG G into a fuzzy CG G′ is a triple
(g, h, δ), g (resp. h) being a mapping from the set of concept (resp. relation)
vertices of G into the set of concept (resp. relation) vertices of G′ such that:
(i) the edges and their numbering are preserved; (ii) the labels of the relation
vertices may be restricted; (iii) ∀ crisp concept vertex ci ∈ G, i ∈ [1, . . . , n],
labelled ti : mi, ci is mapped with its image g(ci) ∈ G′ labelled ti : m , with an
′ ′
i
adequation degree δi = μclos(t′i)(ti), μclos(t′i) being the membership function of the
fuzzy type closure of t′i. The adequation degree of G by G′ is δ = mini=1,...,nδi.</p>
      <p>
        We can now identify the correspondences between objects of S and R. Each
rule associated with each object of R is β-applied into the fuzzy CGs representing
the objects of S, β being a threshold allowing the end-user to avoid too bad
correspondences between objects. The β-application is an extension of the rule
application defined in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ].
      </p>
      <p>Definition 5 There exists a β-application from a rule GH ⇒ GC into a CG G
if there exists a δ-projection from GH into G such that δ ≥ β.</p>
      <p>Example 4 Let us consider the object fresh fish of S described in Example 2
and represented by the CG GTff of Figure 2. Let us consider the object cod,
raw of R described in Example 3 and represented by the rule Rcr of Figure 4.
There exists a 0.5-projection from the hypothesis of Rcr into GTff . So, Rcr can
be 0.4-applied into GTff . The resulting CG R[GTff ] is described in Figure 5.</p>
      <p>Thus, at the end of this mapping process, each object Y of the source ontology
S is associated with a set of candidate objects (see Definition 6) of the reference
ontology R, weighted by their adequation degrees to the object Y .
Definition 6 An object X of the reference ontology R is a candidate for an
object Y of the source ontology S with the adequation degree δ if the generic
concept vertex of type N ameY is linked by the relation vertex IsAnnotatedBy
to the generic concept vertex of type N ameX which is linked by the relation
vertex HasF orScore to the individual concept vertex (N umV al: δ).</p>
      <p>Example 5 According to Example 4, the object cod, raw of R is a candidate
for the object fresh fish of S with the adequation degree 0.5.
5</p>
      <p>Experimentation
We have developed methods to estimate the exposure of a given population of
consumers to chemical contaminants using two databases: the first one, called
CONTA, considered as the reference ontology R, gives the degree of chemical
contamination for 472 food products; the second one, called CONSO, considered
as the source ontology S, stores household purchases of 2595 food products.</p>
      <p>We have realised an expert manual mapping: 398 food products from the
CONSO ontology (i.e. 84.32% from 472) have been associated with 2041 food
products from the CONTA ontology (i.e. 78.65% from 2595) by 3258 mappings.
Only 118 mappings (i.e. 3.82% from 3258) associate one food product from the
CONSO ontology with exactly one food product from the CONTA ontology.</p>
      <p>Table 1 gives precision (the percent of the found correct mappings to the
found mappings) and recall (the percent of the found correct mappings to the
correct mappings found manually) for different correspondences. Mapping of
food product names, without mapping of characteristics, permits to retrieve
half of the manual matches but has a very bad precision (8.8%). Mapping of
characteristics enhances the recall till around 77%. We have also evaluated the
influence of the taxonomy defined on the values of R: for the mapping of 6 (resp.
20) characteristics, 6.96% (resp. 8.38%) of 74.40% (77.04%) are obtained.</p>
      <p>#nb charac #f ound #correct p × 100 r × 100
In this paper we present an ontology mapping method between a source
ontology and a reference one. Both ontologies are composed of triplets of the form
(object, characteristic, value). Values describing the objects of the reference
ontology are hierarchically organized using the a kind of relation. First, all the
objects of the source ontology S are represented into a fuzzy CG base, denoted
KBS T . Then, all the objects of the reference ontology R are represented as a set
of CG rules, denoted RulesR. Finally, the rules from RulesR are applied into
KBS T . This application produces an annotation for objects from S that encodes
correspondences with objects from R and the associated adequation degrees. We
have shown in this paper that, thanks to our fuzzy extension of the CG model,
it is possible to represent and manipulate lexical mapping results combined with
semantic properties. This method has been implemented and applied to the
mapping of ontologies in risk assessment in food products. Our experimentation
shows that the method has a rather good recall but a poor precision.</p>
      <p>
        A first perspective to enhance our method is to study other comparaison
techniques between characteristics and values such as semantic techniques or
contextual matching techniques. An other perspective is to apply, in post-treatement,
semantic constraints on the generated mappings between objects. Finally, we
want to compare our results with the one obtained using other ontology
alignement methods thanks to ontology alignment comparison systems ([
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]).
      </p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>J. F.</given-names>
            <surname>Baget</surname>
          </string-name>
          and
          <string-name>
            <given-names>M. L.</given-names>
            <surname>Mugnier</surname>
          </string-name>
          ,
          <article-title>Extensions of simple conceptual graphs: the complexity of rules and constraints</article-title>
          ,
          <source>Journal of Artificial Intelligence Research</source>
          <volume>16</volume>
          (
          <year>2002</year>
          ),
          <fpage>425</fpage>
          -
          <lpage>465</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>S.</given-names>
            <surname>Castano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ferrara</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Montanelli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G. N.</given-names>
            <surname>Hess</surname>
          </string-name>
          , and
          <string-name>
            <surname>S. Bruno,</surname>
          </string-name>
          <article-title>BOEMIE (Bootstrapping Ontology Evolution with Multimedia Information Extraction)</article-title>
          ,
          <source>State of the Art on Ontology Coordination and Matching, FP-027538 Deliverable 4.4</source>
          ,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>D.</given-names>
            <surname>Doussot</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Buche</surname>
          </string-name>
          ,
          <string-name>
            <surname>J.</surname>
          </string-name>
          <article-title>Dibie-Barth´elemy, and</article-title>
          <string-name>
            <given-names>O.</given-names>
            <surname>Haemmerl</surname>
          </string-name>
          ´e, Using Fuzzy Conceptual Graphs to Map Ontologies, (
          <year>2006</year>
          ),
          <fpage>891</fpage>
          -
          <lpage>900</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>J</given-names>
            <surname>´erˆome Euzenat</surname>
          </string-name>
          ,
          <article-title>An api for ontology alignment</article-title>
          ,
          <source>International Semantic Web Conference, Lecture Notes in Computer Science</source>
          , vol.
          <volume>3298</volume>
          ,
          <year>2004</year>
          , pp.
          <fpage>698</fpage>
          -
          <lpage>712</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5. J´erˆome Euzenat and
          <string-name>
            <given-names>Pavel</given-names>
            <surname>Shvaiko</surname>
          </string-name>
          , Ontology Matching, Springer,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6. Fr´ed´eric Fu¨
          <article-title>rst and Francky Trichet, Heavyweight ontology matching - a method and a tool based on the conceptual graphs model</article-title>
          ,
          <source>ICEIS</source>
          <year>2007</year>
          ,
          <year>2007</year>
          , pp.
          <fpage>265</fpage>
          -
          <lpage>270</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>Yannis</given-names>
            <surname>Kalfoglou</surname>
          </string-name>
          and
          <string-name>
            <given-names>Marco</given-names>
            <surname>Schorlemmer</surname>
          </string-name>
          , Ontology Mapping:
          <article-title>The State of the Art, Semantic Interoperability</article-title>
          and
          <string-name>
            <surname>Integration (Y. Kalfoglou</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Schorlemmer</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          <string-name>
            <surname>Sheth</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <string-name>
            <surname>Staab</surname>
          </string-name>
          , and M. Uschold, eds.),
          <source>Dagstuhl Seminar Proceedings, no. 04391</source>
          ,
          <string-name>
            <surname>Internationales</surname>
          </string-name>
          Begegnungs- und
          <source>Forschungszentrum fuer Informatik (IBFI)</source>
          , Schloss Dagstuhl, Germany,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Natalya</surname>
            <given-names>F.</given-names>
          </string-name>
          <string-name>
            <surname>Noy</surname>
            , Semantic Integration:
            <given-names>A Survey</given-names>
          </string-name>
          <string-name>
            <surname>Of Ontology-Based</surname>
            <given-names>Approaches</given-names>
          </string-name>
          ,
          <source>SIGMOD Record Special Issue on Semantic Integration</source>
          <volume>33</volume>
          (
          <year>2004</year>
          ),
          <source>no. 4.</source>
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>E.</given-names>
            <surname>Salvat and M.L. Mugnier</surname>
          </string-name>
          ,
          <article-title>Sound and complete forward and backward chainings of graph rules</article-title>
          ,
          <source>Proceedings of the 4th International Conference on Conceptual Structures, ICCS'96, Lecture Notes in Artificial Intelligence 1115</source>
          , Springer-Verlag (Sydney, Australia),
          <year>August 1996</year>
          , pp.
          <fpage>248</fpage>
          -
          <lpage>262</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>R.</given-names>
            <surname>Thomopoulos</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Buche</surname>
          </string-name>
          , and
          <string-name>
            <given-names>O.</given-names>
            <surname>Haemmerl</surname>
          </string-name>
          <article-title>´e, Different Kinds of Comparisons Between Fuzzy Conceptual Graphs</article-title>
          ,
          <source>Proceedings of the 11th International Conference on Conceptual Structures, ICCS'2003, Lecture Notes in Artificial Intelligence</source>
          #
          <volume>2746</volume>
          (Dresden, Germany), Springer,
          <year>July 2003</year>
          , pp.
          <fpage>54</fpage>
          -
          <lpage>68</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11. L.
          <string-name>
            <surname>Zadeh</surname>
          </string-name>
          , Fuzzy sets,
          <source>Information and control 8</source>
          (
          <year>1965</year>
          ),
          <fpage>338</fpage>
          -
          <lpage>353</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12. ,
          <article-title>Fuzzy sets as a basis for a theory of possibility</article-title>
          ,
          <source>Fuzzy Sets and Systems</source>
          <volume>1</volume>
          (
          <year>1978</year>
          ),
          <fpage>3</fpage>
          -
          <lpage>28</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>