Un'esperienza di rappresentazione di dati di cataloghi digitali in Linked Open Data: il caso della Fondazione Zeri

Il documento presenta il caso dell'archivio fotografico della Fondazione Zeri come caso reale di conversione di un catalogo ricco di informazioni ma povero di interconnessioni nel dominio dei Linked Open Data, basandosi sull'ontologia CIDOC-CRM per il cultural heritage.

Estrazione e annotazione di una rete citazionale da articoli scientifici

Lavoro svolto per la creazione di una rete citazionale a partire da articoli scientifici codificati in XML JATS. Viene effettuata un'introduzione sul semantic publishing, le ontologie di riferimento e i principali dataset su pubblicazioni scientifiche. Infine viene presentato il prototipo CiNeX che si occupa di estrarre da un dataset in XML JATS un grafo RDF utilizzando l'ontologia SPAR.

Elaborazione del linguaggio naturale per la costruzione di un motore di ricerca semantico

Questa tesi riguarda la progettazione di un motore di ricerca semantico a partire dalla costruzione di un'ontologia pesata di token, possibile grazie ad un'elaborazione del linguaggio naturale dei testi ed all'utilizzo di altri strumenti per la descrizione dell'intorno semantico dei termini.

Progetto e strumenti di federazione di endpoint sparql per Enterprise Architecture

La Federazione è un concetto molto utilizzato ed implementato in vari ambiti dell’informatica. In particolare sta avendo grande interesse nel Semantic Web, e risulta essere significativo e importante il suo utilizzo in una disciplina in grande evoluzione come l’Enterprise Architecture. L’obiettivo di questa tesi è stato implementare il concetto di Federazione di Endpoint SPARQL, dove l’elemento centrale è stata la condivisione del modello dei dati tra i vari membri, il quale rappresenta il patto della federazione. Successivamente sono stati messi in luce i benefici che questo tipo di soluzione apporta alla disciplina dell’Enterprise Architecture, in particolar modo nell’ambito dell’analisi dei dati. In relazione a quest’ultimo aspetto, il Semantic Web offre un linguaggio flessibile e facilmente evolvibile per rappresentare l’azienda e i suoi dati, oltre che ad un protocollo standard per la loro interrogazione, ovvero lo SPARQL. La federazione, invece, apporta dei miglioramenti rendendo le fonti dato omogenee dal punto di vista del modello, utilizza un unico protocollo per l’accesso ad essi (SPARQL), ed elimina le criticità in relazione alla normalizzazione dei dati nei processi di analisi. Questi due aspetti risultano abilitanti proprio per l’Enterprise Architecture. Infine sono state definite due possibili evoluzioni, in particolare un costrutto che permetta l’implementazione e la gestione della federazione a livello di linguaggio SPARQL, ed una ontologia standard e condivisibile tramite la quale gestire la federazione in modo trasparente.

A INTERPRETAÇÃO DA SIMBÓLICA DA QUEDA EM PAUL TILLICH:Um Estudo em Hermenêutica Teológica

A Dissertação busca compreender e julgar criticamente a hermenêutica teológica de Paul Tillich, a partir do estudo de sua interpretação simbólica da doutrina cristã clássica do pecado, em sua forma protestante-agostiniana. O trabalho se desenvolve em três etapas: primeiramente é apresentada a teoria do símbolo religioso de Paul Tillich. Em seguida, a sua interpretação da doutrina do pecado, presente no complexo de símbolos míticos e conceptuais que foram reunidos sob o nome simbólica da Queda . Na terceira e última parte, a partir de uma avaliação da prática hermenêutica de Tillich seguida de uma discussão com seus críticos, especialmente William Alston e Reinhold Niebuhr, e de um diálogo especial com Paul Ricoeur, o autor conclui: tanto a teoria do símbolo de Tillich como o seu enfoque hermenêutico, que vai principalmente da analítica existencial ao símbolo, necessitam de aperfeiçoamento; e a teoria simbólica de Ricoeur, associada à sua proposta indutiva de reflexão hermenêutica fornece uma importante contribuição. Ao mesmo tempo, o sucesso de Tillich na interpretação da simbólica da Queda parece refutar a tese de Ricoeur de que uma abordagem que parte da ontologia para o símbolo é inadequada por princípio. Conclui-se, portanto, que a abordagem de Tillich é válida, mas que precisa ser complementada; é necessário pensaruma hermenêutica de mão dupla , que dê igual voz aos símbolos religiosos e à ontologia existencial.(AU)

