Towards Parallel Repair Using Decompositions

Ontology repair remains one of the main bottlenecks for the development of ontologies for practical use. Many automated methods have been developed for suggesting potential repairs, but ultimately human intervention is required for selecting the adequate one, and the human expert might be overwhelmed by the amount of information delivered to her. We propose a decomposition of ontologies into smaller components that can be repaired in parallel. We show the utility of our approach for ontology repair, provide algorithms for computing this decomposition through standard reasoning, and study the complexity of several associated problems

Complex critical exponents for percolation transitions in Josephson-junction arrays, antiferromagnets, and interacting bosons

We show that the critical behavior of quantum systems undergoing a percolation transition is dramatically affected by their topological Berry phase $2\pi\rho$. For irrational $\rho$, we demonstrate that the low-energy excitations of diluted Josephson-junctions arrays, quantum antiferromagnets, and interacting bosons are spinless fermions with fractal spectrum. As a result, critical properties not captured by the usual Ginzburg-Landau-Wilson description of phase transitions emerge, such as complex critical exponents, log-periodic oscillations and dynamically broken scale-invariance.Comment: revised version accepted for publication in Phys. Rev. Let

Building Model Object Classification for Semantic Enrichment Using Geometric Features and Pairwise Spatial Relations

Semantic enrichment is a process of supplementing/correcting information in a poorly prepared BIM model. Object classifications are essential information, but are commonly missing or incorrectly represented when transferring a BIM model or creating a model using tools customized for other domains in design. Automated compilation of 'as-is' BIM models from point cloud data also requires object classification, as well as 3D reconstruction. We present a systematic approach to classifying objects in a BIM model, for use in future semantic enrichment systems. Previous work on object classification in BIM model enrichment was restricted by its limited ability to accurately interpret geometric and spatial features and by the constraints of Boolean logic rules and the rule compilation process. To address these issues, we propose a procedure for establishing a knowledge base that associates objects with their features and relationships, and a matching algorithm based on a similarity measurement between the knowledge base and facts. An implementation on a synthetic bridge model shows that whereas some objects can be classified by shape features alone, most objects require the use of spatial relations for unique classification. Spatial context is more likely to uniquely identify an object than shape features are

Polymorphism of Sildenafil: A New Metastable Desolvate

A new anhydrous polymorph of the free base of sildenafil and two solvates (acetonitrile and propanenitrile) have been discovered and fully characterized. The new polymorph can be considered a desolvate of the acetonitrile solvate and is related to the most stable form I by morphotropism. The new polymorph can only be obtained by desolvation of the acetonitrile solvate. Thus, this study is a new example of the importance of this multicomponent family of solid forms in the discovery of new polymorphs of active pharmaceutical ingredients

Morphotropism and 'Quasi-Isostructurality' in the Three High Z′ Concomitant Polymorphs of Efinaconazole

The crystal structures of the three efinaconazole anhydrous forms have been solved by single-crystal X-ray diffraction showing a very rare case of nearly isostructural polymorphism. The analysis of their crystal structures revealed that forms I and III are 'quasi-isostructural' polymorphs and are morphotropically related to form II. The identical conformational and supramolecular environment can explain the concomitant polymorphism phenomenon observed for this important active pharmaceutical ingredient

Anthropogenic Renourishment Feedback on Shorebirds: a Multispecies Bayesian Perspective

In this paper the realized niche of the Snowy Plover (Charadrius alexandrinus), a primarily resident Florida shorebird, is described as a function of the scenopoetic and bionomic variables at the nest-, landscape-, and regional-scale. We identified some possible geomorphological controls that influence nest-site selection and survival using data collected along the Florida Gulf coast. In particular we focused on the effects of beach replenishment interventions on the Snowy Plover (SP), and on the migratory Piping Plover	(PP)	(Charadrius	melodus )	and	Red	Knot	(RK)	(Calidris	canutus ).	Additionally, we investigated the potential differences between the SP breeding and wintering distributions using only regional-scale physiognomic variables and the recorded occur- rences. To quantify the relationship between past renourishment projects and shorebird species we used a Monte Carlo procedure to sample from the posterior distribution of the binomial probabilities that a region is not a nesting or a wintering ground conditional on the occurrence of a beach replenishment intervention in the same and the previous year. The results indicate that it was 2.3, 3.1, and 0.8 times more likely that a region was not a wintering ground following a year with a renourishment intervention for the SP, PP and RK respectively. For the SP it was 2.5. times more likely that a region was not a breeding ground after a renourishment event. Through a maximum entropy principle model we observed small differences in the habitat use of the SP during the breeding and the wintering season. However the habitats where RK was observed appeared quite different. While ecological niche models at the macro-scale are useful for determining habitat suitability ranges, the characterization of the species’ local niche is fundamentally important for adopting concrete multi-species management scenarios. Maintaining and creating optimal suitable habitats for SP characterized by sparse low vegetation in the foredunes areas, and uneven/low-slope beach surfaces, is the proposed conservation scenario to convert anthropic beach restorations and SP populations into a positive feedback without impacting other threatened shorebird species

In vitro identification and in silico utilization of interspecies sequence similarities using GeneChip(® )technology

BACKGROUND: Genomic approaches in large animal models (canine, ovine etc) are challenging due to insufficient genomic information for these species and the lack of availability of corresponding microarray platforms. To address this problem, we speculated that conserved interspecies genetic sequences can be experimentally detected by cross-species hybridization. The Affymetrix platform probe redundancy offers flexibility in selecting individual probes with high sequence similarities between related species for gene expression analysis. RESULTS: Gene expression profiles of 40 canine samples were generated using the human HG-U133A GeneChip (U133A). Due to interspecies genetic differences, only 14 ± 2% of canine transcripts were detected by U133A probe sets whereas profiling of 40 human samples detected 49 ± 6% of human transcripts. However, when these probe sets were deconstructed into individual probes and examined performance of each probe, we found that 47% of human probes were able to find their targets in canine tissues and generate a detectable hybridization signal. Therefore, we restricted gene expression analysis to these probes and observed the 60% increase in the number of identified canine transcripts. These results were validated by comparison of transcripts identified by our restricted analysis of cross-species hybridization with transcripts identified by hybridization of total lung canine mRNA to new Affymetrix Canine GeneChip(®). CONCLUSION: The experimental identification and restriction of gene expression analysis to probes with detectable hybridization signal drastically increases transcript detection of canine-human hybridization suggesting the possibility of broad utilization of cross-hybridizations of related species using GeneChip technology

SeeBridge Information Delivery Manual (IDM) for Next Generation Bridge Inspection

Innovative solutions for rapid and intelligent survey and assessment methods are required in maintenance, repair, retrofit and rebuild of enormous numbers of bridges in service throughout the world. Motivated by this need, a next-generation integrated bridge inspection system named SeeBridge is proposed. To frame the system, an Information Delivery Manual (IDM) was compiled to specify the technical components, activities and information exchanges in the SeeBridge process. The IDM supports development of the system by rigorously defining the information and data repositories that structure bridge engineers’ knowledge. The SeeBridge process is mapped, parts of the data repositories are presented and the future use of the IDM is discussed

Derisking Development by a Cocrystallization Screen of a Novel Selective Inhaled JAK-STAT inhibitor

The discovery and detailed characterization of several new solid forms of a novel selective inhaled JAK-STAT inhibitor are described. Using a holistic cocrystallization screen approach to explore its formulation landscape, we decrease the risk of future potential development failures due to a nonoptimal pharmacokinetic lung profile or undesired lung effects in humans