BASTOS, Antonio Josefran de Oliveira. Sequências Convergentes de Estruturas Discretas e Testabilidade. 2012. 47 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2012. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-31T19:31:54Z No. of bitstreams: 1 2012_dis_ajobastos.pdf: 836578 bytes, checksum: 7267190dcdfd4c22a13a8a661fa593b4 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-31T19:32:46Z (GMT) No. of bitstreams: 1 2012_dis_ajobastos.pdf: 836578 bytes, checksum: 7267190dcdfd4c22a13a8a661fa593b4 (MD5) / Made available in DSpace on 2016-05-31T19:32:46Z (GMT). No. of bitstreams: 1 2012_dis_ajobastos.pdf: 836578 bytes, checksum: 7267190dcdfd4c22a13a8a661fa593b4 (MD5) Previous issue date: 2012 / In this work, we studied the recent theory of convergent graph sequences and its extensions to permutation and partially ordered sets with fix dimension. We’ve conjectured a lemma of weak regularity on intervals that, if this conjecture is true, we can extend this theory to ordered graphs, which are graphs such that there is a total order on its vertices. We show some interesting relations on permutation and partially ordered sets with ordered graphs. Then, we obtain another proof to the existence of limit objects for all convergent permutation sequences. We also proved that all hereditary property of either permutation or ordered graph is testable. / Neste trabalho, estudamos a teoria recente de convergência de sequências de grafos e suas extensões para permutações e ordens parciais de dimensão fixa. Conjecturamos um lema de regularidade fraca de grafos em intervalos que, se for verdadeira, nos possibilita estender essa teoria para grafos ordenados, que são grafos tais que existe uma ordem total entre os vértices. Mostramos algumas relações interessantes de permutações e ordens parciais com grafos ordenados. Com isso, conseguimos uma prova alternativa para a existência de objetos limites de qualquer sequência convergente de permutações. Provamos também que toda propriedade hereditária de permutações ou grafos ordenados é testável.

Made available in DSpace on 2016-08-29T15:32:27Z (GMT). No. of bitstreams: 1 tese_2723_DissertacaoMestradoWesleyLucasBreda.pdf: 2352402 bytes, checksum: ea4443a2c6595a096d1b34f4d81fb874 (MD5) Previous issue date: 2008-02-22 / Esta dissertação apresenta uma proposta de tradução automática baseada em conhecimento, o projeto e a implementação de um sistema de autoria e uso de tradutores automatizados para apoio à tradução, tendo como estudo de caso a tradução de Português para Libras. Esse sistema possui um ambiente para manipulação dos elementos utilizados no processo de tradução automática e um para tradução automática de textos de uma língua-fonte, em forma de texto, para uma língua-alvo, em forma de texto, vídeo e/ou áudio. Os elementos utilizados no processo de tradução são exemplos de tradução da língua-fonte para a língua-alvo e regras de tradução inferidas considerando esses mesmos exemplos. Para isso, o conteúdo deste trabalho apresenta um estudo sobre tradução automática, apontando seus métodos e, brevemente, seus principais paradigmas, além de uma breve exposição sobre memória de tradução. Apresenta também um estudo sobre a definição de linguagens formais e inferência gramatical, apontando seus métodos e, brevemente, a especificação de problemas de inferência gramatical. Apresenta ainda os algoritmos de tradução e de inferência utilizados pelo sistema, bem como as estruturas de dados necessárias e resultados gerados por eles. Ao longo de todo o conteúdo, é possível observar alguns aspectos de usabilidade, navegabilidade, funcionalidade e complexidade do sistema gerado como produto final deste trabalho, um ambiente de apoio à tradução, baseado em exemplos e sintaxe.

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / En prenant comme objet danalyse des couvertures de la Revue Veja, cette thèse vise à vérifier, avec laide de lobservation analytique de ces arrangements de signes, considérés dans leur materialité textuelle ainsi que dans leurs dialogues avec le monde, leurs tendances idéologiques et les marques de leur argumentativité constitutive, de façon à relativiser le concept de texte dinformation qui habituellement recouvre lobjet en analyse. Dans le parcours théorique de la recherche ont été faits des études et des réflexions sur: les notions de textualité et de genre textuel; la théorie de largumentation; lintervention déléments extérieurs au texte dans la production du sens; la théorie sémiotique basée sur des conceptions peirciennes; des stratégies et des mecanismes présents dans les représentations discursives produites dans les médias. Ainsi, on situe les études de la langue et des langages comme étant des instruments capables de, par lintermédiaire de la science, mettre en lumière les démarches argumentatives proposées dans ces textes. Par conséquent, on prend en compte et on analyse les élements qui, en se prétant à la représentation du réel, impriment au (dans le) texte des marques du(des) sujet(s) socio-historique(s) lesquelles, daprès les leçons de Bakhtine, sy présentifiquent, et par son intermédiaire, opérent, donc, intersubjectivement / Tendo como objeto de análise capas da revista Veja, esta tese pretende verificar, por meio da observação analítica desses arranjos sígnicos, em sua materialidade textual bem como nos diálogos que estabelecem com o mundo, as suas tendências ideológicas e as marcas de sua argumentatividade constitutiva, de modo a tornar relativo o conceito de texto de informação que costuma recobrir o objeto em análise. Fazem parte do percurso teórico da pesquisa estudos e reflexões sobre: noções de textualidade e de gênero textual; teoria da argumentação; interferência de elementos exteriores ao texto para a produção do sentido; teoria semiótica de base peirceana; estratégias e mecanismos presentes nas representações discursivas feitas pela mídia. Colocam-se, dessa forma, os estudos da língua e das linguagens como instrumentos capazes de, pelas vias da ciência, fazer ver os encaminhamentos argumentativos propostos nesses textos. São, portanto, considerados e analisados os elementos que, prestando-se à representação do real, imprimem ao/no texto marcas do(s) sujeito(s) sociohistórico(s) que, conforme as lições bakhtinianas, nele se presentifica(m) e, através dele, atua(m) intersubjetivamente