A INTERPRETAÇÃO DA SIMBÓLICA DA QUEDA EM PAUL TILLICH:Um Estudo em Hermenêutica Teológica

A Dissertação busca compreender e julgar criticamente a hermenêutica teológica de Paul Tillich, a partir do estudo de sua interpretação simbólica da doutrina cristã clássica do pecado, em sua forma protestante-agostiniana. O trabalho se desenvolve em três etapas: primeiramente é apresentada a teoria do símbolo religioso de Paul Tillich. Em seguida, a sua interpretação da doutrina do pecado, presente no complexo de símbolos míticos e conceptuais que foram reunidos sob o nome simbólica da Queda . Na terceira e última parte, a partir de uma avaliação da prática hermenêutica de Tillich seguida de uma discussão com seus críticos, especialmente William Alston e Reinhold Niebuhr, e de um diálogo especial com Paul Ricoeur, o autor conclui: tanto a teoria do símbolo de Tillich como o seu enfoque hermenêutico, que vai principalmente da analítica existencial ao símbolo, necessitam de aperfeiçoamento; e a teoria simbólica de Ricoeur, associada à sua proposta indutiva de reflexão hermenêutica fornece uma importante contribuição. Ao mesmo tempo, o sucesso de Tillich na interpretação da simbólica da Queda parece refutar a tese de Ricoeur de que uma abordagem que parte da ontologia para o símbolo é inadequada por princípio. Conclui-se, portanto, que a abordagem de Tillich é válida, mas que precisa ser complementada; é necessário pensaruma hermenêutica de mão dupla , que dê igual voz aos símbolos religiosos e à ontologia existencial.(AU)

A DIVERSIDADE RELIGIOSA NO ESPAÇO ESCOLAR ADVENTISTA DO ABCD PAULISTA

Tendo como pano de fundo a confessionalidade da rede adventista de educação presente de maneira marcante no espaço escolar e a intensa diversidade religiosa discente, esta pesquisa analisa a relação de possíveis tensões entre a confessionalidade escolar e a diversidade religiosa presente neste espaço. Leva em consideração o processo de modernidade causadora de importantes transformações na educação, na religião e na forma dos dois institutos se relacionarem. Levou-se em consideração o perfil socioeconômico e religioso dos alunos e possíveis tensões na recepção do religioso no espaço escolar adventista por parte dos discentes, inclusive por aqueles que se declaram adventistas. O espaço escolhido para esta pesquisa foi o de colégios adventistas localizadas no contexto do ABCD Paulista, que ofertam o Ensino Médio. Estas unidades escolares estão situadas nas cidades de Diadema, Santo André e São Caetano do Sul, cidades localizadas na mesma microrregião, mas com distintas realidades socioeconômicas

Investigação de mecanismos genéticos e epigenéticos em distúrbios do crescimento humano

