Astrea: Automatic Generation of SHACL Shapes from Ontologies
Ontology highlight
ABSTRACT:
SUBMITTER: Harth A
PROVIDER: S-EPMC7250618 | biostudies-literature | 2020 May
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:3D objects (artifacts) are made to fulfill functions. Designing an object often starts with defining a list of functionalities or affordances (action possibilities) that it should provide, known as functional requirements. Today, designing 3D object models is still a slow and difficult activity, with few Computer-Aided Design (CAD) tools capable to explore the design solution space. The purpose of this study is to explore shape generation conditioned on desired affordances. We introduce an algorithm for generating voxelgrid object shapes which afford the desired functionalities. We follow the principle form follows function, and assume that object forms are related to affordances they provide (their functions). First, we use an artificial neural network to learn a function-to-form mapping from a dataset of affordance-labeled objects. Then, we combine forms providing one or more desired affordances, generating an object shape expected to provide all of them. Finally, we verify in simulation whether the generated object indeed possesses the desired affordances, by defining and executing affordance tests on it. Examples are provided using the affordances contain-ability, sit-ability, and support-ability.
| S-EPMC7240024 | biostudies-literature
Project description:Researchers design ontologies as a means to accurately annotate and integrate experimental data across heterogeneous and disparate data- and knowledge bases. Formal ontologies make the semantics of terms and relations explicit such that automated reasoning can be used to verify the consistency of knowledge. However, many biomedical ontologies do not sufficiently formalize the semantics of their relations and are therefore limited with respect to automated reasoning for large scale data integration and knowledge discovery. We describe a method to improve automated reasoning over biomedical ontologies and identify several thousand contradictory class definitions. Our approach aligns terms in biomedical ontologies with foundational classes in a top-level ontology and formalizes composite relations as class expressions. We describe the semi-automated repair of contradictions and demonstrate expressive queries over interoperable ontologies. Our work forms an important cornerstone for data integration, automatic inference and knowledge discovery based on formal representations of knowledge. Our results and analysis software are available at http://bioonto.de/pmwiki.php/Main/ReasonableOntologies.
| S-EPMC3138764 | biostudies-literature
Project description:Ontology matching is a growing field of research that is of critical importance for the semantic web initiative. The use of background knowledge for ontology matching is often a key factor for success, particularly in complex and lexically rich domains such as the life sciences. However, in most ontology matching systems, the background knowledge sources are either predefined by the system or have to be provided by the user. In this paper, we present a novel methodology for automatically selecting background knowledge sources for any given ontologies to match. This methodology measures the usefulness of each background knowledge source by assessing the fraction of classes mapped through it over those mapped directly, which we call the mapping gain. We implemented this methodology in the AgreementMakerLight ontology matching framework, and evaluate it using the benchmark biomedical ontology matching tasks from the Ontology Alignment Evaluation Initiative (OAEI) 2013. In each matching problem, our methodology consistently identified the sources of background knowledge that led to the highest improvements over the baseline alignment (i.e., without background knowledge). Furthermore, our proposed mapping gain parameter is strongly correlated with the F-measure of the produced alignments, thus making it a good estimator for ontology matching techniques based on background knowledge.
| S-EPMC4224389 | biostudies-literature
Project description:The objective definition of footprint margins poses a central problem in ichnology. The transition from the footprint to the surrounding sediment is often continuous, and the footprint wall complex, requiring interpolation, approximation, and a priori assumptions about trackmaker anatomy to arrive at feasible interpretations of footprint shapes. The degree of subjectivity of such interpretations is substantial, and outlines produced by separate researchers can differ greatly. As a consequence, statistical shape analysis, regardless if based on linear and angular measurements or on the shape as a whole, are neither fully repeatable nor objective. Here I present an algorithm implemented in the programming environment R that is able to generate continuous footprint outlines based on three-dimensional models-fully automatically, objectively, and repeatable. The approach, which is based on contour lines extracted from the model, traces the outline at the point where the slope of the track wall is steepest. An option for automatic landmark placement is implemented for tridactyl footprints. A case study was carried out on 13 footprints of a single trackway of a theropod trackmaker from the Lower Cretaceous of Münchehagen, Germany. Analysis of the landmark coordinates returned by the script did reproduce statistical results published in an earlier study that was based on human-made interpretative drawings, demonstrating the applicability of the present method for the objective and quantitative shape analysis of tracks. Although faint anatomical details are not always recorded and features not related to the foot anatomy may be included, the generated outlines tend to correspond with human-made interpretative drawings regarding the overall shape. While not suited as a full replacement of interpretative drawings, these generated outlines may be used as an objective basis for such interpretations.
| S-EPMC6599673 | biostudies-literature
Project description:BackgroundThe ability to compare RNA secondary structures is important in understanding their biological function and for grouping similar organisms into families by looking at evolutionarily conserved sequences such as 16S rRNA. Most comparison methods and benchmarks in the literature focus on pseudoknot-free structures due to the difficulty of mapping pseudoknots in classical tree representations. Some approaches exist that permit to cluster pseudoknotted RNAs but there is not a general framework for evaluating their performance.ResultsWe introduce an evaluation framework based on a similarity/dissimilarity measure obtained by a comparison method and agglomerative clustering. Their combination automatically partition a set of molecules into groups. To illustrate the framework we define and make available a benchmark of pseudoknotted (16S and 23S) and pseudoknot-free (5S) rRNA secondary structures belonging to Archaea, Bacteria and Eukaryota. We also consider five different comparison methods from the literature that are able to manage pseudoknots. For each method we clusterize the molecules in the benchmark to obtain the taxa at the rank phylum according to the European Nucleotide Archive curated taxonomy. We compute appropriate metrics for each method and we compare their suitability to reconstruct the taxa.
| S-EPMC10268371 | biostudies-literature
Project description:Several sign language datasets are available in the literature. Most of them are designed for sign language recognition and translation. This paper presents a new sign language dataset for automatic motion generation. This dataset includes phonemes for each sign (specified in HamNoSys, a transcription system developed at the University of Hamburg, Hamburg, Germany) and the corresponding motion information. The motion information includes sign videos and the sequence of extracted landmarks associated with relevant points of the skeleton (including face, arms, hands, and fingers). The dataset includes signs from three different subjects in three different positions, performing 754 signs including the entire alphabet, numbers from 0 to 100, numbers for hour specification, months, and weekdays, and the most frequent signs used in Spanish Sign Language (LSE). In total, there are 6786 videos and their corresponding phonemes (HamNoSys annotations). From each video, a sequence of landmarks was extracted using MediaPipe. The dataset allows training an automatic system for motion generation from sign language phonemes. This paper also presents preliminary results in motion generation from sign phonemes obtaining a Dynamic Time Warping distance per frame of 0.37.
| S-EPMC10744067 | biostudies-literature
Project description:Accurate measurement of B and T cell responses is a valuable tool to study autoimmunity, allergies, immunity to pathogens, and host-pathogen interactions and assist in the design and evaluation of T cell vaccines and immunotherapies. In this context, it is desirable to elucidate a method to select validated reference sets of epitopes to allow detection of T and B cells. However, the ever-growing information contained in the Immune Epitope Database (IEDB) and the differences in quality and subjects studied between epitope assays make this task complicated. In this study, we develop a novel method to automatically select reference epitope sets according to a categorization system employed by the IEDB. From the sets generated, three epitope sets (EBV, mycobacteria and dengue) were experimentally validated by detection of T cell reactivity ex vivo from human donors. Furthermore, a web application that will potentially be implemented in the IEDB was created to allow users the capacity to generate customized epitope sets.
| S-EPMC4629045 | biostudies-literature
Project description:BACKGROUND: The use of ontologies to control vocabulary and structure annotation has added value to genome-scale data, and contributed to the capture and re-use of knowledge across research domains. Gene Ontology (GO) is widely used to capture detailed expert knowledge in genomic-scale datasets and as a consequence has grown to contain many terms, making it unwieldy for many applications. To increase its ease of manipulation and efficiency of use, subsets called GO slims are often created by collapsing terms upward into more general, high-level terms relevant to a particular context. Creation of a GO slim currently requires manipulation and editing of GO by an expert (or community) familiar with both the ontology and the biological context. Decisions about which terms to include are necessarily subjective, and the creation process itself and subsequent curation are time-consuming and largely manual. RESULTS: Here we present an objective framework for generating customised ontology slims for specific annotated datasets, exploiting information latent in the structure of the ontology graph and in the annotation data. This framework combines ontology engineering approaches, and a data-driven algorithm that draws on graph and information theory. We illustrate this method by application to GO, generating GO slims at different information thresholds, characterising their depth of semantics and demonstrating the resulting gains in statistical power. CONCLUSIONS: Our GO slim creation pipeline is available for use in conjunction with any GO-annotated dataset, and creates dataset-specific, objectively defined slims. This method is fast and scalable for application to other biomedical ontologies.
| S-EPMC3098080 | biostudies-literature
Project description:BackgroundThe number of sequenced eukaryotic genomes is rapidly increasing. This means that over time it will be hard to keep supplying customised gene finders for each genome. This calls for procedures to automatically generate species-specific gene finders and to re-train them as the quantity and quality of reliable gene annotation grows.ResultsWe present a procedure, Agene, that automatically generates a species-specific gene predictor from a set of reliable mRNA sequences and a genome. We apply a Hidden Markov model (HMM) that implements explicit length distribution modelling for all gene structure blocks using acyclic discrete phase type distributions. The state structure of the each HMM is generated dynamically from an array of sub-models to include only gene features represented in the training set.ConclusionAcyclic discrete phase type distributions are well suited to model sequence length distributions. The performance of each individual gene predictor on each individual genome is comparable to the best of the manually optimised species-specific gene finders. It is shown that species-specific gene finders are superior to gene finders trained on other species.
| S-EPMC1522026 | biostudies-literature
Project description:BackgroundPotato seed tubers are colonized and inhabited by soil-borne microbes, that can affect the performance of the emerging daughter plant in the next season. In this study, we investigated the intergenerational inheritance of microbiota from seed tubers to next-season daughter plants under field condition by amplicon sequencing of bacterial and fungal microbiota associated with tubers and roots, and tracked the microbial transmission from different seed tuber compartments to sprouts.ResultsWe observed that field of production and potato genotype significantly (P < 0.01) affected the composition of the seed tuber microbiome and that these differences persisted during winter storage of the seed tubers. Remarkably, when seed tubers from different production fields were planted in a single trial field, the microbiomes of daughter tubers and roots of the emerging plants could still be distinguished (P < 0.01) according to the production field of the seed tuber. Surprisingly, we found little vertical inheritance of field-unique microbes from the seed tuber to the daughter tubers and roots, constituting less than 0.2% of their respective microbial communities. However, under controlled conditions, around 98% of the sprout microbiome was found to originate from the seed tuber and had retained their field-specific patterns.ConclusionsThe field of production shapes the microbiome of seed tubers, emerging potato plants and even the microbiome of newly formed daughter tubers. Different compartments of seed tubers harbor distinct microbiomes. Both bacteria and fungi on seed tubers have the potential of being vertically transmitted to the sprouts, and the sprout subsequently promotes proliferation of a select number of microbes from the seed tuber. Recognizing the role of plant microbiomes in plant health, the initial microbiome of seed tubers specifically or planting materials in general is an overlooked trait. Elucidating the relative importance of the initial microbiome and the mechanisms by which the origin of planting materials affect microbiome assembly will pave the way for the development of microbiome-based predictive models that may predict the quality of seed tuber lots, ultimately facilitating microbiome-improved potato cultivation.
| S-EPMC10882817 | biostudies-literature