Ontologies for representation of folk song metadata

The digital management of collections in museums, archives, libraries and galleries is an increasingly important part of cultural heritage studies. This paper describes a representation for folk song metadata, based on the Web Ontology Language (OWL) implementation of the CIDOC Conceptual Reference Model. The OWL representation facilitates encoding and reasoning over a genre ontology, while the CIDOC model enables a representation of complex spatial containment and proximity relations among geographic regions. It is shown how complex queries of folk song metadata, relying on inference and not only retrieval, can be expressed in OWL and solved using a description logic reasoner.

Técnicas Conceptuales en la Gestión de Proyectos Software

205 p.

飞秒强激光场中大尺寸氩团簇爆炸机理的实验研究

By using time-of-flight spectroscopy, the ionization and explosion of large argon clusters ( (n) over bar = 3 x 10(3) - 3 x 10(6)) in the intense femtosecond pulsed laser field (60 fs,2 x 10(16) W/cm(2)) has been studied, and the dependence of average energy of ions emitted from argon clusters on the gas backing pressure has been measured. By comparing the average ion energies obtained with two different supersonic conical nozzles and considering the Hagena's scaling law of clusters, we have found that the average ion energy is determined by the cluster size when the laser parameters are kept unchanged. The experimental results indicated that when the cluster size is less than 3 x 10(5) atoms per cluster, the Coulomb repulsion force is the dominating factor in the expansion mechanism. Beyond this size, for 3 x 10(5) < (n) over barn < 3 x 10(6), the expansion is the result of the combined effect of both the Coulomb repulsion force and the hydrodynamic force, and the latter will play the dominating role for increasing cluster size.

A Comparison of the SNP Variation in the Calcification PMCA Gene of Lottia gigantea between a Santa Barbara Population and a More Acidic Monterey Bay Population

As the atmospheric levels of CO2 rise from human activity, the carbonic acid levels of the ocean increase, causing ocean acidification. This increase in acidity breaks down the calcified bodies that many marine organisms depend upon. Upwelling regions such as Monterey Bay in California have pH levels that are not expected to reach the open ocean for a few decades. This study reviews one of the common intertidal animals of the California coast, the Owl Limpet Lottia gigantea, and its genetic variation of the plasma membrane Ca2+ ATPase (PMCA) in relation to the acidity of its environment. The PMCA protein functions in the calcification process of many organisms. Specifically in limpets, this gene functions to form its protective shell. Single-nucleotide polymorphisms (SNPs) were found among five sections of the gene to determine variation between the acidic environment population in Monterey, California and the non-acidic environment population in Santa Barbara, California. While some variation was determined, the Monterey Bay and Santa Barbara Lottia gigantea populations are not significantly distinct at the PMCA gene. Sections B, C, and D were found to be linked. Only one location in Section B was found to have an amino acid change within an exon. Section A has the strongest connection to the sampling location. Monterey individuals were seen to be more genetically recognizable, while Santa Barbara individuals showed slightly more variation. Understanding the trends of ocean acidification, upwelling region activities, and population genetics will assist in determining how the ocean environment will behave in the future.

Executing SADI services in Galaxy

Background: In recent years Galaxy has become a popular workflow management system in bioinformatics, due to its ease of installation, use and extension. The availability of Semantic Web-oriented tools in Galaxy, however, is limited. This is also the case for Semantic Web Services such as those provided by the SADI project, i.e. services that consume and produce RDF. Here we present SADI-Galaxy, a tool generator that deploys selected SADI Services as typical Galaxy tools. Results: SADI-Galaxy is a Galaxy tool generator: through SADI-Galaxy, any SADI-compliant service becomes a Galaxy tool that can participate in other out-standing features of Galaxy such as data storage, history, workflow creation, and publication. Galaxy can also be used to execute and combine SADI services as it does with other Galaxy tools. Finally, we have semi-automated the packing and unpacking of data into RDF such that other Galaxy tools can easily be combined with SADI services, plugging the rich SADI Semantic Web Service environment into the popular Galaxy ecosystem. Conclusions: SADI-Galaxy bridges the gap between Galaxy, an easy to use but "static" workflow system with a wide user-base, and SADI, a sophisticated, semantic, discovery-based framework for Web Services, thus benefiting both user communities.

