Semantic Web + Logic

    I am from Brazil and I am studing Semantic Web, but I am really
interested in to know more about Logic and Semanti Web applications. Is
there anything already done in this area? What kinds of logic can be
manipulated in Semantic Web? I am trying to create a practical example,
where I could apply a kind of an inheritance reasoner (to make
inferences about the content of the RDF pages), but I didn't find a good
one.

    I really apreciate your help.

    Best regards,
        Fernanda.

--
=================================================================
Fernanda Hembecker
Pontifícia Universidade Católica do Paraná
Programa de Pós-Graduação em Informática Aplicada
Sistemas de Informação
ECCO - Engenharia e Capitalização de Conhecimento em Organizações
=================================================================

Received on Thursday, 4 October 2001 14:34:39 UTC