| Campo DC | Valor | Idioma |
|---|
| dc.contributor.advisor | Lima-Marques, Mamede | - |
| dc.contributor.author | Araújo, Lauro César | - |
| dc.date.accessioned | 2016-01-25T16:01:48Z | - |
| dc.date.available | 2016-01-25T16:01:48Z | - |
| dc.date.issued | 2016-01-25 | - |
| dc.date.submitted | 2015-11-05 | - |
| dc.identifier.citation | ARAUJO, Lauro César. Uma linguagem para formalização de discursos com base em ontologias. 2015. 529 f., il. Tese (Doutorado em Ciência da Informação)—Universidade de Brasília, Brasília, 2015. | en |
| dc.identifier.uri | http://repositorio.unb.br/handle/10482/19319 | - |
| dc.description | Tese (doutorado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação em Ciência da Informação, 2015. | en |
| dc.description.abstract | Esta pesquisa propõe a arquitetura da informação de uma linguagem formal textual para representar discursos sobre entidades ontológicas e obter deduções a respeito de ontologias de domínio. Por meio do paradigma de metamodelagem, a linguagem permite tratamento de ontologias heterogêneas que podem ser descritas como instâncias de uma ou mais ontologias de fundamentação. A linguagem suporta comportamentos clássicos e modais
sustentados por noções de prova baseadas no paradigma de Programação em Lógica
(Modal). O arcabouço modal desenvolvido possibilita que diferentes interpretações modais sejam introduzidas às especificações das ontologias, e contempla especialmente sistemas baseados em lógicas de múltiplos agentes. Uma sistematização do fragmento endurante da Unified Foundational Ontology (UFO) é realizada com objetivo de compor parte do marco
teórico que fundamenta a proposta e de servir de exemplo de instanciação do arcabouço desenvolvido. Como resultados complementares, destacam-se: uma sistematização de um conjunto ampliado de regras para produção de modelos conceituais e um glossário detalhado
de termos e conceitos da UFO-A; protótipos funcionais que implementam os sistemas
elaborados; traduções das teorias descritas no arcabouço proposto para linguagens visuais, como extensões da representação gráfica da OntoUML; e discussões a respeito da integração
de Arquitetura da Informação, Modelagem Conceitual e Programação em Lógica (Modal)
no contexto social aplicado. | en |
| dc.language.iso | Português | en |
| dc.rights | Acesso Aberto | en |
| dc.title | Uma linguagem para formalização de discursos com base em ontologias | en |
| dc.type | Tese | en |
| dc.subject.keyword | Arquitetura da informação | en |
| dc.subject.keyword | Ontologia | en |
| dc.subject.keyword | Programação lógica | en |
| dc.subject.keyword | Linguagens formais | en |
| dc.rights.license | A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data. | en |
| dc.identifier.doi | http://dx.doi.org/10.26512/2015.11.T.19319 | - |
| dc.description.abstract1 | This research proposes the information architecture of a textual formal language to represent and reason about ontological entities based on foundational ontologies. Through metamodeling, the language is able to deal with heterogeneous ontologies that can be described as instances of one or more foundational ontology. The language provides classic and modal inference mechanisms supported by proof notions based on the (Modal) Logic Programming paradigm. The modalities introduced by the modal framework allow a wide range of interpretations, including multi-agent systems. A systematization of the
endurant fragment of the Unified Foundational Ontology (UFO) is produced in order to compose part of the theoretical framework underlying the proposal, and to serve as an example instantiating the developed framework. As complementary results we highlight: a systematization of an extended set of rules for conceptual modeling and a detailed glossary of terms and concepts of UFO-A; functional prototypes implementing the developed
systems; translations of the theories described as instances of the framework to diagramatic representations, as extensions of the OntoUML visual language; and discussions regarding the integration of Information Architecture, Conceptual Modeling and Logic Programming
within Applied Social Science. | - |
| dc.description.unidade | Faculdade de Ciência da Informação (FCI) | pt_BR |
| dc.description.ppg | Programa de Pós-Graduação em Ciência da Informação | pt_BR |
| Aparece nas coleções: | Teses, dissertações e produtos pós-doutorado
|