Disponibilidad de micromamíferos en el área de campeo del cárabo común en los bosques de Burceña (Valle de Mena): Primeros resultados del estudio

[ES] Este trabajo forma parte de un proyecto en el que se estudian dos poblaciones de cárabo común (Strix aluco); una en Durango (Bizkaia) y otra en Burceña (Burgos). Este trabajo se ha llevado a cabo en Burceña y en él se muestran los primeros resultados del uso del espacio de estas rapaces nocturnas y su disponibilidad de alimento en los bosques de esta zona. Para ello hemos obtenido localizaciones de diez cárabos durante un año para conocer los territorios de cada uno y hemos capturado en vivo la dieta principal de esta ave, micromamíferos. Estos resultados los hemos relacionado entre sí para saber si influye el uso del espacio en las capturas de micromamíferos. Estas dos variables también las hemos relacionado con el tipo y la edad de los bosques muestreados. Según los resultados obtenidos podemos afirmar que sí existe una influencia del uso en las capturas, demostrando una relación negativa; es decir, donde se han capturado más micromamíferos es en los bosques que menos frecuentan los cárabos, que a su vez, son los bosques menos accesibles para estas rapaces. ABSTRACT This investigation is part of a work project whereby two Tawny owl (Strix aluco) populations are studied. One of them lives in Durango, Biscay and the other one in Burceña, Burgos. This specific work took place in Burceña and lasted one year. It shows the first results of the study on the use of the space of the Tawny owls and the food availability in their woodland range area. We spotted and traced the home range of ten different tawny owls, and also trapped small mammals which are the staple diet of these owls. We compared both the results obtained in order to know if the use of the area is related to the capture of small mammals. These two variables (space-capture) were also related to the type and age of the sampled forests. The results obtained show that it is true there is an influence of the use of space upon the captures proving to be a negative relation, that is, the largest numbers of micromammals were captured in the woodlands where there are fewer owls, because they are the least accessible forests for these birds of prey.

Aspectos de segurança, persistência e nomeação em agentes de recursos para Internet das coisas

A realização da Internet das Coisas (Internet of Things, IoT) requer a integração e interação de dispositivos e serviços com protocolos de comunicação heterogêneos. Os dados gerados pelos dispositivos precisam ser analisados e interpretados em concordância com um modelo de dados em comum, o que pode ser solucionado com o uso de tecnologias de modelagem semântica, processamento, raciocínio e persistência de dados. A computação ciente de contexto possui soluções para estes desafios com mecanismos que associam os dados de contexto com dados coletados pelos dispositivos. Entretanto, a IoT precisa ir além da computação ciente de contexto, sendo simultaneamente necessário soluções para aspectos de segurança, privacidade e escalabilidade. Para integração destas tecnologias é necessário o suporte de uma infraestrutura, que pode ser implementada como um middleware. No entanto, uma solução centralizada de integração de dispositivos heterogêneos pode afetar escalabilidade. Assim esta integração é delegada para agentes de software, que são responsáveis por integrar os dispositivos e serviços, encapsulando as especificidades das suas interfaces e protocolos de comunicação. Neste trabalho são explorados os aspectos de segurança, persistência e nomeação para agentes de recursos. Para este fim foi desenvolvido o ContQuest, um framework, que facilita a integração de novos recursos e o desenvolvimento de aplicações cientes de contexto para a IoT, através de uma arquitetura de serviços e um modelo de dados. O ContQuest inclui soluções consistentes para os aspectos de persistência, segurança e controle de acesso tanto para os serviços de middleware, como para os Agentes de Recursos, que encapsulam dispositivos e serviços, e aplicações-clientes. O ContQuest utiliza OWL para a modelagem dos recursos e inclui um mecanismo de geração de identificadores únicos universais nas ontologias. Um protótipo do ContQuest foi desenvolvido e validado com a integração de três Agentes de Recurso para dispositivos reais: um dispositivo Arduino, um leitor de RFID e uma rede de sensores. Foi também realizado um experimento para avaliação de desempenho dos componentes do sistema, em que se observou o impacto do mecanismo de segurança proposto no desempenho do protótipo. Os resultados da validação e do desempenho são satisfatórios

