Pesquisadores do CPAI publicam artigo sobre linguagem para representação de problemas com base em ontologias

http://cpai.unb.br/?p=863&rft.language=English&rft.au=Bruno Souza">

Os pesquisadores Lauro Cesar Araújo e Mamede Lima-Marques publicaram o artigo Ontoprolog: uma linguagem para especificação de discursos sobre ontologias na revista Perspectivas em Ciência da Informação, volume 22, edição 2, com data de 29/06/2017.

O artigo apresenta arquitetura da informação de uma linguagem formal não visual para representar problemas reais com base em ontologias, e obter deduções a respeito de ontologias de domínio baseadas em ontologias de fundamentação. O arcabouço, resultado da tese de doutorado de Lauro Cesar Araújo com orientação de Mamede Lima-Marques, foi desenvolvido com base em Programação em Lógica e consiste em uma linguagem baseada em operadores, em um tradutor dessa linguagem para cláusulas de Horn e em um conjunto de predicados a respeito das teorias denotadas por essas cláusulas.

O texto completo está disponível gratuitamente, em PDF, pelo link http://portaldeperiodicos.eci.ufmg.br/index.php/pci/article/view/2532

Marcado com: , , , , , , , , , ,

Deixe uma resposta