Acabei encontrando mais alguns trabalhos relacionados ao Raciocínio Paraconsistente e a Web Semântica. Estão aí, para quem também se interessar.
Algorithms for Paraconsistent Reasoning with OWL em http://www.eswc2007.org/pdf/eswc07-ma.pdf Paraconsistent Reasoning for the Semantic Web em rewerse.net/publications/download/REWERSE-RP-2005-131.pdf Paraconsistent Resolution for Four-valued Description Logics em http://www.aifb.uni-karlsruhe.de/WBS/phi/resources/publications/alc4res-dl07.pdf Paraconsistent Reasoning for Expressive and Tractable Description Logics em ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-353/MaHitzlerLin.pdf Paraconsistent Reasoning with OWL – Algorithms and the ParOWL Reasoner em www.aifb.uni-karlsruhe.de/Publikationen/showPublikation?publ_id=1390 Att. Aracele Garcia de Oliveira Mestranda em Ciência da Computação Universidade Federal de Santa Catarina - UFSC Florianópolis - SC - Brasil 2008/11/3 Adolfo Neto <[EMAIL PROTECTED]> > 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<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> > 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 >> >> > -- ------------------------------------------------------------------- "Não diga a DEUS que você tem um problema...diga ao problema que você tem um DEUS"
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
