Arquitectura semântica para a integração de sistemas no domínio do turismo

A indústria do turismo caracteriza-se pela sua heterogeneidade e pelo grande volume de transacções realizadas on-line. Cada vez mais os pequenos operadores turísticos optam por desenvolver os seus pequenos sistemas de reservas, para não terem de estar submetidos ao pagamento de comissões às entidades que gerem os grandes sistemas de informação turística. Devido a este facto, têm surgido um grande número de novas fontes de informação turística na Internet. A proliferação de informação turística torna complexo o planeamento das férias por parte do turista. A implementação de sistemas de integração de informação turística torna-se uma necessidade urgente. Ao mesmo tempo que ajudam o turista no planeamento das férias, também permitem aos operadores implementarem novas estratégias de marketing. Uma destas novas estratégias de marketing passa pela implementação do conceito de “Dynamic Packaging”. O “Dynamic Packaging” permite ao turista, ou ao agente turístico, a construção de pacotes que incluem produtos turísticos escolhidos por este sem qualquer limitação. Aos operadores turísticos, permite a criação de regras de negócio sobre a constituição de um pacote. As regras são depois aplicadas dinamicamente à medida que os pacotes são definidos. A arquitectura SEED define a implementação de um sistema de integração de informação turística. Pretende também disponibilizar a base para a implementação de sistemas que suportem o “Dynamic Packaging”. A integração da informação é realizada através da utilização das tecnologias associadas à Web Semântica. A implementação do “Dynamic Packaging” é suportada pela utilização de motores de inferência que permitem a definição e interpretação de regras semânticas.Orientador: António Jorge Silva Cardos

Mecanismo de matching semântico de recursos computacionais de grids baseado na integração semântica de múltiplas ontologias

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da ComputaçãoO paradigma de grid computacional tem como uma das suas principais características o compartilhamento de recursos heterogêneos dispersos geograficamente por diversas organizações virtuais. No entanto, o processo de matching destes recursos torna-se na prática difícil, uma vez que estas organizações podem apresentar visões distintas quanto a forma de descrever seus recursos compartilhados. A utilização do paradigma de ontologias tem sido considerada, visando à descrição formal de distintas visões de recursos de grid. Em outras palavras, esta metodologia tem como objetivo prover uma base à realização de matching semântico. Vários mecanismos de matching semântico propostos focam na completa automatização do processo. Por outro lado, inúmeras pesquisas indicam que a completa automação no processo de integração semântica de múltiplas ontologias não consegue capturar ou expressar formalmente todas as relações semânticas possíveis entre as ontologias, sendo necessário à interação humana. Em adição, as consultas realizadas sobre ontologias requerem que o usuário conheça as diferentes sintaxes das linguagens de consulta disponíveis e sobretudo saiba traduzir a estrutura do conhecimento modelado nas ontologias em um formalismo lógico para poder elaborar as consultas. Desta forma, diminui-se o número de usuários aptos a formular consultas efetivas e significativas. Com o objetivo de superar estas dificuldades, essa dissertação propõe um mecanismo de matching semântico de recursos de grid baseado na integração semântica de múltiplas ontologias. A integração é alcançada através do desenvolvimento de uma ontologia que tem o papel de servir de referência aos desenvolvedores das ontologias de recursos das diversas organizações virtuais. Desta forma, os desenvolvedores podem estabelecer relações de equivalência com a ontologia de referência antes de publicar as informações dos seus recursos. Uma outra contribuição deste trabalho é diminuir o grau de dificuldade na interação de usuários comuns com o sistema de matching proposto. Esta característica é alcançada criando uma ontologia de pedidos como uma linguagem de consulta de alto nível e um matchmaker baseado nesta linguagem. Esta ontologia foi construída baseada nos termos presentes na ontologia de referência, permitindo que o matching semântico seja realizado sobre todas as ontologias conhecidas pelo sistema. Os experimentos dos estudos de caso realizados indicam que a proposta alcançou com sucesso seus principais objetivos

