Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
10
datasets available to search
ShareScore release 0.9.0
Dataset results
10 results for “Datalog”
DATALOG_Lambertseter_VGS_20190329_Sensor_2
<p>Measurements taken by a DIY sensor (Sensor 2) designed by the project air:bit (http://airbit.uit.no/#english). Measurements were taken by students of the school Lambertseter VGS, located in the district of Nordstrand in Oslo, Norway.</p>
Data from: Multimodal in situ datalogging quantifies inter-individual variation in thermal experience and persistent origin effects on gaping behavior among intertidal mussels (Mytilus californianus)
In complex habitats, environmental variation over small spatial scales can equal or exceed larger-scale gradients. This small-scale variation may allow motile organisms to mitigate stressful conditions by choosing benign microhabitats, whereas sessile organisms may rely on other behaviors to cope with environmental stresses in these variable environments. We developed a monitoring system to track body temperature, valve gaping behavior, and posture of individual mussels (Mytilus californianus) in field conditions in the rocky intertidal zone. Neighboring mussels' body temperatures varied by up to 14°C during low tides. Valve gaping during low tide and postural adjustments, which could theoretically lower body temperature, were not commonly observed. Rather, gaping behavior followed a tidal rhythm at a warm, high intertidal site; this rhythm shifted to a circadian period at a low intertidal site and for mussels continuously submerged in a tidepool. However, individuals within a site varied considerably in time spent gaping when submerged. This behavioral variation could be attributed in part to persistent effects of mussels' developmental environment. Mussels originating from a wave-protected, warm site gaped more widely, and they remained open for longer periods during high tide than mussels from a wave-exposed, cool site. Variation in behavior was modulated further by recent wave heights and body temperatures during the preceding low tide. These large ranges in body temperatures and durations of valve closure events - which coincide with anaerobic metabolism - support the conclusion that individuals experience "homogeneous" aggregations such as mussel beds in dramatically different fashion, ultimately contributing to physiological variation among neighbors.
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
<p>There has been increasing interest in enriching ontologies with meta-modeling and meta-querying for the past few years. Unfortunately, the Direct Semantics for OWL2 and SPARQL does not support meta-constructs in a satisfactory way: While meta-axioms (involving identifiers used both as a class and an individual) can be syntactically expressed using punning, different occurrences of the same identifier will be treated as different entities. For example, GoldenEagle used as an instance of EndangeredSpecies and also as a class containing individuals, will be treated as two separate, unrelated entities. Meta-queries (for example, asking for classes that also occur as individuals) are not allowed at all in SPARQL under the Direct Semantics Entailment Regime. To overcome this, a new semantic flavour for SPARQL, called Meta-modeling Semantics Entailment Regime (MSER), has been introduced. In previous work, Cima et al. have proposed a reduction from OWL 2 QL (a light-weight profile of OWL 2) and associated meta-queries in SPARQL to query answering over Datalog rules. In this paper, we experiment with various logic programming tools that support Datalog querying to determine their suitability as back-ends to MSER query answering. These tools stem from different logic programming paradigms (Prolog, pure Datalog, Answer Set Programming). Our work shows that the Datalog approach to MSER querying is practical also for sizeable ontologies.</p>
Datalog subsetting input files (Wikidata 2015 NTriple-to-CSV dump)
<p>This is a Wikidata 2015 NTriple dump in which the delimiter is changed to ','. The file is used in subsetting experiment via <a href="https://github.com/seyedahbr/radlog">Radlog</a>.</p>
Data from: Multimodal in situ datalogging quantifies inter-individual variation in thermal experience and persistent origin effects on gaping behavior among intertidal mussels (Mytilus californianus)
Open the record for dataset details and reuse information.
DATALOG_Lambertseter_VGS_20190329
<p>Measurements taken by a DIY sensor designed by the project air:bit (http://airbit.uit.no/#english). Measurements were taken by students of the school Lambertseter VGS, located in the district of Nordstrand in Oslo, Norway.</p>
gpu datalog dataset
Open the record for dataset details and reuse information.
PACT2019 Artifacts for "Fast Parallel Equivalence Relations in a Datalog Compiler"
<p>This is the official artifact for the paper "Fast Parallel Equivalence Relations in a Datalog Compiler" due to be published in PACT 2019.</p> <p>We provide a pre-built Docker image on Dockerhub (~1GB), fetch with:</p> <pre><code class="language-bash">sudo docker pull pnappa/pact2019_eqrel</code></pre> <p> </p> <p><strong>Alternatively</strong>, you may rebuild the Docker image from scratch (or install natively on a Debian-based system) by downloading this zip file, and following the instructions below.</p> <p>After downloading the artifacts.zip file to your computer, unzip it to reveal the following hierarchy:</p> <pre><code>pact2019_eqrel_artifacts/ ├── bitcoin_same_user/ ├── Dockerfile ├── microbenchmarks/ ├── openjdk_javalang_steensgaard/ ├── README.md └── souffle_1.5.1-1_amd64.deb </code></pre> <p>There are several options of installing - we recommend using Docker, although we provide instructions also for native installation of Debian-systems in the README.md.</p> <p>One can build a new Docker instance (which will take over an hour - grab a coffee!) through the command (when inside the pact2019_eqrel_artifacts directory):</p> <pre><code class="language-bash">sudo docker build --tag=pnappa/pact2019_eqrel .</code></pre> <p> </p> <p> </p> <p>To run & enter the container, run:</p> <pre><code class="language-bash">sudo docker container run -it pnappa/pact2019_eqrel</code></pre> <p>Refer to README.md for additional instructions in how to perform the experiments, and observe the findings.</p>
Datalog subsetting input files (Wikidata NTriple subsets)
<p>Two RDF susbets of Wikidata in NTriple format for being used in Souffle engine.</p>
Program Repair Guided by Datalog-Defined Program Analysis
<p><em>Anonymous</em></p>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.