COMPARISON OF MASTICATORY MORPHOLOGY BETWEEN RHINOPITHECUS-BIETI AND R-ROXELLANA

The masticatory apparatus for two endemic species of golden monkey in China, Rhinopithecus bieti and Rhinopithecus roxellana, were compared with those of macaques, Macaca and leaf monkeys, Presbytis. Multivariate analyses demonstrated that the two golden monkey species are distinct. Interspecies allometric analyses revealed that golden monkeys differ in their masticatory apparatus from both macaques and leaf monkeys. The prominent symphysial fusion, corpus, and sagittal condylar dimension of R. roxellana may produce efficient biting force on the incisal and posterior canine teeth, with the heavy reaction force barn on the temporomandibular joint. However, the well-developed bizygamatic width and mandibular height in R. bieti suggest that posterior canine function is similarly prominent in R. roxellana, while incisal function is not. (C) 1995 Wiley-Liss, Inc.

Parametric guidance for turbulent noise reduction from poroelastic trailing edges and owls

The interaction of a turbulent eddy with a semi-infinite, poroelastic edge is examined with respect to the effects of both elasticity and porosity on the efficiency of aerodynamic noise generation. The edge is modelled as a thin plate poroelastic plate, which is known to admit fifth-, sixth-, and seventh-power noise dependences on a characteristic velocity U of the turbulent eddy. The associated acoustic scattering problem is solved using the Wiener-Hopf technique for the case of constant plate properties. For the special cases of porous-rigid and impermeable-elastic plate conditions, asymptotic analysis of the Wiener- Hopf kernel function furnishes the parameter groups and their ranges where U5, U6, and U7 behaviours are expected to occur. Results from this analysis attempt to help guide the search for passive edge treatments to reduce trailing-edge noise that are inspired by the wing features of silently flying owls. Furthermore, the appropriateness of the present model to the owl noise problem is discussed with respect to the acoustic frequencies of interest, wing chord-lengths, and foraging behaviour across a representative set of owl species.

语义Web规则标记语言OWLRule+的设计与实现

语义Web是对未来Web体系结构的一个伟大设想 ,其研究分层次进行 目前足够成熟的最高层是以OWL���言为代表的ontology层 但它的语义仅限于描述逻辑 ,该逻辑主要表示对象和类的层次结构 ,而规则的表达能力弱 因此在其之上需要一种表达力更丰富的逻辑语言 设计了一种新的语义Web规则标记语言OWLRule+:其语法扩展了OWL ;语义基于CARIN ,一种结合描述逻辑和Horn规则的表示语言 ;实现基于Jess规则推理机 实例学习展示了它对目前的Webontology语言在规则表示和推理能力上的扩展

语义Web服务匹配与发现技术研究