Esta dissertação é o resultado do meu verouvirsentir e busca evidenciar que, nas relações desenvolvidas no processo do ensino da matemática, as histórias em quadrinhos podem-se revelar um instrumento eficaz para a aplicação de uma metodologia alternativa dotada de uma potência extraordinária na interlocução entre a criança e o conteúdo matemático. Nesse contexto, um dos maiores argumentos que encontro, ao final desta jornada, é que fica a percepção de que o livro didático adotado (referência para o conteúdo teoricoprático), em quase sua totalidade, não favorece que os alunos estabeleçam uma relação com a matemática pautada na atenção, curiosidade, alegria e outros fatores/elementos que permitam o crescimento cognitivo desses alunos na referida disciplina. A pesquisa é realizadasentida em uma escola particular de ensino fundamental e médio situada em Realengo em três turmas de 6 ano. Esses alunos variam entre 10 e 13 anos de idade e aproximadamente 90% deles são oriundos de famílias de classe média. Para realizarsentir esta pesquisa, percebo que, fundamentalmente, faço uso de duas metodologias que se revelam a priori: pesquisa-ação e o mergulho (ALVES, 2008). Realizo alguns diálogos que se consolidam como aporte teórico e que norteiam toda a minha escrita. Esses diálogos podem ou não aparecer nas citações que faço. Os diálogos invisibilizados pela minha escrita de modo algum foram menos importantes e tampouco são considerados menos relevantes, na verdade, conduzem minha escrita, misturando-se em minhas próprias palavras a ponto de se tornarem indissociáveis. Nesses diálogos, encontro-me com Michel de Certeau, Paulo Sgarbi, Nilda Alves, Humberto Maturana, Inês Barbosa, Von Foerster, Michel Focault, Edgard Morin, Will Eisner, Ginsburg, entre outros. Como resultados, ficou evidenciado que, ao oferecer a possibilidade de reescrita da teoria matemática através das histórias em quadrinhos, os alunos (na sua maioria) desenvolveram uma capacidade maior de concentração, atenção aos detalhes da própria teoria e a diminuição significativa da resistência ao conteúdo matemático. Uma velhanova linguagem? Em um velhonovo meio? Seja qual for a conclusão, a aventura do desafio na busca da construção de uma nova relação entre a criança e a matemática, por si só, permite a exposição de tensões e oportuniza o crescimento de todos. Nessa jornada, de ação em ação, busco fazer algo significativo. / This dissertation is the result of my seelistenfeel seach to evidence that the relationships developed in the teaching of mathematics, the comic may prove an alternative methodology endowed with an extraordinary power in the dialogue between the child and mathematical content. In this context, one of the biggest arguments against the end of this journey is that the perception is that the textbook adopted (reference to theoretical and practical content) in almost its entirety, does not help students establish a relationship based in the mathematics attention, curiosity, joy and other factors/elements that allow the cognitive growth of students in that discipline. The search is performed in an experienced private school located in primary and secondary Realengo in three classes of Year 6. These students range between 10 and 13 years old and approximately 90% of these students come from middle class families. To feelperform this research experience, I realize that I basically use two methodologies that show the a priori: action research and diving (ALVES, 2008). I realize some dialogues that are consolidated as a theoretical basis and guiding all my writing. These dialogues may or may not appear in quotes I do. The dialogues obscured by my writing at all were less important, and neither are considered less relevant, in fact, lead my writing, mixing in my own words as to become inseparable. In these dialogues, I am met with Michel de Certeau, Paul Sgarbi, Nilda Alves, Humberto Maturana, Ines Bar-bosa, Von Foerster, Michel Foucault, Edgard Morin, Will Eisner, Ginsburg and others. As a result, it became evident that by offering the possibility of rewriting the mathematical theory through the comics, the students (mostly) developed a greater capacity for concen-tration, attention to detail of the theory itself and a significant decrease in resistance to mathematical content. An oldnew language? In a newold way? Whatever the conclusion, the adventure in search of the challenge of building a new relationship between the child and mathematics, by itself, allows the display of tensions and nurture the growth of all. Along the way, the action in action, I try to do something meaningful.

