Biblioteca da Escola de Ciência da Informação
..::[Base de Dados PERI]::..

Referência:
ARAUJO, Lauro César, LIMA-MARQUES, Mamede . Ontoprolog: uma linguagem para especificação de discursos sobre ontologias. Perspectivas em Ciência da Informação, Belo Horizonte, v. 22, n. 2, p. 188-210, abr./jun. 2017

Descritor(es):
UNIFIED FOUNDATION ONTOLOGY; LÓGICA NÃO CLÁSSICA; PROGRAMAÇÃO EM LÓGICA

Resumo:
Este 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 é 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.

Endereço eletrônico:
http://portaldeperiodicos.eci.ufmg.br/index.php/pci/article/view/2532/1883 Acessado em: 20 jul. 2017.