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

Autores

  • Lauro César Araujo Centro de Pesquisa em Arquitetura da Informação da Universidade de Brasília (CPAI/UnB)
  • Mamede Lima-Marques Centro de Pesquisa em Arquitetura da Informação (CPAI/UnB)

Palavras-chave:

Unified Foundation Ontology. Lógica Clássica. 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.

Downloads

Não há dados estatísticos.

Biografia do Autor

Lauro César Araujo, Centro de Pesquisa em Arquitetura da Informação da Universidade de Brasília (CPAI/UnB)

Doutorando em Ciência da Informação, especialidade Arquitetura da Informação, pela Faculdade de Ciência da Informação da Universidade de Brasília

Mamede Lima-Marques, Centro de Pesquisa em Arquitetura da Informação (CPAI/UnB)

Professor titular do Programa de Pós-Graduação em Ciência da Informação da Universidade de Brasília (FCI/UnB)

Downloads

Publicado

2017-06-29

Como 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 de https://periodicos.ufmg.br/index.php/pci/article/view/22510

Edição

v. 22 n. 2 (2017)

Seção

Artigos