Especificação semântica de QoS: a ontologia QoS-MO

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da ComputaçãoEste trabalho apresenta a ontologia QoS-MO que permite a especificação de características e requisitos de QoS para Web Services Semânticos ou Componentes de Software e pode ser facilmente utilizada para estender a OWL-S ou outras ontologias de descrição funcional de Componentes. As especificações de QoS modeladas a partir da ontologia QoS-MO podem ser utilizadas no projeto, desenvolvimento, publicação e descoberta de Web Services ou Componentes de Software. Um mecanismo de busca semântica de Web Services ou Componentes de Software foi especificado, voltado para a descoberta de Componentes que atendam a um conjunto definido de restrições de QoS, utilizando a ontologia QoS-MO e a linguagem de consulta SPARQL. Um protótipo deste mecanismo foi desenvolvido, contando tanto com uma interface de programação como uma interface Web. Os testes realizados demonstraram que o mecanismo proposto é viável e apresenta um desempenho aceitável e que a ontologia definida é capaz de expressar características de QoS complexas. A comparação com mecanismos de descoberta de Web Services de propostas similares demonstrou que a abordagem QoS-MO é mais simples e eficiente, pois não depende de nenhum algoritmo complexo para sua execução, apenas de um mecanismo de inferência simples e da linguagem SPARQL

Uma Abordagem semântica para a especificação de qualidade de serviço em redes de computadores

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010Nesta dissertação é abordado o tema da especificação de Qualidade de Serviço (QoS) em serviços de rede. Em operações relacionadas ao gerenciamento de QoS, sempre é necessário especificar os parâmetros de qualidade sendo negociados. Atualmente não existem padrões que descrevem formalmente como deve ser feita a especificação de QoS. Enquanto trabalhos propõem o uso de uma lista fixa de parâmetros de qualidade, soluções que oferecem listas extensíveis de parâmetros são mais adequadas para lidar com a heterogeneidade de aplicações, serviços de rede, e arquiteturas de QoS adotadas pelos provedores. Inspirada na Web Semântica e em problemas similares enfrentados por Serviços Web, esta dissertação propõe o uso de ontologias como uma maneira formal e extensível de especificação de serviços de rede. Uma modelagem para especificação, chamada NetQoSOnt, é proposta, exemplificada, e validada através de um protótipo. Esta modelagem tem o objetivo de ser utilizada como base para sistemas de QoS, permitindo a especificação formal de parâmetros de qualidade. Os resultados da implementação do protótipo demonstram a viabilidade da utilização de NetQoSOnt em sistemas automatizados de gerenciamento de QoS

Interoperabilidade entre objetos geográficos heterogêneos e distribuídos: uma metodologia de integração sintática e semântica.

A falta de interoperabilidade é um problema encontrado quando se faz necessário utilizar informações disponíveis em diversas instituições geradoras ou detentoras de informações espaciais. Esta dissertação descreve uma proposta metodológica para se obter a interoperabilidade entre objetos geográficos heterogêneos e distribuídos baseada na utilização da especificação do serviço Web Feature Service (WFS) do Open Geospatial Consortium (OGC), como um mecanismo para tornar os formatos de dados uniformes, e a utilização de ontologias do domínio, através da Ontology Web Language (OWL), como esquema sintático e semântico de referência compartilhado para a integração destes objetos. Esta abordagem permite um alto grau de interoperabilidade proporcionando a unificação de estrutura, sintaxe e semântica de dados espaciais heterogêneos em um domínio de interesse. A metodologia proposta está sendo aplicada na obtenção de informação de solos para o projeto de zoneamento agroecológico da cultura do dendê em áreas desmatadas da Amazônia, coordenado pela Embrapa Solos. Os dados de solos provenientes de fontes geradoras diferentes vêm sendo integrados para utilização na avaliação da aptidão agrícola.Dissertação (Mestrado em Engenharia de Computação) - Faculdade de Engenharia, Universidade do Estado do Rio de Janeiro, Rio de Janeiro. Orientadora: Margareth S. P. Meirelles, CNPS. Co-orientador: Oscar L. M. de Farias

