Primeiro Encontro em Computação Semântica - Semantic Traffic Diagnosis with STAR-CITY, 2015.
I am interested in the following research areas:
Some ideas of projects that I would like to work on:
Ontology Alignment and Instance Matching: I would like to look again to previous work with Edward Hermann and Isabel Cafezeiro. Vide publications.
Semantic Lattes: improve the mapping from Lattes XML to RDF using (and expanding) VIVO Ontology.
ATP: formalize in Lean Prover properties of ALC and iALC deduction systems.
Lexical Resources for Portuguese: openWordnet-PT, Nomlex-PT etc.
Logics and Law.