在开放的互联网环境中，面向服务的计算（Service-Oriented Computing, SOC）和面向服务的体系架构（Service-Oriented Architecture, SOA）使得信息资源和软件系统的主要形态发生了巨大变化，并引领着互联网计算技术和软件系统新的发展方向。服务是SOC和SOA的核心思想，服务的平台独立、高可重用和松散耦合等特性使之成为复杂分布式应用可行的解决方案。Web服务的出现和发展为实施与部署SOC和SOA提供了最佳支撑技术。目前web服务发现机制在服务描述的全面性和服务匹配方法的有效性方面存在不足之处，难以保证服务发现的性能。特别是在服务数量剧增的情况下，用户亟需一种自动快速而准确的服务发现机制。语义web技术不仅为web的表示内容提供了一种语义标识方法，推动了web内容的自动化和智能化搜索，也为web服务的描述提供了增加语义层次内容的有效方法，两者的结合形成了一个新的研究领域——语义web服务。该领域通过借鉴语义web的相关技术来增加web服务的语义描述，进而为web服务的发现、组合、调用和监控等环节提供语义层次的支持，增强web服务的自动化和智能化水平。 本文的研究目的就是利用语义web的思想，基于SOC和SOA的理念以及现有的web服务发现机制对web服务信息进行语义描述、组织，探索语义web服务匹配与发现的关键问题，提出有效的解决方案。本文的研究工作和贡献主要在以下四个方面： 1. 针对语义近似度的度量和计算问题基于OWL���Web Ontology Language）提出了一个语义近似度计算SSM模型，该模型中所有概念及概念之间的关系、所有的概念属性及属性之间的关系都被抽象定义并建模，根据概念、属性及其语义关系模型，构建了基于概念关系的拓扑近似度计算函数和属性近似度计算函数，从而进一步构建语义近似度计算函数。该语义近似度计算函数以代表OWL���体概念上下级关系和等价关系的树状结构为基础，利用概念间的拓扑关系和属性关系进行语义近似度的度量和计算。语义近似度函数的返回值为一个介于0与1之间的数值，代表函数的两个输入概念之间的语义近似度值。 2. 提出了一个基于概念语义近似度的以OWL-S为顶层本体的web服务语义匹配PSM模型。该模型将服务的匹配项分为服务能力、服务质量、服务名称和服务参数四个部分。基于该模型，提出了相应的PSM服务匹配算法。PSM算法能够对服务内部的服务流程及流程的组合进行与服务请求的语义匹配，并且避免了服务流程中互斥接口参数参与匹配。而且PSM匹配算法实现了服务接口的单射匹配，进一步提高服务发现的性能。在服务质量匹配计算上，提出了服务质量匹配模型PSM-QoS，为服务的QoS匹配建立了计算基础。PSM算法使用语义近似度计算函数度量和计算服务属性概念的语义近似度值，从而能够返回细粒度的服务匹配度值。 3. 在语义服务匹配PSM模型的基础上提出一种语义web服务发现架构系统PSM-SD模型。该模型将OWL-S语义元素引入UDDI服务描述，从而在UDDI中保存语义信息。通过PSM算法提高web服务匹配性能，并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性。模型使用本体概念的索引机制提高服务发现的效率。在建立和维护索引的过程或服务的匹配过程中，模型使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率。 4. 设计并开发了基于语义web服务发现架构模型的原型系统。该系统将语义近似度计算模型、语义web服务匹配模型和语义web服务发现架构模型进行软件实现。本文在该原型系统平台上对语义web服务发现的方法进行了实验，验证了方法的有效性。

TRIM5-CypA融合基因与北平顶猴易感HIV-1的机制研究

