Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Pat,

Sorry for the ate answer. I really didn't know what you are asking  
for. For me it is more difficult to get the right semantics to what  
I'm trying to model than finding the module operations needed. I don't  
really know what should be a module and what a theory, and where would  
you fill the sorts.

From the relations between the sorts I would imgine that COMMON,  
ONTOLOGY1 and ONTOLOGY2 would be theories, and that wht you need are  
interpretations between them. If this is the case, you could perhaps  
make it as follows.

Regards,

Paco

------

fth COMMON is
  sorts Woman Person .
endfth

fth ONTOLOGY1 is
  sorts Woman Person Bank .
endfth

fth ONTOLOGY2 is
  sorts Woman Human Bank .
endfth

fmod MERGEDONTOLOGY is
  sorts RiverBank Woman HumanBeing FinancialBank .
endfm

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

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

view MERGEDONTOLOGY1 from ONTOLOGY1 to MERGEDONTOLOGY is
  sort Woman to Woman .
  sort Bank to RiverBank .
  sort Person to HumanBeing .
endv

view MERGEDONTOLOGY2 from ONTOLOGY2 to MERGEDONTOLOGY is
  sort Woman to Woman .
  sort Bank to RiverBank .
  sort Human to HumanBeing .
endv

fmod MERGE{X :: COMMON, Y :: COMMON} is
endfm

fth TESTMERGEDONTOLOGY is
  including MERGE{ONTOLOGY1,ONTOLOGY2} 
{MERGEDONTOLOGY1,MERGEDONTOLOGY2} .
endfth




El 13/08/2009, a las 15:30, pat browne escribió:

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