Lexicalização de ontologias : o relacionamento entre conteúdo e significado no contexto da recuperação da informação

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.Investiga as tecnologias da Web Semântica e as técnicas de Processamento de Linguagem Natural para a elaboração semiautomática de uma base léxico-ontológica, em Português, circunscrita ao domínio de risco financeiro que, incorporada ao modelo de recuperação da informação, visa melhorar a precisão. Identifica teorias, ferramentas e técnicas que propiciam a automatização de procedimentos que extraem elementos ontológicos e léxicos de bases estruturadas e não estruturadas. Esses elementos combinados na forma de base de dados apoiam a geração de índice léxico-semântico que fornece insumos para a proposição de modelo de recuperação da informação semântica. A metodologia adotada se apresenta em: levantamento de fundamentos teóricos e metodológicos, ferramentas e bases de dados ontológicas e textuais; construção de ontologia e base léxico-ontológica com foco no risco financeiro; elaboração de modelo de recuperação da informação semântica; avaliação do modelo realizada num corpus de informação relacionada ao risco financeiro que foi indexado nos moldes tradicionais e contemplando a informação semântica para, então, medir a precisão nas duas situações. Os resultados alcançados demonstram a utilização da metodologia, no domínio de risco financeiro em Português, para a elaboração da ontologia OntoRisco, da base léxico-semântica RiscoLex e da proposta de modelo de recuperação da informação semântica que mostrou resultados superiores aos modelos de recuperação da informação tradicionais, nos testes realizados. Conclui que os resultados satisfatórios mostram a aplicabilidade da proposta metodológica para o domínio em questão e aponta para a possibilidade de expandir a outros domínios com as devidas adaptações dos recursos utilizados. O estudo contribui para a área de representação e organização da informação e do conhecimento na medida em que fornece metodologia, aporte teórico e insumos para que profissionais continuem promovendo o desenvolvimento da Ciência da Informação.This research investigates Semantic Web technologies, and Natural Language Processing techniques in order to semi automatically develop a lexicon-ontological database in Portuguese. This base is intended to improve the precision measurement in the financial risk domain by coupling it into an information retrieval model. It identi This research investigates Semantic Web technologies, and Natural Language Processing techniques in order to semi automatically develop a lexicon-ontological database in Portuguese. This base is intended to improve the precision measurement in the financial risk domain by coupling it into an information retrieval model. It identifies theories, tools and techniques that allow the automation of procedures that extract ontological and lexical elements from structured and non-structured databases. When these lexical and ontological elements are together in a database format, they give support to the generation of lexico-semantic index that can help the creation of semantic information retrieval models. The methodology used is as follows: surveys of methodological and theoretical fundamentals, tools, as well as ontological and textual databases; creation of an ontology and a lexicon-ontology base in the financial risk domain; elaboration of semantic information retrieval model; evaluation of the model using an information corpus related to financial risks – it was indexed by using traditional techniques, i.e. keywords, and also using semantic information; and then the precision of both situations was finally measured. The results achieved demonstrate the methodology used in the financial risk domain to elaborate the ontology, OntoRisco, using the lexico-semantic database, RiscoLex, and the semantic informational retrieval model proposed in this work. In the tests executed, the results were better than those presented by using traditional information retrieval models. It concludes that the results were quite satisfying since they show the applicability of the methodological proposal to the financial risk domain. In addition, it points the possibility of extending the proposal to other domains with only some adaptations.es theories, tools and techniques that allow the automation of procedures that extract ontological and lexical elements from structured and non-structured databases. When these lexical and ontological elements are together in a database format, they give support to the generation of lexico-semantic index that can help the creation of semantic information retrieval models. The methodology used is as follows: surveys of methodological and theoretical fundamentals, tools, as well as ontological and textual databases; creation of an ontology and a lexicon-ontology base in the financial risk domain; elaboration of semantic information retrieval model; evaluation of the model using an information corpus related to financial risks – it was indexed by using traditional techniques, i.e. keywords, and also using semantic information; and then the precision of both situations was finally measured. The results achieved demonstrate the methodology used in the financial risk domain to elaborate the ontology, OntoRisco, using the lexico-semantic database, RiscoLex, and the semantic informational retrieval model proposed in this work. In the tests executed, the results were better than those presented by using traditional information retrieval models. It concludes that the results were quite satisfying since they show the applicability of the methodological proposal to the financial risk domain. In addition, it points the possibility of extending the proposal to other domains with only some adaptations

