PERSONAL DATA AND KNOWLEDGE BASES OF VIRTUAL RESEARCH COMMUNITIES

Досліджено процеси набуття та управління персональними даними і знаннями, а також комунікації в межах віртуальних дослідницьких спільнот. Розглянуто поняття віртуального наукового колективу та особливості захисту інформації у налагодженні процесів комунікації в ньому. Висвітлено проблеми в організації ефективної комунікації між учасниками віртуальних дослідницьких спільнот, що породжені відсутністю цілісного технологічного рішення, яке забезпечило б надійність, приватність, швидкодію та структурованість потоків інформації, даних і знань. Запропоновано принципово новий підхід до проектування платформ комунікації, що ґрунтується на ідеях децентралізації та крипто-безпеки. Проаналізовано методологічні відмінності між поняттями "інформація", "дані" та "знання". Висвітлено сучасний підхід до здійснення міркування в онтологічній моделі подання знань, що ґрунтується на використанні апарату теорії типів та асистента доведення теорем Coq. Структуровано подано відношення між логікою та теорією типів, а також наведено спосіб подання основних елементів онтології формальною мовою системи Coq. Розглянуто приклад здійснення міркування з використанням мови тактик Ltaс над фрагментом онтології, що описує певні відношення з предметної області функціонування віртуальних дослідницьких спільнот. Вказано шляхи та інструменти здійснення подальшого дослідження.Исследованы процессы приобретения и управления персональными данными и знаниями, а также коммуникации среди членов виртуальных исследовательских сообществ. Рассмотрено понятие виртуального научного коллектива и особенности защиты информации при организации процессов коммуникации в нем. Освещены проблемы коммуникации между участниками виртуальных исследовательских сообществ, возникшие из-за отсутствия целостного технологического решения, которое бы обеспечило конфиденциальность, быстродействие и структурированность потоков информации, данных и знаний. Предложен принципиально новый подход к проектированию платформ коммуникации, основанной на идеях децентрализации и крипто-безопасности. Проанализированы методологические различия между понятиями "данные", "информация" и "знание". Освещён современный подход к логическому мышлению в онтологической модели представления знаний, на основе использования аппарата теории типов и ассистента доказательства теорем Coq. Структурированы отношения между логикой и теорией типов, а также рассмотрен способ представления основных элементов онтологии с помощью формального языка системы Coq. Представлен пример рассуждения на языке тактик Ltaс над фрагментом онтологии, который описывает определенные отношения предметной области функционирования виртуальных исследовательских сообществ. Указаны пути и инструменты проведения дальнейших исследований.The paper researches the processes of acquisition and management of personal data and knowledge, as well as the communication within the virtual research communities. It presents the concept of a virtual research group and the specifics of information protection during the establishment of communication processes within it. The paper highlights the existing issues in organization of an effective communication between the participants of virtual research communities, which are caused by the lack of a unified technological solution that ensures reliability, privacy, speed and common structure of an information, data and knowledge. A fundamentally new approach to the architecture of communication platforms based on the ideas of decentralization and crypto-security is proposed. It emphasizes the utility of a Blockchain solution, which combined with the distributed encrypted file system IPFS, InterPlanetary File System, provides the security of a next generation. The methodological differences between the concepts "data", "information" and "knowledge" are emphasized. The study provides a description of a modern approach to the reasoning in ontologies that is based on the use of a type-theoretical approach and Coq proof assistant. It highlights the relationship between the logic and type theory and defines the way of representing the core structural elements of ontology with the formal language of Coq system. An application of the Ltac tactics language for the reasoning over an ontology fragment, which describes some relations in the domain of the virtual research communities functioning, is considered. It shows the feasibility and advantages of the hierarchical type system of concepts, and provides a strong evidence of the higher-order reasoning in ontology. Finally, the paths and tools for further research are indicated

Insetos em presépios e as "formigas vestidas" de Jules Martin (1832-1906): uma curiosa manufatura paulistana do final do século XIX

