Ontoprolog : uma linguagem para especificação de discursos sobre ontologias
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 for...
| Authors: | , |
|---|---|
| Format: | article |
| Status: | Published version |
| Publication Date: | 2017 |
| Country: | Brasil |
| Institution: | Universidade de Brasília (UnB) |
| Repository: | Repositório Institucional da UnB |
| Language: | Portuguese |
| OAI Identifier: | oai:repositorio.unb.br:10482/30781 |
| Online Access: | http://repositorio.unb.br/handle/10482/30781 http://dx.doi.org/10.1590/1981-5344/2532 |
| Access Level: | Open access |
| Keyword: | Ontologia Linguagem e lógica Prolog (Linguagem de programação de computador) |
| Summary: | 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. |
|---|