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
