Affiliation:
1. Universidade de Brasília, Brazil
Abstract
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.
Subject
Library and Information Sciences,Museology,Information Systems
Reference27 articles.
1. Implementing Prolog extensions: A parallel inference machine;ALLIOT J.-M.,1992
2. Uma abordagem integrada sobre ontologias: Ciência da Informação, Ciência da Computação e Filosofia;ALMEIDA M. B;Perspectivas em Ciência da Informação,2014
3. Uma linguagem para formalização de discursos com base em ontologias;ARAUJO L. C,2015
4. Processing Declarative Knowledge. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);BALBIANI P.,1991
5. Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method;BRAGA B. F. B;Innovations Syst Softw Eng,2010
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling the dynamics of contractual relations;Frontiers in Artificial Intelligence;2023-04-11