Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
Palabras clave:
Unified Foundation Ontology. Lógica Clássica. Lógica não Clássica. Programação em LógicaResumen
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.Descargas
Los datos de descargas todavía no están disponibles.
Descargas
Publicado
2017-06-29
Cómo citar
Araujo, L. C., & Lima-Marques, M. (2017). Ontoprolog: uma linguagem para especificação de discursos sobre ontologias. Perspectivas Em Ciência Da Informação, 22(2), 188–210. Recuperado a partir de https://periodicos.ufmg.br/index.php/pci/article/view/22510
Número
Sección
Artículos