TY - GEN
T1 - Evaluating scientific hypotheses using the SPARQL inferencing notation
AU - Callahan, Alison
AU - Dumontier, M.
PY - 2012
Y1 - 2012
N2 - Evaluating a hypothesis and its claims against experimental data is an essential scientific activity. However, this task is increasingly challenging given the ever growing volume of publications and data sets. Towards addressing this challenge, we previously developed hyque, a system for hypothesis formulation and evaluation. Hyque uses domain-specific rulesets to evaluate hypotheses based on well understood scientific principles. However, because scientists may apply differing scientific premises when exploring a hypothesis, flexibility is required in both crafting and executing rulesets to evaluate hypotheses. Here, we report on an extension of hyque that incorporates rules specified using the sparql inferencing notation (spin). Hypotheses, background knowledge, queries, results and now rulesets are represented and executed using semantic web technologies, enabling users to explicitly trace a hypothesis to its evaluation as linked data, including the data and rules used by hyque. We demonstrate the use of hyque to evaluate hypotheses concerning the yeast galactosegene system.
AB - Evaluating a hypothesis and its claims against experimental data is an essential scientific activity. However, this task is increasingly challenging given the ever growing volume of publications and data sets. Towards addressing this challenge, we previously developed hyque, a system for hypothesis formulation and evaluation. Hyque uses domain-specific rulesets to evaluate hypotheses based on well understood scientific principles. However, because scientists may apply differing scientific premises when exploring a hypothesis, flexibility is required in both crafting and executing rulesets to evaluate hypotheses. Here, we report on an extension of hyque that incorporates rules specified using the sparql inferencing notation (spin). Hypotheses, background knowledge, queries, results and now rulesets are represented and executed using semantic web technologies, enabling users to explicitly trace a hypothesis to its evaluation as linked data, including the data and rules used by hyque. We demonstrate the use of hyque to evaluate hypotheses concerning the yeast galactosegene system.
U2 - 10.1007/978-3-642-30284-8_50
DO - 10.1007/978-3-642-30284-8_50
M3 - Conference article in proceeding
SN - 9783642302831
T3 - Lecture Notes in Computer Science
SP - 647
EP - 658
BT - The Semantic Web: Research and Applications
PB - Springer
ER -