Programa de Pós-graduação em História. Instituto de Ciências Humanas e Sociais, Departamento de História, Universidade Federal de Ouro Preto. / Submitted by giuliana silveira (giulianagphoto@gmail.com) on 2015-12-04T17:34:38Z No. of bitstreams: 1 DISSERTAÇÃO_TrajetóriaMovimentoNacionalista.pdf: 4125363 bytes, checksum: 2438bff669024e0ac2b94466fb24ef2c (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-12-07T11:13:27Z (GMT) No. of bitstreams: 1 DISSERTAÇÃO_TrajetóriaMovimentoNacionalista.pdf: 4125363 bytes, checksum: 2438bff669024e0ac2b94466fb24ef2c (MD5) / Made available in DSpace on 2015-12-07T11:13:27Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO_TrajetóriaMovimentoNacionalista.pdf: 4125363 bytes, checksum: 2438bff669024e0ac2b94466fb24ef2c (MD5) Previous issue date: 2015 / O presente trabalho tem como foco a análise do nacionalismo no Brasil, durante as décadas de 1950 e 1960. Busca-se demostrar que o nacionalismo foi algo além de uma ideologia formulada pela intelectualidade brasileira, sendo, sobretudo, um movimento político, que atingiu amplos setores da sociedade brasileira, como a União Nacional dos Estudantes, a Frente Parlamentar Nacionalista, o periódico ¨O Semanário e o Instituto Superior de Estudos Brasileiros (ISEB) . Compreende-se o nacionalismo como um movimento político que vigorou no país entre os anos de 1956 e 1964. __________________________________________________________________________________________ / ABSTRACT : This paper focuses on the analysis of nationalism in Brazil during the 1950 and 1960. The aim is to demonstrate that nationalism was anything but an ideology formulated by Brazilian intellectuals, and above all a political movement, which reached broad sectors of Brazilian society, such as the Nation Union of Students, the Parliamentary Nationlist Front, the regular weekly and the Institute of Brazilian Studies (ISEB). It is understood nationalism as a political movement that ruled the country between the years 1956 and 1964.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Letras, Departamento de Linguística, Português e Línguas Clássicas, Programa de Pós-Graduação em Linguística, 2013. / Submitted by Luiza Silva Almeida (luizaalmeida@bce.unb.br) on 2013-07-29T18:14:36Z No. of bitstreams: 1 2013_JulianaBatistadoPrado.pdf: 789851 bytes, checksum: b43b7d7b2b8693629ffa0baaf334ddae (MD5) / Approved for entry into archive by Leandro Silva Borges(leandroborges@bce.unb.br) on 2013-07-29T20:21:02Z (GMT) No. of bitstreams: 1 2013_JulianaBatistadoPrado.pdf: 789851 bytes, checksum: b43b7d7b2b8693629ffa0baaf334ddae (MD5) / Made available in DSpace on 2013-07-29T20:21:02Z (GMT). No. of bitstreams: 1 2013_JulianaBatistadoPrado.pdf: 789851 bytes, checksum: b43b7d7b2b8693629ffa0baaf334ddae (MD5) / Este estudo trata da variação das formas de tratamento da segunda pessoa do discurso no contexto do Tribunal do Júri. O Tribunal do Júri caracteriza-se como instituição em que predomina a adoção do estilo formal de linguagem por parte das pessoas que nele atuam. Por essa razão, procurou-se investigar o uso das formas de tratamento com a segunda pessoa do discurso nesse contexto. A pesquisa situa-se no quadro da Sociolinguística Interacional, com contribuições da Pragmática. Metodologicamente, utiliza-se das técnicas de transcrição da Análise da Conversação e de orientações etnográficas para condução da abordagem qualitativa dos dados. O corpus da dissertação constitui-se de aproximadamente oito horas de gravação em vídeo de uma sessão do Tribunal do Júri e de uma hora em áudio, correspondente à entrevista concedida pelo juiz que presidiu a sessão sob análise. Como resultados de pesquisa, identificaram-se as formas de tratamento utilizadas durante a sessão analisada: senhor/senhora, senhores, você/cê, vocês, seu, doutor, Excelência e Vossas Excelências. Constatou-se também a ocorrência de alternância no uso dessas formas na interlocução com a segunda pessoa do discurso e revelou-se que a variação senhor/senhora; doutor e você e cê no contexto pesquisado manifesta-se em um contínuo estilístico mais ou menos alinhado a um quadro de formalidade. O significado social do uso das formas você e cê, utilizadas pelos profissionais do Direito durante a inquirição das testemunhas, representa estratégia de intimidação dessas com fins de obter confissões ou consentimentos. As análises demonstraram que a formalidade é contextualmente situada, pois a seleção das formas você e cê não sinalizou enquadre de intimidade entre os interagentes, o que na perspectiva de Irvine (1984) caracterizaria uma situação de informalidade. Diferentemente, nesse contexto, os interagentes mantiveram distanciamento social e relacionamento assimétrico mesmo quando adotavam tratamento menos cerimonioso. Espera-se que os resultados dessa análise interacional possam contribuir para o desenvolvimento teórico de estudos da interação em contextos institucionais, assim também como para melhor compreensão quanto ao uso das formas de tratamento utilizadas no Brasil. _______________________________________________________________________________________ ABSTRACT / This study concerns a research about treatment forms of second person speech in the context of the jury’s trial. The jury’s trial is characterized as an institution that predominates the formal style of language. In this way, this study tried to investigate the use of treatment forms with the second person speech in this context. The research is situated within the Interactional Sociolinguistics, with contributions of Pragmatics. As a methodological source, it was used the techniques of transcription Conversational Analysis and guidelines for conducting ethnographic qualitative approach. The corpus of the research consists in approximately eight hours of video recording of a session of the jury’s trial and one hour audio, corresponding to an interview by the judge who presided the session. As search results, were identified the types of treatment used during the session focused: senhor/senhora, senhores, você/cê, vocês, seu, doutor, Excelência and Vossas Excelências. It Was found also the occurrence of alternation in the use of these forms in communication with the second-person speech and revealed that the variation senhor/senhora and você/cê in the context manifests itself in a more continuous stylistic or less aligned to a frame of formality. The social meaning of the forms você and cê, used by legal professionals during the investigation of witnesses, was interpreted as a strategy of intimidation these purpose of extracting confessions or consents. The analyzes showed that the formality is contextually situated, for the selection of forms você and cê not signaled frame of intimacy among interactings, which in Irvine’s view (1984) characterize a situation of informality. In contrast, in this context, interactings kept social distancing and asymmetrical relationship even when they adopted less ceremonious treatment. It is expected that the results of this analysis interaction may contribute to the development of theoretical studies of the interaction in institutional contexts, so to better understand how the use of treatment modalities is in Brazil.

XML é um padrão da W3C largamente utilizado por vários tipos de aplicações para representação de informação semi-estruturada e troca de dados pela Internet. Com o crescimento do uso de XML e do intercâmbio de informações pela Internet é muito provável que determinadas aplicações necessitem buscar uma mesma informação sobre várias fontes XML relativas a um mesmo domínio de problema. No intuito de representar a informação dessas várias fontes XML, o programador é obrigado a escolher entre muitas estruturas hierárquicas possíveis na criação dos esquemas de seus documentos XML. Um mesmo domínio de informação, desta maneira, pode então ser representado de diferentes formas nas diversas fontes de dados XML existentes. Por outro lado, verifica-se que as linguagens de consulta existentes são fortemente baseadas no conhecimento da estrutura de navegação do documento. Assim, ao consultar uma determinada informação semanticamente equivalente em várias fontes é necessário conhecer todos os esquemas envolvidos e construir consultas individuais para cada uma dessas fontes. Em um ambiente de integração, entretanto, é possível gerar um modelo global que representa essas fontes. Ao construir consultas sobre um modelo global, temos consultas integradas sobre estas fontes. Para se atingir esse objetivo, contudo, devem ser resolvidos os problemas da heterogeneidade de representação dos esquemas XML. Dessa forma, com base em uma abordagem de integração de esquemas, o presente trabalho define a linguagem de consulta CXQuery (Conceptual XQuery) que possibilita a construção de consultas sobre um modelo conceitual. Para possibilitar o retorno dos dados das fontes nas consultas feitas em CXQuery, foi desenvolvido um mecanismo de tradução da linguagem CXQuery para a linguagem de consulta XQuery 1.0. A linguagem XQuery 1.0 é umas das linguagens mais utilizadas para o acesso as fontes XML e permite que os dados possam ser retornados ao usuário. Para possibilitar essa tradução, foi definida uma metodologia de representação da informação de mapeamento através de visões XPath. Essa metodologia é relativamente eficaz no mapeamento das diferentes representações das fontes XML.

O volume de informações armazenadas e representadas em XML cresce rapidamente, abrangendo desde a Web até bancos de dados corporativos. Nesse contexto, surge a necessidade de mecanismos de recuperação de dados nesse formato que sejam, ao mesmo tempo, mais eficientes e mais eficazes. Várias propostas de linguagens de consulta têm sido feitas, dentre as quais podem ser citadas XQL, XML-QL e Quilt. Essas linguagens, todas textuais, são mais indicadas para manipulação programática ou para usuários experientes. Visando atingir também os usuários menos experientes, foram propostas linguagens visuais, tais como XML-GL e Xing. Todas essas linguagens, entretanto, apresentam duas características comuns: a) o usuário precisa conhecer, pelo menos em um certo nível, a estrutura interna dos documentos; b) a mesma informação, se armazenada de formas diferentes, exige instruções de consulta diferentes. A solução para esses problemas apresentada neste trabalho envolve a utilização de um modelo conceitual para representar os conceitos e as relações entre conceitos que ocorrem em documentos XML pertencentes a um determinado domínio de problema. O modelo conceitual é representado por uma ontologia do domínio do problema. Essa associação permite que consultas possam ser elaboradas tendo como base os conceitos da ontologia. Para permitir a associação da ontologia a conjuntos de documentos XML, apresentam-se regras de mapeamento que permitem definir se um documento XML é compatível com uma determinada ontologia. A partir dessa definição, propõe-se uma linguagem visual para consultas a documentos XML com base em ontologias, e apresenta-se uma proposta de interface visual para essa linguagem.