Parcela considerável de pacientes com distúrbios de crescimento não têm a causa de seus quadros clínicos estabelecida, incluindo aproximadamente 50% dos pacientes com diagnóstico clínico de síndrome de Silver−Russell (SRS) e 10-20% dos pacientes com síndrome de Beckwith-Wiedemann (BWS). O objetivo deste estudo foi investigar as causas genéticas e epigenéticas de distúrbios de crescimento, de etiologia desconhecida, numa contribuição para o entendimento de mecanismos que regulam o crescimento. O estudo compreendeu: (1) a investigação de microdesequilíbrios cromossômicos, por aCGH; (2) a análise do perfil de expressão alelo-específica de genes sujeitos a imprinting (IG), por pirossequenciamento (PSQ) ou sequenciamento de Sanger; (3) a investigação do padrão de metilação global em pacientes com restrição de crescimento, utilizando microarray de metilação. A casuística constituiu-se de 41 pacientes não aparentados, com distúrbios de crescimento, de etiologia desconhecida: (1) 25, com hipótese diagnóstica de SRS; (2) seis, com restrição de crescimento intrauterino e peso ao nascimento abaixo do 10º percentil, associados a outros sinais clínicos; (3) sete, com hipótese diagnóstica de BWS; e (4) três, com macrossomia pré-natal ou pós-natal, associada a outros sinais. A investigação de microdesequilíbrios cromossômicos foi realizada em 40 pacientes. Foram detectadas 58 variantes raras em 30/40 pacientes (75%): 40 foram consideradas provavelmente benignas (18 pacientes, 45%), 12, com efeito patogênico desconhecido (11 pacientes, 27,5%), duas, provavelmente patogênicas (um paciente, 2,5%) e quatro, patogênicas (três pacientes, 7,5%). Essas frequências são comparáveis àquelas descritas em estudos que investigaram CNV em grupos de pacientes com distúrbios de crescimento e outras alterações congênitas, incluindo SRS, e mostram a importância da investigação de microdesequilíbrios cromossômicos nesses pacientes. A diversidade dos microdesequilíbrios cromossômicos identificados é reflexo da heterogeneidade clínica das casuísticas. Neste estudo, muitos dos pacientes com hipótese diagnóstica de SRS e BWS apresentavam sinais clínicos atípicos, explicando a ausência neles das alterações (epi)genéticas que causam essas síndromes. A identificação de CNV características de outras síndromes reflete a sobreposição de sinais clínicos com BWS e SRS. A análise do perfil de expressão alelo-específica de IG foi realizada em um subgrupo de 18 pacientes com restrição de crescimento. Trinta IG com função em proliferação celular, crescimento fetal ou neurodesenvolvimento foram inicialmente selecionados. Após seleção de SNP transcritos com alta frequência na população, genotipagem de pacientes, genitores e indivíduos controle, determinação da expressão dos IG em sangue periférico e seu padrão de expressão (mono ou bialélico), 13 IG, expressos no sangue, tiveram a expressão alelo-específica avaliada, sete deles por PSQ e seis por sequenciamento de Sanger. Alterações no perfil de expressão de dois genes, de expressão normalmente paterna, foram detectadas em 4/18 pacientes (22%). Este estudo é o primeiro a utilizar pirossequenciamento e sequenciamento de Sanger na avaliação do perfil de expressão alelo-específica de IG, em pacientes com restrição de crescimento. Apesar de terem limitações, ambas as técnicas mostraram-se robustas e revelaram alterações de expressão alélica interessantes; entretanto, a relação dessas alterações com o quadro clínico dos pacientes permanece por esclarecer. A investigação da metilação global do DNA foi realizada em subgrupo de 21 pacientes com restrição de crescimento e em 24 indivíduos controle. Dois tipos de análise foram realizados: (1) análise diferencial de grupo e (2) análise diferencial individual. Na primeira análise, em que foi comparado o padrão de metilação do grupo de pacientes com quadro clínico sugestivo de SRS (n=16) com o do grupo controle (n=24), não houve indicação de hipo ou hipermetilação global no grupo SRS. Na segunda análise, foi comparado o padrão de metilação de cada um dos 21 pacientes com restrição de crescimento e dos 24 indivíduos controle, com o padrão de metilação do grupo controle. O número médio de CpG hipermetilados e de segmentos diferencialmente metilados (SDM) foi significativamente maior nos pacientes. Foram identificados 82 SDM hipermetilados, estando 57 associados a gene(s) (69,5%), em 16 pacientes, e 51 SDM hipometilados, 41 deles associados a gene(s) (80,4%), em 10 pacientes. A análise de ontologia genética dos 61 genes associados aos SDM hipo ou hipermetilados nos pacientes destacou genes que atuam no desenvolvimento e na morfogênese do sistema esquelético e de órgãos fetais, e na regulação da transcrição gênica e de processos metabólicos. Alterações de metilação em genes que atuam em processos de proliferação e diferenciação celulares e crescimento foram identificadas em 9/20 dos pacientes (45%), sugerindo implicação clínica. Não foi detectada alteração epigenética comum aos pacientes com diagnóstico clínico de SRS, explicável provavelmente pela heterogeneidade clínica. A investigação de metilação global, utilizando microarray, produziu novos dados que podem contribuir para a compreensão de mecanismos moleculares que influenciam o crescimento pré- e pós-natal. Na translocação aparentemente equilibrada - t(5;6)(q35.2;p22.3)dn, detectada em paciente com suspeita clínica de SRS, a interrupção de um gene, pela quebra no cromossomo 6, pode ser a causa do quadro clínico; alternativamente, a translocação pode ter impactado a regulação de genes de desenvolvimento localizados próximos aos pontos de quebra. A análise de expressão em sangue periférico mostrou que os níveis de cDNA do gene, interrompido pelo ponto de quebra da translocação, estavam reduzidos à metade. Além de sinais típicos da SRS, a paciente apresentava algumas características clínicas sugestivas de displasia cleidocraniana. Assim, a translocação t(5;6) pode ter alterado a interação de genes de desenvolvimento e seus elementos reguladores, levando à desregulação de sua expressão espaço-temporal, e resultando num fenótipo atípico, com características sobrepostas de mais de uma síndrome genética

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Student notebook of Samuel Dunbar, 1721-1722

