Papers by Tanara Lauschner
Abstract. The subsumption problem in Description Logics (DL) refers to the question of deciding i... more Abstract. The subsumption problem in Description Logics (DL) refers to the question of deciding if a concept description always denotes a subset of the set denoted by another concept description. This paper explores reductions of query containment and other problems to the subsumption problem in DL. It first selects a DL dialect that is expressive enough to cover familiar classes of integrity constraints and query expressions. Then, it describes how to modify the tableau decision procedure for the subsumption problem to account for the classes of integrity constraints considered. Finally, it introduces a fast decision procedure for the subsumption problem for the dialect adopted. Resumo. O problema de subsunção em Lógica de Descrição (LD) refere-se à questão de decidir se uma expressão definindo um conceito sempre denota um subconjunto do conjunto que outra expressão denota. Este trabalho explora reduções do problema de inclusão de consultas e problemas semelhantes ao problema de su...
Abstract. In this paper, we address the problem of changing the constraints of a mediated schema ... more Abstract. In this paper, we address the problem of changing the constraints of a mediated schema M to accommodate the constraints of a new export schema E0. We first show how to translate the constraints of E0 to the vocabulary of M, cre-ating a set of constraints C0 in such a way that the schema mapping for E0 is correct. Then, we show how to compute the new version of the constraints of M to accommodate C0 so that all schema mappings, including that for E0, are cor-rect. We solve both problems for subset and cardinality constraints and specific families of schema mappings.
Anais do XV Women in Information Technology (WIT 2021), 2021
Visando investigar o perfil de estudantes concluintes de cursos nas áreas STEAM no estado do Amaz... more Visando investigar o perfil de estudantes concluintes de cursos nas áreas STEAM no estado do Amazonas, este artigo analisa dados socioeconômicos dos participantes do ENADE (Exame Nacional de Desempenho dos Estudantes) nos anos de 2017 a 2019. Os resultados mostraram que a maioria dos estudantes ainda é masculina, que mulheres em sua maioria apresentavam características de vulnerabilidade econômica e a falta de representatividade quando o gênero foi associado à raça indígena. Além da permanência do estigma de gênero associado a motivação para escolha de curso quando comparada entre os homens e mulheres da amostra. Conclui-se que há a necessidade de realização de análises mais aprofundadas em determinados aspectos da pesquisa, como a interligação de dados do ensino básico, porém a análise feita neste artigo verificou a indispensabilidade de ações dentro de instituições de ensino superior que contribuam para a permanência de estudantes.
The subsumption problem in Description Logics (DL) refers to the question of deciding if a concep... more The subsumption problem in Description Logics (DL) refers to the question of deciding if a concept description always denotes a subset of the set denoted by another concept description. This paper explores reductions of query containment and other problems to the subsumption problem in DL. It first selects a DL dialect that is expressive enough to cover familiar classes of integrity constraints and query expressions. Then, it describes how to modify the tableau decision procedure for the subsumption problem to account for the classes of integrity constraints considered. Finally, it introduces a fast decision procedure for the subsumption problem for the dialect adopted. Resumo. O problema de subsuncao em Logica de Descricao (LD) refere-se a questao de decidir se uma expressao definindo um conceito sempre denota um subconjunto do conjunto que outra expressao denota. Este trabalho explora reducoes do problema de inclusao de consultas e problemas semelhantes ao problema de subsuncao em...
Anais do XV Women in Information Technology (WIT 2021)
Este artigo tem como objetivo expor a percepção de um grupo de discentes, sob a coordenação de um... more Este artigo tem como objetivo expor a percepção de um grupo de discentes, sob a coordenação de uma docente, sobre sua participação no desenvolvimento de um manual de boas práticas no ambiente universitário em relação a desigualdade de gênero. Além de apresentar o processo realizado até o momento, o artigo descreve as expectativas do grupo acerca deste documento, apresenta a preparação e construção do material, assim como a experiência do grupo nesse processo de criação. O manual encontra-se em fase de desenvolvimento, porém já está com sua estrutura e conteúdos definidos, com algumas seções em fases de revisão e outras de escrita.
Women represent 30% of the workforce in technological areas. Those statistics are a challenge to ... more Women represent 30% of the workforce in technological areas. Those statistics are a challenge to gender equality, but pose as an opportunity to engage more people to the cause of bringing more girls to IT areas. This paper shows the results of a survey submitted to high school female students during a career event. Girls answered questions about their high school preferences, their career choices, and what made them choose the area. Results show math is a well-liked subject in High School but girls choose careers in Human or Biological fields. According to them, they lack mathematical skills and vocation to aspire a career in IT.
This work shows some data about women in Computing in Brazil and in Federal University of Amazona... more This work shows some data about women in Computing in Brazil and in Federal University of Amazonas in order to check if there are any improvement done recently when related to a more equal environment in the Technology area. It also directly analyses the impact of a program created in Federal University of Amazonas, to reduce gender gap in IT field and promote empowerment to women. In this study we have included data collected with an online survey of alumni, recent graduated and current student of Computing courses of our university.
Encouraging Women to Pursue a Computer Science Career in the Context of a Third World Country
This innovative practice full paper presents a set of engaging actions aimed to encourage women t... more This innovative practice full paper presents a set of engaging actions aimed to encourage women to pursue a Computer Science career in a city of a third world country (Manaus, Brazil). Despite worldwide efforts to promote gender equality, typically, women account for less than 30% of the workforce in technological areas. In third world countries, the situation is much more unbalanced. Poor educational and economic conditions, allied with a chauvinism culture contaminated by sexism and stereotypes, are strong forces that repel the young girls from IT areas. As a result, the percentage of women in local Computer Science majors is lower than expected. The authors detail a program to involve girls from all school levels in computer science career, which is indeed the adaptation of a national program, combined with indigenous elements. The mentioned adaptation was a key success factor to catch the attention of students and local educators. Some activities that are included in this progra...
Anais do Women in Information Technology (WIT 2016)
Este artigo apresenta o Programa Cunhantã Digital, que envolve ações e projetos voltados ao incen... more Este artigo apresenta o Programa Cunhantã Digital, que envolve ações e projetos voltados ao incentivo à participação de mulheres da região amazônica na área de ciência e tecnologia. Tal programa contempla atividades como a realização de palestras e atividades lúdicas em eventos científicos e a capacitação de alunas para participar de competições de programação e desenvolver aplicativos computacionais, dentre outras. Algumas ações já resultaram em destaques obtidos em competições de programação e prêmios obtidos por meio do desenvolvimento de aplicativos, além de terem proporcionado um ambiente acadêmico mais propício à discussão de questões relacionadas ao gênero feminino nas áreas de computação e exatas na comunidade amazonense. Os próximos passos visam atingir também escolas de ensino fundamental e médio, para que as mulheres se sintam motivadas a escolher suas profissões independentemente dos pré-conceitos sociais.
Anais do Women in Information Technology (WIT)
Neste trabalho são apresentadas análises quantitativas e de alguns aspectos qualitativos sobre a ... more Neste trabalho são apresentadas análises quantitativas e de alguns aspectos qualitativos sobre a participação feminina nos cursos de Computação do Instituto de Computação da Universidade Federal do Amazonas (IComp/UFAM) na graduação e pós-graduação. Foram observados aspectos relacionados ao ingresso, permanência e formação de tais alunas, em comparação com o grupo total de estudantes universitários. Além disto, para as ingressantes de 2017, foram realizadas análises do perfil, formação prévia e preferências de cada uma, para melhor entender o porquê de terem escolhido cursar Computação no ensino superior, o que esperam do curso e quais as expectativas para suas carreiras profissionais.
Anais do Women in Information Technology (WIT)
Mulheres representam apenas 30% da força de trabalho emáreas tecnológicas no cenário mundial, o q... more Mulheres representam apenas 30% da força de trabalho emáreas tecnológicas no cenário mundial, o que se torna um desafio e uma oportunidade para ações de aumento da representatividade feminina. Este trabalho apresenta os resultados de uma pesquisa feita com alunas do Ensino Médio durante um evento de divulgação de carreiras para jovens estudantes secundaristas no ano de 2016. As alunas voluntariamente responderam o que as levaria ou não paraárea tecnológica. Resultados mostram que embora as disciplinas daárea de exatas façam parte da preferência de muitas alunas durante o ensino médio, asáreas de Humanas e Biológicas acabam atraindo mais candidatas. O principal motivo segundo elas é a falta de habilidades matemáticas e de vocação.
Editorial: Revising the constraints of lightweight mediated schemas
Data Knowledge Engineering, Dec 1, 2010
The subsumption problem in Description Logics (DL) refers to the question of deciding if a concep... more The subsumption problem in Description Logics (DL) refers to the question of deciding if a concept description always denotes a subset of the set denoted by another concept description. This paper explores reductions of query containment and other problems to the subsumption problem in DL. It first selects a DL dialect that is expressive enough to cover familiar classes of integrity constraints and query expressions. Then, it describes how to modify the tableau decision procedure for the subsumption problem to account for the classes of integrity constraints considered. Finally, it introduces a fast decision procedure for the subsumption problem for the dialect adopted.
This paper addresses the problem of changing the constraints of a mediated schema to accommodate ... more This paper addresses the problem of changing the constraints of a mediated schema to accommodate the set of constraints of a new export schema. The relevance of this problem lies in that the constraints of a mediated schema capture the common semantics of the data sources and, as such, they must be maintained and made available to the users of the mediation environment. The paper first argues that such problem can be solved by computing the greatest lower bound of two sets of constraints. Then, for an expressive family of conceptual schemas, it shows how to efficiently decide logical implication and how to compute the greatest lower bound of two sets of constraints.
In this paper, we address the problem of modeling the constraints of a mediated schema. We argue ... more In this paper, we address the problem of modeling the constraints of a mediated schema. We argue that, from the point of view of an application that processes the results of queries defined over the mediated schema, the constraints should be modeled as the greatest lower bound of the constraints of the export schemas, after appropriate translation to a common vocabulary. This assures that the application will correctly interpret query results.
In this article, we address the problem of changing the constraints of a mediated schema to accom... more In this article, we address the problem of changing the constraints of a mediated schema to accommodate the set of constraints of a new export schema. The relevance of this problem lies in that the constraints of a mediated schema capture the common semantics of the data sources and, as such, they must be maintained and made available to the users of the mediation environment. We first argue that such problem can be solved by computing the greatest lower bound of two theories induced by sets of constraints, defined as the intersection of the theories. Then, for an expressive family of conceptual schemas, we show how to efficiently decide logical implication and how to compute the greatest lower bound of two theories induced by sets of constraints. The family of conceptual schemas we work with partly corresponds to OWL Lite and supports the equivalent of named classes, datatype and object properties, minCardinalities and maxCardinalities, InverseFunctionalProperties, subset constraints, and disjointness constraints. Such schemas are also sufficiently expressive to encode commonly used UML constructs, such as classes, attributes, binary associations without association classes, cardinality of binary associations, multiplicity of attributes, and ISA hierarchies with disjointness, but not with complete generalizations.
Anais do Women in Information Technology (WIT)
Neste trabalho é apresentada uma dinâmica envolvendo um método básico de criptografia, historicam... more Neste trabalho é apresentada uma dinâmica envolvendo um método básico de criptografia, historicamente conhecido como Cifra de César, que foi aplicada aos alunos ingressantes de graduação em Computação da Universidade Federal do Amazonas. Tal atividade aconteceu na primeira semana de aula, como forma de integração entre os alunos calouros de Computação. E, aproveitando-se que a data de tal atividade coincidia com a Dia Internacional da Mulher, 8 de março, também foram trabalhadas questões sobre a participação das estudantes mulheres em tais cursos. Este trabalho, portanto, tem por objetivos relatar a atividade geral realizada e a dinâmica aplicada, bem como tecer considerações sobre a adequabilidade da proposta, como foi recebida e percebida, e a participação das meninas diante do contexto construído.
Uploads
Papers by Tanara Lauschner