Uma linguagem para formalização de discursos com base em ontologias

Detalhes bibliográficos
Autor(a) principal: Araújo, Lauro César
Data de Publicação: 2015
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: http://repositorio.unb.br/handle/10482/19319
http://dx.doi.org/10.26512/2015.11.T.19319
Resumo: 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.
id UNB_42845c4fb53650bc873102e6c67939ad
oai_identifier_str oai:repositorio.unb.br:10482/19319
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Uma linguagem para formalização de discursos com base em ontologiasArquitetura da informaçãoOntologiaProgramação lógicaLinguagens formaisTese (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.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.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.Lima-Marques, MamedeAraújo, Lauro César2016-01-25T16:01:48Z2016-01-25T16:01:48Z2016-01-252015-11-05info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfARAUJO, 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.http://repositorio.unb.br/handle/10482/19319http://dx.doi.org/10.26512/2015.11.T.19319A 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.info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2023-06-27T19:04:39Zoai:repositorio.unb.br:10482/19319Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2023-06-27T19:04:39Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv Uma linguagem para formalização de discursos com base em ontologias
title Uma linguagem para formalização de discursos com base em ontologias
spellingShingle Uma linguagem para formalização de discursos com base em ontologias
Araújo, Lauro César
Arquitetura da informação
Ontologia
Programação lógica
Linguagens formais
title_short Uma linguagem para formalização de discursos com base em ontologias
title_full Uma linguagem para formalização de discursos com base em ontologias
title_fullStr Uma linguagem para formalização de discursos com base em ontologias
title_full_unstemmed Uma linguagem para formalização de discursos com base em ontologias
title_sort Uma linguagem para formalização de discursos com base em ontologias
author Araújo, Lauro César
author_facet Araújo, Lauro César
author_role author
dc.contributor.none.fl_str_mv Lima-Marques, Mamede
dc.contributor.author.fl_str_mv Araújo, Lauro César
dc.subject.por.fl_str_mv Arquitetura da informação
Ontologia
Programação lógica
Linguagens formais
topic Arquitetura da informação
Ontologia
Programação lógica
Linguagens formais
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.
publishDate 2015
dc.date.none.fl_str_mv 2015-11-05
2016-01-25T16:01:48Z
2016-01-25T16:01:48Z
2016-01-25
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 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.
http://repositorio.unb.br/handle/10482/19319
http://dx.doi.org/10.26512/2015.11.T.19319
identifier_str_mv 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.
url http://repositorio.unb.br/handle/10482/19319
http://dx.doi.org/10.26512/2015.11.T.19319
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv repositorio@unb.br
_version_ 1814508382138138624

Registros relacionados