Comentários sobre ECLM 2011 e ISWC 2011 (1/2)

Desde que voltei da minha última viagem para participar da ECLM 2011 e ISWC 2011, estou pensando em escrever sobre o assunto. Por estar escrevendo em português, acho que tenho lá ainda alguma chance de contribuir com algo novo. Neste post, vou falar da ISWC 2011. Vou começar listando alguns blogs que já escreveram sobre estas conferências em inglês.

Das duas conferências, certamente a ISWC é a maior e, por isso, também foi a mais comentada. São vários os posts de pessoas que escreveram sobre ela. Ivan Herman escreveu Some notes on ISWC2011. Também sobre a ISWC-2011 vale a pena ler o post Notes from ISWC 2011 e a série de 5 posts de Juan Sequeda.

Como Ivan escreveu no post dele, diferentes pessoas certamente relatarão diferentes experiências da ISWC 2011. Me chamou atenção os comentários dele sobre os trabalhos apresentados relacionados à visualização de ontologias. Embora o assunto me interesse, acho que perdi os workshops ou seções relacionadas a este tema. Foi bom ter lido o post dele.

Da minha parte, gostei bastante da ISWC 2011. A conferência foi bem organizada, o hotel muito bom e a cidade muito agradável. Dos workshops, o mais interessante para mim certamente foi o Ontology Matching, afinal, é o assunto que mais me interessa e sobre o qual tenho artigos publicados com Isabel Cafezeiro e Hermann. Assistir ao workshop me motivou a voltar a este assunto e tentar implementar efetivamente as idéias que formalizamos nos artigos.

Das seções da conferência, gostei bastante da “Ontology Matching, Mapping” e da “KR - Semantics”. No mais, vale dizer que os posters também estavam ótimos e a idéia de cada poster ser apresentado em 1 minuto foi bem divertida embora apenas alguns apresentadores tenham entendido o espírito da coisa! Das apresentações dos convidados, o que mais fez sucesso foi Frank van Harmelen com o título 10 Years of Semantic Web: does it work in theory?. Para mim, sendo minha área de pesquisa exatamente lógicas e, em particular, nos últimos anos, lógicas de descritivas, ter uma apresentação sugerindo que a comunidade de web semântica deve voltar a atenção para os fundamentos teóricos da área, é bastante motivador. Infelizmente assisti apenas parte da apresentação. O painel “Semantic Web Death Match” foi meio sem graça, embora na sala, assistindo as discussões, tenho que dizer que foi uma experiência única participar do painel pelo twitter. No twitter as discussões foram até mais interessantes. Finalmente, da seção “MANCHustifications and Provenance”, tive a idéia de revisar o texto da minha tese que será publicado pela Springer. A idéia é que pode-se obter diretamente de uma prova formal, usando os sistemas dedutivos que apresento para algumas DL em minha tese, a tal “justification of an entailment”. O termo refere-se ao conjunto mínimo de axiomas usados para justificar uma conclusão lógica (qual seria a melhor tradução para “entailment”?). Obrigado Samantha Bail por me ajudar a confirmar a impressão que tive durante a apresentação dos trabalhos na seção.

---