Ontoprolog : uma linguagem para especificação de discursos sobre ontologias
Uloženo v:
| Hlavní autor: | |
|---|---|
| Datum vydání: | 2017 |
| Další autoři: | |
| Médium: | Article |
| Jazyk: | por |
| Zdroj: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/30781 http://dx.doi.org/10.1590/1981-5344/2532 |
Shrnutí: | 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. |
Podobné jednotky: Ontoprolog : uma linguagem para especificação de discursos sobre ontologias
- Uma linguagem para formalização de discursos com base em ontologias
- Um estudo sobre verificação formal de sistemas concorrentes
- Transformações de programa para suportar a evolução da linguagem Java
- Uma formalização da composicionalidade do cálculo lambda-ex em Coq
- Análise do impacto na compreensão de programas Java com a introdução de expressões lambda
- Linguagem C : roteiro de experimentos para aulas práticas