sources for the laboratory mouse. Nucleic Acids Re-
search, 28(1):108–111.
Boyer, R. F. (2012). Biochemistry Laboratory: Modern
Theory and Techniques. Prentice Hall.
Brinkman, R. R., Courtot, M., Derom, D., Fostel, J. M.,
He, Y., Lord, P., Malone, J., Parkinson, H., Peters,
B., Rocca-Serra, P., Ruttenberg, A., Sansone, S.-A.,
Soldatova, L. N., Jr., C. J. S., Turner, J. A., Zheng, J.,
and the OBI consortium (2010). Modeling biomedical
experimental processes with obi. Journal of Biomedi-
cal Semantics, 1 (Suppl 1):S7.
Carenbauer, A. L., Garrity, J. D., Periyannan, G., Yates,
R. B., and Crowder, M. W. (2002). Probing
substrate binding to Metallo-β-Lactamase L1 from
Stenotrophomonas maltophilia by using site-directed
mutagenesis. BMC Biochemistry, 3(1):4.
Courtot, M., Bug, W., Gibson, F., Lister, A. L., Malone,
J., Schober, D., Brinkman, R. R., and Ruttenberg, A.
(2008). The owl of biomedical investigations. In Pro-
ceedings of the Fifth OWLED Workshop on OWL: Ex-
periences and Directions, page 12pp.
Degtyarenko, K., De Matos, P., Ennis, M., Hastings, J.,
Zbinden, M., McNaught, A., Alc
´
antara, R., Dar-
sow, M., Guedj, M., and Ashburner, M. (2007).
Chebi: a database and ontology for chemical enti-
ties of biological interest. Nucleic acids research,
36(suppl 1):D344–D350.
Devanbu, P. T. and Litman, D. J. (1996). Taxonomic plan
reasoning. Artificial Intelligence, 84(1-2):1–35.
Dumontier, M., Baker, C. J., Baran, J., Callahan, A., Che-
pelev, L., Cruz-Toledo, J., Rio, N. R. D., Duck, G.,
Furlong, L. I., Keath, N., Klassen, D., McCusker,
J. P., Queralt-Rosinach, N., Samwald, M., Villanueva-
Rosales, N., Wilkinson, M. D., and Hoehndorf, R.
(2014). The semanticscience integrated ontology (sio)
for biomedical research and knowledge discovery.
Journal of Biomedical Semantics, 5(1):14.
Fleischmann, A., Darsow, M., Degtyarenko, K., Fleis-
chmann, W., Boyce, S., Axelsen, K. B., Bairoch,
A., Schomburg, D., Tipton, K. F., and Apweiler,
R. (2004). Intenz, the integrated relational enzyme
database. Nucleic acids research, 32(suppl 1):D434–
D437.
FlyBase Consortium (2003). The flybase database of the
drosophila genome projects and community literature.
Nucleic acids research, 31(1):172–175.
Gene Ontology Consortium (2011). The gene ontology:
enhancements for 2011. Nucleic acids research,
40(D1):D559–D564.
Kanehisa, M., Goto, S., Hattori, M., Aoki-Kinoshita, K. F.,
Itoh, M., Kawashima, S., Katayama, T., Araki, M.,
and Hirakawa, M. (2006). From genomics to chemical
genomics: new developments in kegg. Nucleic acids
research, 34(suppl 1):D354–D357.
Klingstr
¨
om, T., Soldatova, L., Stevens, R., Roos, T. E.,
Swertz, M. A., M
¨
uller, K. M., Kala
ˇ
s, M., Lambrix,
P., Taussig, M. J., Litton, J.-E., Landegren, U., and
Bongcam-Rudlof, E. (2013). Workshop on labortory
protocol standards for the molecular methods data-
base. New Biotechnology, 30(2):109–113.
Lenat, D. B., Prakash, M., and Shepherd, M. (1985). Cyc:
Using common sense knowledge to overcome brittle-
ness and knowledge acquisition bottlenecks. AI mag-
azine, 6(4):65–65.
Masolo, C., Botti Benevides, A., and Porello, D. (2018).
The interplay between models and observations. Ap-
plied Ontology, 13(1):41–71.
McGuinness, D. L., Van Harmelen, F., et al. (2004). Owl
web ontology language overview. W3C recommenda-
tion, 10(10):2004.
Rijgersberg, H., Van Assem, M., and Top, J. (2013). Ontol-
ogy of units of measure and related concepts. Seman-
tic Web, 4(1):3–13.
Ringwald, M., Eppig, J. T., Kadin, J. A., and Richardson,
J. E. (2000). Gxd: a gene expression database for the
laboratory mouse: current status and recent enhance-
ments. Nucleic acids research, 28(1):115–119.
Rosse, C. and Mejino Jr, J. L. (2003). A reference on-
tology for biomedical informatics: the foundational
model of anatomy. Journal of biomedical informat-
ics, 36(6):478–500.
Sambrook, J. and Russell, D. W. (2001). Molecular
Cloning: A Laboratory Manual. Cold Spring Harbor
Laboratory Press.
Schlenoff, C., Schlenoff, C., Tissot, F., Valois, J., and Lee,
J. (2000). The process specification language (PSL)
overview and version 1.0 specification. Citeseer.
Shearer, R., Motik, B., and Horrocks, I. (2008). Hermit: A
highly-efficient owl reasoner. In Owled, volume 432,
page 91.
Smith, B., Ceusters, W., Klagges, B., K
¨
ohler, J., Kumar, A.,
Lomax, J., Mungall, C., Neuhaus, F., Rector, A. L., ,
and Rosse, C. (2005). Relations in biomedical ontolo-
gies. Genome Biology, 6(5):R46.
Soldatova, L., King, R., Basu, P., Haddi, E., and Saunders,
N. (2013). The representation of biomedical proto-
cols. EMBnet.journal, 19(B).
Soldatova, L. N. and King, R. D. (2006). An ontology of
scientific experiments. Journal of the Royal Society
Interface, 3(11).
Zheng, J., Manduchi, E., and Jr, C. J. S. (2013). Develop-
ment of an application ontology for beta cell genomics
based on the ontology for biomedical investigations.
In 4th International Conference on Biomedical Ontol-
ogy, pages 62–67.
Appendix
SPARQL Queries
Query1. Return all devices involved in a state of all
steps (1.1, 1.2, 3)
SELECT ? s t e p ? s t a t e ? i te m
WHERE { ? s t e p r d f : t y p e : S t e p .
? s t e p : h a s S t a t e ? s t a t e .
? s t a t e : i n v o l v e s ? it em .
? i te m r d f : t y p e : D ev ic e }
Biochemistry Procedure-oriented Ontology: A Case Study
171