Maude-help mailing list

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

Hi,
In reply to my own query the follwoing renamings almost give me the
merged ontology thet I require.

fth MERGEDONTOLOGY0 is
including
 (ONTOLOGY1 * (sort Bank to RiverBank,sort Person to HumanBeing)) +
(ONTOLOGY2 * (sort Human to HumanBeing, sort Bank to FinancialBank))  .
endfth

Examing the MERGEDONTOLOGY0  with show all:
fth MERGEDONTOLOGY0 is
  sorts Woman FinancialBank HumanBeing RiverBank .
endfth

What I seem to be missing is a way of including the COMMON component.

Regards,
Pat

pat browne wrote:
> ***(
> 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
> 
> 
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help