Maude-help mailing list

[pat browne <Patrick.Browne AT comp.dit.ie>]

***(
Hi,
I wish to represent ontologies from a paper[1] in Maude.
I would like to use Maude to get the top set of concepts according to
the following diagram:


                                 MERGEDONTOLOGY
           { Woman, RiverBank, FinancialBank, HumanBeing}
                            /                      \
                           /                         \
                          /                            \
                         /                              \
                        /                                 \
                       /                                    \
                      /                                       \

                ONTOLOGY1                               ONTOLOGY2
      {Woman, Bank, Person}                         {Woman, Bank, Human}
                     \                                     /
                      \                                  /
                        \                               /
                         \                            /
                           \                        /
                            \                     /
                             \                  /
                              \                /
                                {Woman ,Person }
                                   COMMMON



Each module below represents  a distinct ontology, each sort represents
a concept. This example includes both synonyms and homonyms. I want to
align ONTOLOGY1 and ONTOLOGY2 w.r.t COMMON to produce MERGEDONTOLOGY.
The details of the concepts are as follows.

The Woman concept should be the same in all ontologies, there is only
one Woman concept and it named as such in each ontology.
Hence there should be only one Woman.MERGEDONTOLOGY

There is only one concept HumanBeing.MERGEDONTOLOGY, but there are 3
synonyms Human.ONTOLOGY2, Person.ONTOLOGY1, and Person.COMMON
It would seem that Person.COMMON  should be mapped (or renamed?) to
Human.ONTOLOGY2 which in turn is mapped to  Person.MERGEDONTOLOGY.

The homonyms are Bank.ONTOLOGY1 and Bank.ONTOLOGY2 which should become
distinct entities in RiverBank.MERGEDONTOLOGY and
FinancialBank.MERGEDONTOLOGY.

I first explored  the module sum +.   The output is.
Maude> show all MERGEDONTOLOGY0 .
               fth MERGEDONTOLOGY0 is
                        sorts Woman Person Bank Human .


Here the duplicate occurrences of Woman have been combined as required.
But, as expected, the two homonyms Bank have been mapped to one Bank
concept, and the synonyms Person and Human have been kept distinct.
Obviously, if this can be done in Maude there will be a need for views
and renaming.
My first attempt at his is not very promising.
Any suggestions?

Regards,
Pat

Reference
 [1]Shapes of Alignments Construction, Combination, and Computation by
Oliver Kutz, Till Mossakowsk, and Mihai Codescu
 http://www.informatik.uni-bremen.de/~okutz/shapes.pdf

)


fth COMMON is
sorts Woman Person .
endfth

fth  ONTOLOGY1 is
sorts Woman Person Bank .
endfth

fth ONTOLOGY2 is
sorts Woman Bank Human .
endfth

fth MERGEDONTOLOGY0 is
including COMMON + ONTOLOGY1 + ONTOLOGY2 .
endfth

fth MERGEDONTOLOGY1{ O1 :: ONTOLOGY1, O2 :: ONTOLOGY2} is
endfth


view vo12c from ONTOLOGY1 to COMMON is
sort Woman to Woman .
sort Person to Person .
endv

view vo22c from ONTOLOGY2 to COMMON is
sort Woman to Woman .
sort Person to Human .
endv


fth MERGEDONTOLOGY2 is
including  TEST1{vo12c,vo22c} .
endfth