Abordagens clássicas de linguagens de consultas para bancos de dados possuem certas restrições ao serem usadas, diretamente, por aplicações que acessam dados cujo conteúdo não é completamente conhecido pelo usuário. Essas restrições geram um cenário onde argumentos de consultas, especificados com operadores boleanos, podem retornar resultados vazios. Desse modo, o usuário é forçado a refazer suas consultas até que os argumentos usados estejam idênticos aos dados armazenados no banco de dados. Em bases XML, este problema é reforçado pela heterogeneidade das formas em que a informação encontra-se armazenada em diferentes lugares. Como solução, uma alternativa seria o uso de funções de similaridade na substituição de operadores boleanos, a fim de que o usuário obtenha resultados aproximados para a consulta especificada. Neste trabalho é apresentada uma proposta para suporte a argumentos de consulta vagos através da extensão da linguagem XPath. Para isso, são utilizadas expressões XPath que utilizam novas funções, as quais são, diretamente, adicionadas ao processador da linguagem de consulta. Além disso, é apresentada uma breve descrição das métricas de similaridade utilizadas para a criação das funções. As funções que foram adicionadas a um processador XPath possuem uma ligação muito estreita com as métricas utilizadas. Como as métricas, as funções trabalham com valores simples (elementos atômicos) e compostos (elementos complexos). As funções que trabalham com elementos atômicos podem ser classificadas tanto pelo tipo de dado que será analisado, como pelo tipo de análise que será feita. As funções para elementos complexos comparam conjuntos de elementos atômicos de acordo com a forma do agrupamento (conjunto, lista ou tupla).

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. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2016-01-25T15:17:04Z No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2016-01-25T16:01:48Z (GMT) No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / Made available in DSpace on 2016-01-25T16:01:48Z (GMT). No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / 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.