This leather-bound volume contains substantial transcriptions copied by Samuel Dunbar from textbooks while he was a student at Harvard in 1721 and 1722. There is a general index to texts at the end of the volume. Dunbar's notebook provides a window into the state of higher education in the eighteenth century and offers a firsthand account of academic life at Harvard College. Notably, he often indicated the number of days spent copying texts into his book.

Quaedam Theses extractae potissimii ex Enchiridio Metaphisico ca. 1718

Small paper notebook with a handwritten copy of a Latin text titled “Quaedam Theses extractae potissimii ex Enchiridio Metaphisico” attributed to John Clark and J. Remington and copied by a Harvard student, likely Richard Dana (Harvard AB 1718). The text is a précis of sections of Jean Le Clerc's "Ontologia et Pneumatologia" prepared by Harvard Tutor Jonathan Remington (Harvard AB 1696). The paper cover is inscribed “Carpenter” and the first page includes the inscriptions “Rosewell Saltonstall,” “Ezra Carpenter,” and "R. Dana” indicating the book was once owned by Harvard students Richard Dana (Harvard AB 1718), Roswell Saltonstall (Harvard AB 1720), and Ezra Carpenter (Harvard AB 1720).

Student notebook of James Varney, 1721-1725

The bound notebook contains academic texts copied by Harvard student James Varney in the early 1720s. The texts are written tête-bêche (where both ends of the volume are used to begin writing). The front paste-down endpaper reads 'James Varney his book 1724,' and the rear paste-down endpaper reads 'Joseph Lovett' [AB 1728].

Student notebook of Marston Cabot, ca. 1720-1735

This leather-bound volume contains excerpts copied by Marston Cabot from books he read while he was a student at Harvard in 1723. The volume includes extracts from Charles Morton's 1687 Compendium Physicae (titled "of Phisicks" by Cabot), Dr. Adriani Heereboord (Adrianus Heereboord), Philosophia Naturalis and Johanne-Henrico Alstedio’s (John Henry Alsted) geometry text Compendium Geometria. The excerpts from Compendium Geometria include both figures and text, primarily in Latin with some Greek. The volume also includes “Theses quaedam extractae potissimum ex Enchiridio Metaphysico Domini Johannis Clerici" a précis of Jean Le Clerc's Ontologia et Pneumatologia made by Jonathan Remington, a Harvard Tutor from 1703 to 1711, to serve in place of printed textbooks. The names Jonathan Jackson and Edward Jackson are written on the inside cover, suggesting the book may have been handed down to Edward Jackson (Class of 1726) and his son Jonathan Jackson (Class of 1761). The text of the volume is in Marston Cabot's hand.