期刊论文详细信息
Perspectivas em Ciencia da Informacao | |
Ontoprolog: uma linguagem para especificação de discursos sobre ontologias | |
Mamede Lima-Marques1  Lauro César Araujo2  | |
[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
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
RO201902017805242ZK.pdf | 1216KB | download |