Ontoprolog: uma linguagem para especificação de discursos sobre ontologias

Perspectivas em Ciencia da Informacao

Mamede Lima-Marques¹  Lauro César Araujo² 

[1] Centro de Pesquisa em Arquitetura da Informação (CPAI/UnB);Centro de Pesquisa em Arquitetura da Informação da Universidade de Brasília (CPAI/UnB)

关键词: Unified Foundation Ontology. Lógica Clássica. Lógica não Clássica. Programação em Lógica;   

DOI  :  10.1590/1981-5344/2532

学科分类：农业科学（综合）

来源: Universidade Federal de Minas Gerais * Escola de Biblioteconomia

【 摘 要 】

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.

【 授权许可】

Unknown