Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
AUTOR(ES)
Araujo, Lauro César, Lima-Marques, Mamede
FONTE
Perspect. ciênc. inf.
DATA DE PUBLICAÇÃO
2017-06
RESUMO
RESUMO Este artigo introduz a arquitetura da informação de uma linguagem formal textual para representar e obter deduções a respeito problemas reais com base em ontologias de domínio e ontologias de fundamentação. O arcabouço é desenvolvido com base em Programação em Lógica, e consiste em uma linguagem formal que utiliza o paradigma de metamodelagem para produzir ontologias heterogêneas que podem ser descritas como instâncias de ontologias de fundamentação.
ASSUNTO(S)
unified foundation ontology lógica não clássica programação em lógica
Documentos Relacionados
- FIG : uma linguagem para especificação de figuras
- Ferramentas para linguagem de especificação LOTOS
- Uma linguagem de especificação de aspectos para o desenvolvimento orientado a serviços
- Uma linguagem de especificação de aspectos para o desenvolvimento orientado a serviços
- Uma linguagem de especificação formal orientada por aspectos