Buscar
Mostrando ítems 1-2 de 2
Ontoprolog : uma linguagem para especificação de discursos sobre ontologias
(Escola de Ciência da Informação da UFMG, 2017-06)
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 é ...
Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2011)