天然免疫分子TRIM5α（tripartite motif protein 5α）是近年来发现的一种重要的宿主细胞内逆转录病毒限制因子。在灵长类动物细胞中，TRIM5α蛋白可以在病毒进入细胞后、逆转录前的阶段抑制HIV-1、N-MLV和EIAV等逆转录病毒的复制。由于TRIM5α分子的作用，绝大部分旧大陆猴（Old World monkey）都不能感染HIV-1。而在新大陆猴（New World monkey）中，鹰猴是唯一不感染HIV-1的灵长类动物。研究证明，鹰猴细胞中存在的TRIM5-CypA融合蛋白（owl monkey TRIM5-CypA，omTRIMCyp）介导了抗HIV-1的作用，从而使鹰猴不能感染HIV-1。研究证明，平顶猴是旧大陆猴中唯一报道可以感染HIV-1的灵长类动物，但是其感染HIV-1的机制并不清楚。根据现行的灵长类动物分类学，原属平顶猴群体（M. nemestrina group）的三个亚种分为猕猴属的三个不同种：巽他平顶猴（Sunda pig-tailed macaque，M. nemestrina），北平顶猴（Northern pig-tailed macaque，M. leonina）和明打威猴（Mentawai macaque，M. pagensis）。本论文对中国云南境内北平顶猴TRIM5基因座和感染HIV-1的相关性进行了研究。通过PCR和测序对北平顶猴基因组TRIM5基因座进行分析，发现一个CypA假基因的cDNA通过逆转座机制插入至TRIM5基因座的3’-UTR区域，形成了一个不同于鹰猴TRIM5-CypA的新型融合基因npmTRIMCyp（northern pig-tailed macaque TRIM5-CypA）。通过RT-PCR对npmTRIMCyp融合基因的转录本进行分析，我们鉴定出npmTRIMCyp共有3种不同的选择性剪接产物，分别为npmTRIMCypV1-V3。进一步克隆和测序这3种不同选择性剪接体，通过丰度和序列分析证实：npmTRIMCypV2是优势剪接体，可能在该融合基因产物的功能中发挥作用。研究发现北平顶猴npmTRIMCyp融合基因主要转录本中外显子7和8均被剪切掉。外显子7剪接丢失机制源于TRIM5第6内含子内 3’剪接位点的G/T突变。我们克隆了npmTRIMCyp融合基因cDNA的蛋白编码区ORF，并构建了重组表达npmTRIMCyp的载体，转染HeLa和HeLa-T4细胞并获得稳定表达的细胞株。通过感染HIV-1证实，npmTRIMCyp融合蛋白不能够限制HIV-1的感染和复制，这可能是北平顶猴作为旧大陆猴中唯一对HIV-1易感的灵长类动物的重要分子机制之一。通过HIV-1感染灵长类动物PBMCs实验证实，北平顶猴可以感染HIV-1。npmTRIMCyp可以有效地限制HIV-2ROD的复制，但对SIVmac239只有十分微弱的限制活性。通过构建鹰猴omTRIMCyp和北平顶猴npmTRIMCyp的置换剪接体（SWAP-1和SWAP-2），转染融合基因及其置换剪接体的CRFK细胞激光共聚焦实验证明，npmTRIMCyp、SWAP1和SWAP2在细胞内主要存在于胞浆中。稳定表达融合蛋白和置换剪接体的CRFK细胞感染HIV-1-GFP-VSVG分析表明，含omTRIMCyp外显子7的SWAP-1和SWAP-2均具有限制HIV-1活性，但SWAP-1的活性更强一些，这表明TRIM5结构域的外显子7可能在介导对HIV-1的限制活性中发挥了协同辅助作用。免疫共沉淀研究表明，npmTRIMCyp不能识别和结合HIV-1的衣壳蛋白。对北平顶猴中介导识别逆转录病毒区域的基因组部分进行了测序，共鉴定出46个多态性位点，表明在北平顶猴识别逆转录病毒衣壳区域存在较高的多态性。

语义Web中描述逻辑本体的可伸缩推理和非一致处理

随着Web信息的与日俱增，使用机器处理这种信息成为一种必然的趋势。语义Web应运而生，成为当前研究的热点之一。它以本体为核心，为不同领域提供共享的词汇，以便机器处理Web信息。表达本体的标准语言OWL���描述逻辑为基础。OWL���体的推理可伸缩性差，难以适应规模较大的本体应用，因此推理可伸缩性问题是一个重要的实际问题。此外，OWL���体是一个逻辑系统，在生成、维护和集成等过程中，都很容易出现非一致现象，导致标准的推理机制不能正常运作。因此本体非一致问题是另一个重要的实际问题。针对上述两个实际问题，本文分别在实现可伸缩推理、修复非一致本体、以及进行非一致容忍推理三个方面提出了解决办法。 [可伸缩推理方面] 本文提出了一种本体断言公理集的划分方法，使本体推理能够在独立的划分子集中进行，以此提高本体推理的可伸缩性。 [本体修复方面] 本文提出了一种计算具有最小删除代价的本体子集的方法；通过删除这种本体子集，可以恢复本体的一致性。该方法将计算上述本体子集的问题归约为在命题逻辑程序中计算某种最优模型的问题，以调用现有的可满足性问题求解器来解决。 [非一致容忍推理方面] 本文将命题逻辑中字典序推理方法应用到描述逻辑中，以提供针对非一致本体的查询机制。本文还提出了一种在描述逻辑本体中进行字典序推理的方法。该方法将字典序结论的判定问题归约为命题可满足性判定问题，以调用现有的可满足性问题求解器来解决。

基于地理本体的空间数据库概念建模

针对用E-R模型建立空间数据库概念模型存在的不足之处,将本体论的思想和方法引入到地理信息领域。讨论了地理本体的意义及其表达语言。阐述了空间E-R模型的特点,分析了地理本体和空间E-R模型之间的关系。提出了以地理本体为语义基础设计空间ER模型的思想,并用扩展OWL���示的灌溉本体为例,介绍了从地理本体出发,设计空间E-R模型来建立空间数据库概念模型的方法。