CV Lattes
ORCID
Google Scholar Citations
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui bacharelado em Ciencia da Computacao pela Universidade de São Paulo (1991), mestrado em Matemática Aplicada pela Universidade de São Paulo (1995), doutorado em Ciência da Computação pela Universidade de Amsterdã (1999) e livre-docência pela Universidade de São Paulo (2005). Atualmente é professora associada do Departamento de Ciência da Computação do Instituto de Matemática e Estatística da Universidade de São Paulo. Sua área de pesquisa é a Inteligência Artificial, com ênfase em Lógica e Representação de Conhecimento. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Muitas vezes somos confrontados com diferentes especialistas de uma área cujas opiniões podem ser divergentes sobre um assunto particular (um exemplo comum são as consultas médicas). Estas divergências têm de ser "resolvidas" para chegar a um consenso e poder agir. Este consenso faz com que cada um dos participantes tenha de modificar parte das suas opiniões/crenças. Na década do 80, o mo…
Atualmente, ontologias escritas em linguagens tais como RDF e OWL são amplamente utilizadas para representar a conceitualização de um domínio que pode ser processada por computadores. Refletindo sua aplicação, as ontologias podem ter de ser atualizadas frequentemente. A grande quantidade de informação não estruturada que é codificada nas ontologias torna essa tarefa, já complicada, ainda …
As lógicas de descrição são usadas como base para a linguagem OWL, padrão para representação de ontologias na web. No entanto, conhecimento não é estático e, com tal dinamismo, o estudo derevisão de crenças e sua correta e adequada aplicação tornam-se muito importantes. Neste trabalho, pretendemos desenvolver uma ferramenta para revisão de ontologias como um plug-in para o Protégé, o edit…
Esta bolsa técnica visa a desenvolver uma "nuvem multimídia", isto é uma nuvem computacional que permitirá o armazenamento, recuperação, compartilhamento e visualização de grandes quantidades de informações multimídia. O sistema será disponibilizado através de componentes de software que formarão uma rede lógica de computadores a qual será utilizada pelo mecanismo de busca do OnAIR. A bol…
De acordo com a W3C, ontologias em OWL (ou OWL 2) são o meio padrão para compartilhar informação na Web Semântica. Entre as muitas visões de ontologias, adotamos aqui a definição de ontologias como documentos que descrevem a conceitualização de um domínio, em uma linguagem que possa ser processada por um computador. Especificamente, abordamos o problema de reparar e evoluir ontologias de …