A web semântica no contexto educativo: um sistema para a recuperação de objectos de aprendizagem baseado nas tecnologias para a web semântica, para o e-learning e para os agentes

A Web pode ser vista como uma mediateca de documentos à escala mundial. Constitui actualmente o maior repositório de informação, disponibilizando conteúdos multimédia, contudo a sua localização não é fácil, devido essencialmente ao facto da sua semântica ou significado apenas poder ser capturada dentro do contexto e na perspectiva dos humanos. Nos últimos anos, a comunidade científica internacional tem vindo a desenvolver esforços significativos no sentido de melhorar a localização, recuperação e reutilização de objectos de informação, inacessíveis e armazenados em servidores dispersos na Web profunda ou invisível. Os metadados e as ontologias, as metalinguagens e as ferramentas de anotação e de criação de ontologias e mapas de tópicos, os agentes inteligentes e sistemas de agentes móveis, entre outros avanços tecnológicos das Ciências da Computação e da Inteligência Artificial no âmbito da Gestão da Informação e do Conhecimento e dos Sistemas Distribuídos para a Web, constituem elementos essenciais para o desenvolvimento de soluções que a pouco e pouco contribuirão para alterar a realidade da Web actual. A iniciativa que mais se tem destacado é a Web Semântica, cujo principal objectivo é a integração, o intercâmbio e a compreensão semântica da informação, tanto na óptica dos humanos, como na óptica das máquinas, através da transformação da Web actual numa Web de informação semântica que tem como particularidade descrever, interrelacionar e compreender os conteúdos através de metadados, ontologias e agentes de software. Neste contexto, a presente dissertação especifica uma arquitectura para um sistema de recuperação de objectos de aprendizagem baseado nas tecnologias para a Web Semântica, para o e-Learning e para os agentes de software, com o objectivo principal de resolver o problema da descoberta de objectos de aprendizagem e de cursos de formação. De acordo com essa arquitectura, foi também desenvolvido um protótipo experimental para a pesquisa semântica de objectos de aprendizagem armazenados em sistemas de e-Learning, repositórios de objectos de aprendizagem e noutros servidores Web de conteúdos educativos.The Web can be understood as a multimedia library of documents at world level. It currently consists of the largest information repository which makes multimedia contents available. However, their localization is not an easy task, mainly due to the fact that their semantics or meaning can only be captured in their context and in accordance to human perspective. In the past years, the international scientific community has been carrying out significant efforts with view to improving the localization, retrieval and reuse of information objects, which may be inaccessible or stored in servers scattered around the deep Web or the invisible Web. Metadata and ontologies, metalanguages, annotation tools, tools for the creation of ontologies and topic maps, intelligent agents and mobile agent systems, among other technological developments of Computer Sciences and of Artificial Intelligence within the scope of Information and Knowledge Management and Distributed Web Systems, are the key elements for the development of solutions that will gradually lead to changing the present Web reality. The project that has been receiving more attention is the Semantic Web whose main purpose is the integration, interchange and semantic understanding of information not only from the viewpoint of humans, but also from the perspective of machines by means of the change of the current Web into a Web of semantic data. This would then allow for the description, interrelation and understanding of contents through metadata, ontologies and software agents. In this context, the present thesis specifies the architecture for a retrieval system of learning objects based on the technologies of the Semantic Web, e-Learning and software agents, aiming to solve the problem of determining learning objects and training courses. According to this architecture, we also developed an experimental prototype for the semantic search of learning objects stored in e-Learning systems, learning object repositories and other Web servers for educational contents.Le Web peut être vu comme une médiathèque de documents à l’échelle mondiale. Il constitue actuellement le plus grand recueil d’information, mettant à notre disposition des contenus multimédia ; toutefois, sa localisation n’est pas facile en raison essentiellement du fait que sa sémantique ou son sens ne peuvent être saisis que dans le contexte et la perspective des humains. Au cours des dernières années, la communauté scientifique internationale a développé des efforts considérables dans le sens d’améliorer la localisation, la récupération et la réutilisation d’objets d’information inaccessibles et emmagasinés dans des serveurs dispersés dans le Web profond ou invisible. Les métadonnées et les ontologies, les métalangages et les outils d’annotation et de création d’ontologies et de cartes de topiques, les agents intelligents et les systèmes d’agents mobiles, entre autres progrès technologiques des Sciences Informatiques et de l’Intelligence Artificielle dans le cadre de la Gestion de l’Information et de la Connaissance et des Systèmes Distribués pour le Web, constituent des éléments essentiels pour le développement de solutions qui, peu à peu, contribueront pour altérer la réalité du Web actuel. L’initiative qui s’est le plus fait remarquer est le Web Sémantique dont l’objectif principal est l’intégration, l’échange et la compréhension sémantique de l’information, aussi bien du point de vue des humains que du point de vue des machines, à travers la transformation du Web actuel en un Web d’information sémantique qui a comme particularité décrire, mettre en rapport et comprendre les contenus à travers des métadonnées, des ontologies et des agents de software. Dans ce contexte, la présente dissertation précise une architecture pour un système de récupération d’objets d’apprentissage basé sur les technologies pour le Web Sémantique, pour le e-Learning et pour les agents de software, ayant comme but principal résoudre le problème de la découverte d’objets d’apprentissage et de cours de formation. Selon cette architecture, un prototype expérimental a également été développé pour la recherche sémantique d’objets d’apprentissage emmagasinés dans des systèmes de e-Learning, recueils d’objets d’apprentissage et dans d’autres serveurs Web de contenus éducatifs.O projecto de investigação desta dissertação foi parcialmente financiado pelo Programa de Desenvolvimento Educativo para Portugal (PRODEP III), Eixo 3 – Sociedade da Aprendizagem, Medida 5 (FSE) – Formação de Docentes e outros agentes, Acção 5.3 – Formação Avançada de Docentes do Ensino Superior

