Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/8931
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | King, RD | - |
dc.contributor.author | Liakata, M | - |
dc.contributor.author | Lu, C | - |
dc.contributor.author | Oliver, SG | - |
dc.contributor.author | Soldatova, LN | - |
dc.date.accessioned | 2014-08-19T13:31:05Z | - |
dc.date.available | 2014-08-19T13:31:05Z | - |
dc.date.issued | 2011 | - |
dc.identifier.citation | Journal of the Royal Society Interface, 8(63), 1440 - 1448, 2011 | en_US |
dc.identifier.issn | 1742-5689 | - |
dc.identifier.uri | http://rsif.royalsocietypublishing.org/content/8/63/1440 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/8931 | - |
dc.description | Copyright © 2011 The Royal Society. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. | en_US |
dc.description.abstract | The reuse of scientific knowledge obtained from one investigation in another investigation is basic to the advance of science. Scientific investigations should therefore be recorded in ways that promote the reuse of the knowledge they generate. The use of logical formalisms to describe scientific knowledge has potential advantages in facilitating such reuse. Here, we propose a formal framework for using logical formalisms to promote reuse. We demonstrate the utility of this framework by using it in a worked example from biology: demonstrating cycles of investigation formalization [F] and reuse [R] to generate new knowledge. We first used logic to formally describe a Robot scientist investigation into yeast (Saccharomyces cerevisiae) functional genomics [f1]. With Robot scientists, unlike human scientists, the production of comprehensive metadata about their investigations is a natural by-product of the way they work. We then demonstrated how this formalism enabled the reuse of the research in investigating yeast phenotypes [r1 = R(f1)]. This investigation found that the removal of non-essential enzymes generally resulted in enhanced growth. The phenotype investigation was then formally described using the same logical formalism as the functional genomics investigation [f2 = F(r1)]. We then demonstrated how this formalism enabled the reuse of the phenotype investigation to investigate yeast systems-biology modelling [r2 = R(f2)]. This investigation found that yeast flux-balance analysis models fail to predict the observed changes in growth. Finally, the systems biology investigation was formalized for reuse in future investigations [f3 = F(r2)]. These cycles of reuse are a model for the general reuse of scientific knowledge. | en_US |
dc.description.sponsorship | The Biotechnology and Biological Sciences Research Council, SRIF, UNICELL SYS, and RC-UK. | en_US |
dc.language | English | - |
dc.language.iso | en | en_US |
dc.publisher | The Royal Society | en_US |
dc.subject | Semantic web | en_US |
dc.subject | Logic | en_US |
dc.subject | Saccharomyces cerevisiae | en_US |
dc.subject | Ontology | en_US |
dc.title | On the formalization and reuse of scientific research | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://dx.doi.org/10.1098/rsif.2011.0029 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science | - |
pubs.organisational-data | /Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science/Computer Science | - |
pubs.organisational-data | /Brunel/Brunel Staff by Institute/Theme | - |
pubs.organisational-data | /Brunel/Brunel Staff by Institute/Theme/Institute of Environmental, Health and Societies | - |
pubs.organisational-data | /Brunel/Brunel Staff by Institute/Theme/Institute of Environmental, Health and Societies/Synthetic Biology | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups/Centre for Research into Entrepreneurship, International Business and Innovation in Emerging Markets | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute for Ageing Studies | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute of Cancer Genetics and Pharmacogenomics | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Centre for Systems and Synthetic Biology | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Multidisclipary Assessment of Technology Centre for Healthcare (MATCH) | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 340.29 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.