|
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.
|