Olá Aracele, Alguns meses atrás encontrei este artigo:
Merging Healthcare Ontologies: Inconsistency Tolerance and Implementation Issues http://ieeexplore.ieee.org/iel5/4262610/4262611/04262703.pdf?isnumber=4262611&prod=CNF&arnumber=4262703&arSt=530&ared=535&arAuthor=Imam%2C+Fahim+T.%3B+MacCaull%2C+Wendy%3B+Kennedy%2C+Margaret+Ann O artigo relaciona paraconsistência (utiliza a lógica LFI1) com ontologias. []s ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ========================================== 2008/11/3 Aracele Garcia de Oliveira <[EMAIL PROTECTED]> > Olá a todos. > A lógica descritiva é atualmente utilizada na criação de raciocinadores(ex. > Pellet) e linguagens de criação de ontologias (ex. OWL DL). > Estou preparando uma atividade para a disciplina de Web Semântica e > gostaria de saber se os membros da lista > possuem alguma referência ou informação sobre a utilização do raciocínio > paraconsistente na Web Semântica... > > Desde já agradeço > > att > Aracele Garcia de Oliveira > Mestranda em Ciência da Computação > Universidade Federal de Santa Catarina - UFSC > Florianópolis - SC - Brasil > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