Encontrados no Brasil desde os primórdios da colonização portuguesa, os presépios logo tiveram de adaptar-se à realidade local, circunstância muito propícia ao aparecimento de concepções heterodoxas e ao emprego de elementos exóticos da fauna e flora de cada região. Como registros envolvendo insetos são muito pouco comuns, chama a atenção que fêmeas de saúva, Atta sp. (Hymenoptera, Formicidae), tenham sido aproveitadas na composição de presépios no estado de São Paulo. Tendo subsistido pelo menos até a década 1960, os "presépios de formigas" existentes em cidades como Embu das Artes poderiam estar relacionados às "formigas vestidas" criadas por Jules Martin, curiosa manufatura paulistana do último quartel do século XIX.Present in Brazil since the beginning of Portuguese colonization, crèche nativity scenes were soon adapted to local reality, a propitious circumstance for the appearance of heterodox conceptions and the use of exotic elements of the fauna and flora peculiar to each region. As records about insects are very uncommon, it is noteworthy that females of leaf-cutting ants, Atta sp. (Hymenoptera, Formicidae), were used to compose crèche nativity scenes in São Paulo State. Having subsisted at least up to the decade of 1960, the "ant crèches" of cities such as Embu das Artes could be related to the then famous "dressed ants" created by Jules Martin, a curious manufacture of the city of São Paulo in the last quarter of the 19th century

Multi-dimensionality and variability in folk classification of stingless bees (Apidae: Meliponini)

Background: Not long ago Eugene Hunn suggested using a combination of cognitive, linguistic, ecological and evolutionary theories in order to account for the dynamic character of ethnoecology in the study of folk classification systems. In this way he intended to question certain homogeneity in folk classifications models and deepen in the analysis and interpretation of variability in folk classifications. This paper studies how a rural culturally mixed population of the Atlantic Forest of Misiones (Argentina) classified honey-producing stingless bees according to the linguistic, cognitive and ecological dimensions of folk classification. We also analyze the socio-ecological meaning of binomialization in naming and the meaning of general local variability in the appointment of stingless bees. Methods: We used three different approaches: the classical approach developed by Brent Berlin which relies heavily on linguistic criteria, the approach developed by Eleonor Rosch which relies on psychological (cognitive) principles of categorization and finally we have captured the ecological dimension of folk classification in local narratives. For the second approximation, we developed ways of measuring the degree of prototypicality based on a total of 107 comparisons of the type "X is similar to Y" identified in personal narratives. Results: Various logical and grouping strategies coexist and were identified as: graded of lateral linkage, hierarchical and functional. Similarity judgments among folk taxa resulted in an implicit logic of classification graded according to taxa's prototypicality. While there is a high agreement on naming stingless bees with monomial names, a considerable number of underrepresented binomial names and lack of names were observed. Two possible explanations about reported local naming variability are presented. Conclusions: We support the multidimensionality of folk classification systems. This confirms the specificity of local classification systems but also reflects the use of grouping strategies and mechanisms commonly observed in other cultural groups, such as the use of similarity judgments between more or less prototypical organisms. Also we support the idea that alternative naming results from a process of fragmentation of knowledge or incomplete transmission of knowledge. These processes lean on the facts that culturally based knowledge, on the one hand, and biologic knowledge of nature on the other, can be acquired through different learning pathways.Fil: Zamudio, Fernando. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Córdoba. Instituto Multidisciplinario de Biología Vegetal (p); ArgentinaFil: Hilgert, Norma Ines. Consejo Nacional de Investigaciones Cientiâ­ficas y Tecnicas. Centro Cientifico Tecnologico Nordeste. Instituto de Biologia Subtropical. Instituto de Biologia Subtropical - Nodo Puerto Iguazu; Argentin

Decentralized Blockchain-based platform for collaboration in virtual scientific communities

The paper presents a modern approach to the construction of collaboration platforms in virtual scientific communities, which is based on the ideas of decentralization and crypto security. The risks and disadvantages of existing collaboration solutions are considered, as well as possible ways of their elimination. Research highlights cornerstone technologies of the platform, in particular, peer-to-peer network, the blockchain, distributed hosting, self-sovereign identity and interconnections between them