Processo de Aquisição de Conhecimento de um Sistema Inteligente de Gestão de Emergências

A Gestão de Emergências é um processo complexo, com uma grande relevância na sociedade, uma vez que a resposta a catástrofes naturais ou tecnológicas requer a colaboração e cooperação de atores civis e militares, na assistência a populações, em situações de desastre e ajuda humanitária. Gerir o grande volume de informação e conhecimento, por vezes disperso e de natureza incerta, que caracteriza estas situações, representa um desafio para os decisores, que se veem pressionados a tomar decisões críticas, num curto espaço de tempo. Atualmente, em virtude do crescimento exponencial das novas tecnologias, é notório o investimento em Sistemas de Informação para o auxílio de situações complexas, de modo a que os gestores de emergências sejam apoiados nas suas decisões. Este suporte é proporcionado por Sistemas Inteligentes baseados no Conhecimento, que têm como finalidade a Gestão do Conhecimento, para um aconselhamento eficaz em situações de crise. A Gestão do Conhecimento desempenha um papel fundamental no desenvolvimento de um Sistema Inteligente, por ser o processo, também designado de Engenharia do Conhecimento, que conduz à aquisição, compilação e partilha do conhecimento, envolvido no processo de tomada de decisão do domínio específico do problema, sendo necessário que tal conhecimento seja interpretado não só por humanos, mas também computacionalmente. Com base neste conhecimento e nos factos que ocorrem numa situação concreta, é possível executar modelos de inferência, destinados a proporcionar aconselhamento aos utilizadores do sistema. A presente dissertação de mestrado, integrada no projeto THEMIS, é um contributo para esta problemática e tem como objetivo a construção de uma Base de Conhecimento que armazene conceitos e regras vocacionadas para a Gestão de Emergências. Para este efeito, foi criada uma Ontologia que explicita e estrutura o conhecimento, através das relações entre os seus elementos, com recurso a processos de inferência e consultas à Base de Conhecimento para avaliação da mesma, com o propósito de produzir aconselhamento e apoio à decisão em situações complexas.Emergency Management is a complex process, with great relevance for society, since that a response for natural or technological catastrophes requires the collaboration and cooperation of civilian and military intervenients, for population assistance, in disaster situations and humanitarian aid. Managing the great volume of information and knowledge, which describes these situations and can be of disperse and uncertain nature, represents a challenge to the deciders, which are pressured to take critical decisions, in a short window of time. Nowadays, in virtue of the exponential growth of new technologies, the development of Information Systems to handle complex situations is notorious, being able to support the emergency managers on their decisions. This support is provided by Knowledge-Based Intelligent Systems, which have as a goal knowledge management, providing an effective counseling during situations of crisis. Knowledge Management, also known as Knowledge Engineering, performs a fundamental role on the development of an Intelligent System. It is the process that leads to the acquisition, compilation and sharing of knowledge involved in a decision-making process on a specific problem domain, which makes it necessary to have not only human-based interpretations, but also computer-based interpretations. Based on this knowledge, and on the facts that occur on a specific situation, is possible to execute inference models, destined to provide counseling to the system users. This master’s dissertation, integrated on project THEMIS, is a contribute to the problem at hand, with the objective of building a Knowledge Base that stores concepts and rules associated to Emergency Management. To achieve this goal, it was created an Ontology that represents and structures knowledge, through the relations between their different elements, relying on inference processes and SPARQL queries for its validation, with the purpose of creating reliable counselling and support for decision-making in complex situations

