português / english

Links

Currículo Lattes

Blog Link para o meu blog

USPUniversidade de Sao Paulo

CCMCurso de Ciencias Moleculares

IMEInstituto de Matematica e Estatistica da USP

Lógicas de Descriçãohttp://ww.dl.kr.org

LIAMFGrupo de Logica Inteligencia Artificial e Metodos Formais do IME

Profesor Flemingwww.hfleming.com

Renata WassermannHome Page da minha orientadora

Publicações em Congressos e Revistas

2006

WONTO - Workshop on Ontologies and their Applications
- First Steps Toward Revising Ontologies (pdf) (slides) (bibtex)
- Classifying Ontologies (pdf) (bibtex)

2007

IWOD - International Workshop on Ontology Dynamics
- Base Revision in Description Logics - Preliminary Results (pdf) (slides) (bibtex)

2008

EBL - Escola Brasileira de Lógica
- On the Relation Between RemainderSets and Kernels (pdf) (slides) (bibtex)
WONTO - Workshop on Ontologies and their Applications
- The Ontology Reviser Plug-in for Protégé (pdf) (slides) (bibtex)