Produção Nacional
Revisado por pares
Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
2017; Universidade Federal de Minas Gerais, Escola de Ciência da Informação; Volume: 22; Issue: 2 Linguagem: Português
10.1590/1981-5344/2532
ISSN1981-5344
AutoresLauro César Araújo, Mamede Lima-Marques,
Tópico(s)Logic, Reasoning, and Knowledge
ResumoRESUMO 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.
Referência(s)