Expansão das relações entre EM por regras de transitividade

HAREM, Linguateca
Este texto apresenta as relações que consideramos poderem ser inferidas a partir de outras já marcadas, no Segundo HAREM. Tem como objectivo indicar quais as expansões que a avaliação da pista ReRelEM faz antes de pontuar os sistemas.

De notar que nem todas as expansões são necessárias, dado que também codificamos (ou explicitamos) a relação inversa. Mas para que fiquem todas as possibilidades de inferência, apresentamo-las aqui, sempre com um exemplo.

As relações abaixo devem ser lidas da seguinte maneira:

ident (A; B) lê-se A idêntico a B;
inclui (A, B) lê-se A inclui B;
incluido (A, B) lê-se A incluído em B;
sede_de (A, B) lê-se A sede de B;
ocorre_em (A, B) lê-se A ocorre em B;
outra (A, B) lê-se A possui relação "outra" com B.

  1. ident(AB) e ident(B, C)-> ident(AC)
    A=Primeiro Ministro de PortugalB=José SócratesC=Sócrates
    O Primeiro Ministro de Portugal, José Sócrates, partiu hoje em visita oficial ao Brasil. Sócrates embarcou ainda de manhã.
  2. inclui(AB) e inclui(B, C) -> inclui(A, C)
    A = EUAB = Havaí, C = Honolulu
    Um deles já está pronto e em funcionamento no HavaíEUA, especificamente no laboratório de Honolulu.
  3. incluido(AB) e incluido(B, C) -> incluido(A, C)
    A= CISUC, B=Departamento de Engenharia Informática , CUC
    O centro de pesquisas do Departamento de Engenharia Informática é o CISUC, um dos principais centros da UC.
    (Nota: este é o inverso do anterior)
  4. ident(A, B) e inclui(B, C) -> inclui(A, C)
    A=Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada , B=PROPOR , C=Encontro do Segundo HAREM
    Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR) terá como evento satélite o Encontro do Segundo HAREM.
  5. ident(A, B) e incluido(B, C) -> incluido(A, C)
    A=TIL , B=Tecnologia da Informação e da Linguagem Humana , C=Congresso da SBC
    TIL (Tecnologia da Informação e da Linguagem Humana), em 2207, ocorreu como evento satélite do Congresso da SBC.
    (Nota: este é o inverso do anterior)
  6. ident(AB) e sede_de(B, C) -> sede_de(A, C)
    A=Vale do SilícioB=Silicon Valley , C=HP
    No Vale do Silício (Silicon Valley) estão inúmeras empresas vinculadas à tecnologia, como a HP.
  7. ident(AB) e ocorre_em(B, C) -> ocorre_em(A, C)
    A=CLICB=Centro de Linguistica Computacional , C=PUC/RJ
    O CLIC (Centro de Linguistica Computacional) fica na PUC/RJ
    (Nota: este é o inverso do anterior)
  8. inclui(AB) e sede_de(B,C ) -> sede_de (A, C )
    A=PortugalB=AlgarveC=Algarve Summer Festival
    Algarve, no sul de Portugal, é um dos destinos mais procurados no verao. É lá, aliás, que acontece o Algarve Summer Festival.
  9. incluido(AB) e ocorre_em(B, C) -> ocorre_em (A, C)
    A=Here Is the BluesB=Coimbra em Blues , C=Teatro Acadêmico de Gil Vicente
    "Here Is the Blues" é um dos shows que integra o festival Coimbra em Blues, que ocorre no Teatro Acadêmico de Gil Vicente
    (Nota: este é o inverso do anterior)
  10.  ident(A,B) e outra (B,C) -> outra (A,C)
    A=presidente do BrasilB=Luis Inacio Lula da Silva , C=PT
    presidente do BrasilLuis Inacio Lula da Silva, sempre foi filiado ao PT
  11. ident(A, B) e outra (C,B) -> outra (C,A)
    A=Luis Inacio Lula da SilvaB=Lula , C=PT
    Luis Inacio Lula da Silva tem sido alvo de críticas. Mas, surpreendentemente, a popularidade de Lula (PT) só aumenta.

Última actualização: 27 de Agosto de 2008.