Gerador inteligente de sistemas com auto-aprendizagem para gestão de informações e conhecimento

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia de ProduçãoEste trabalho apresenta uma ferramenta que permite ao usuário gerar sistemas inteligentes. Inicialmente é mostrado um sistema Multi-Agentes denominado "SMAGS", com capacidade de integrar sistemas informatizados diferentes e gerenciar, em tempo real, as informações inerentes ao projeto de interesse, podendo atuar também como um "Gerente Virtual". Na seqüência são incorporadas novas técnicas de Inteligência Artificial (IA), com interpretação semântica e testes métricos de ontologias, com o objetivo de fornecer ao usuário uma ferramenta CASE ( Computer Aided Software Engineering ) com capacidade de gerar sistemas de informações informatizados inteligentes. Os sistemas gerados podem aprender a partir de informações oriundas de buscas inteligentes em servidores de ontologias, banco de casos, especialistas na área e mesmo dados fragmentados na internet, facilitando e potencializando as tomadas de decisões gerenciais

Implementação de um protocolo criptográfico baseado em REST em Haskell

Monografia (graduação)—Universidade de Brasília, Instituto de Exatas, Departamento de Ciência da Computação, 2014.Protocolos de segurança baseados em REST, como o OAuth e o OpenID, foram propostos para permitir mecanismos de autenticação e autorização distribuída em ambientes abertos, cujos usuários em potencial são geralmente desconhecidos com antecedência. No entanto, as instituições possuem também a necessidade de se comunicar umas com as outras em ambientes fechados, de modo que elas possam integrar automaticamente os seus processos de negócio. Neste trabalho, relata-se o uso de Haskell, uma linguagem de programação puramente funcional e estaticamente tipada, para a implementação de um protocolo criptográfico baseado em REST para ambientes fechados. Apesar do desenvolvimento experimental de Haskell, que dificulta o uso pragmático da linguagem (principalmente devido a inconsistências de bibliotecas e versões do compilador), os resultados sugerem que Haskell é uma opção interessante para o desenvolvimento de aplicações baseadas em REST em geral (mas, em especial, para o desenvolvimento de protocolos criptográficos), levando a uma baixa utilização de recursos e tempo de inicialização, pequeno esforço de desenvolvimento, alto nível de modularidade através de typeclasses, e maior segurança, devido ao sistema de tipos da linguagem. ________________________________________________________________________________ ABSTRACTREST-based security protocols, such as OAuth and OpenID, have been proposed to allow a form of distributed authentication and authorization mechanism target to open environments, whose potential users are usually unknown in advance. However, there also exists the need for institutions to communicate to each other within closed environments — so that they could automatically integrate their business processes. In this work, we report on the use of Haskell, a statically typed, purely functional programming language, to implement a REST-based cryptographic protocol for closed environments. Apart from the experimental development of Haskell, which hinders the pragmatic use of the language (mostly due to libraries and compiler versions’ inconsistencies), our findings suggest that Haskell is a compelling choice for developing REST-based applications in general (but in particular for the development of cryptographic protocols), leading to a small footprint and initialisation time, small development effort, extensive modularity through typeclasses, and improved safety thanks to the language’s type system