TY - STD TI - Viswanathan GA, Seto J, Patil S, Nudelman G, Sealfon SC: Getting Started in Biological Pathway Construction and Analysis. Plos Computational Biology 2008., 4(2): 10.1371/journal.pcbi.0040016 ID - ref1 ER - TY - CHAP AU - Bader, G. AU - Cary, M. PY - 2005 DA - 2005// BT - BioPAX - biological pathways exchange language level 2, version 1.0 documentation ID - Bader2005 ER - TY - JOUR AU - Karp, P. PY - 2000 DA - 2000// TI - An ontology for biological function based on molecular interactions JO - Bioinformatics VL - 16 UR - https://doi.org/10.1093/bioinformatics/16.3.269 DO - 10.1093/bioinformatics/16.3.269 ID - Karp2000 ER - TY - STD TI - The Protégé ontology editor and knowledge acquisition system[http://protege.stanford.edu/] UR - http://protege.stanford.edu/ ID - ref4 ER - TY - STD TI - W3C RDF Validation Service[http://www.w3.org/RDF/Validator/] UR - http://www.w3.org/RDF/Validator/ ID - ref5 ER - TY - JOUR AU - Sirin, E. AU - Parsia, B. AU - Cuenca, G. B. AU - Kalyanpur, A. AU - Katz, Y. PY - 2007 DA - 2007// TI - Pellet: A practical OWL-DL reasoner JO - Web Semantics VL - 5 UR - https://doi.org/10.1016/j.websem.2007.03.004 DO - 10.1016/j.websem.2007.03.004 ID - Sirin2007 ER - TY - STD TI - RacerPro[http://www.racer-systems.com/] UR - http://www.racer-systems.com/ ID - ref7 ER - TY - CHAP AU - Parsia, B. AU - Sirin, E. AU - Kalyanpur, A. PY - 2005 DA - 2005// TI - Debugging OWL ontologies BT - International World Wide Web Conference ID - Parsia2005 ER - TY - CHAP AU - Plessers, P. AU - Troyer, O. PY - 2006 DA - 2006// TI - Resolving inconsistencies in evolving ontologies BT - 3rd European Semantic Web Conference ID - Plessers2006 ER - TY - CHAP AU - Wang, H. AU - Horridge, M. AU - Rector, A. AU - Drummond, N. AU - Seidenberg, J. PY - 2005 DA - 2005// TI - Debugging owl-dl ontologies: A heuristic approach BT - 4th International Semantic Web Conference ID - Wang2005 ER - TY - JOUR AU - Genrich, H. AU - Küffner, R. AU - Voss, K. PY - 2001 DA - 2001// TI - Executable Petri net models for the analysis of metabolic pathways JO - International Journal on Software Tools for Technology Transfer VL - 3 ID - Genrich2001 ER - TY - JOUR AU - Peleg, M. AU - Yeh, I. AU - Altman, R. PY - 2002 DA - 2002// TI - Modelling biological processes using workflow and Petri Net models JO - Bioinformatics VL - 18 UR - https://doi.org/10.1093/bioinformatics/18.6.825 DO - 10.1093/bioinformatics/18.6.825 ID - Peleg2002 ER - TY - JOUR AU - Caspi, R. AU - Foerster, H. AU - Fulcher, C. AU - Kaipa, P. AU - Krummenacker, M. AU - Latendresse, M. AU - Paley, S. AU - Rhee, S. AU - Shearer, A. AU - Tissier, C. AU - Walk, T. AU - Zhang, P. AU - Karp, P. PY - 2008 DA - 2008// TI - The MetaCyc Database of metabolic pathways and enzymes and the BioCyc collection of Pathway/Genome Databases JO - Nucleic Acids Research VL - 36 ID - Caspi2008 ER - TY - STD TI - Racunas SA, Shah NH, Fedoroff NV: A case study in pathway knowledgebase verification. BMC Bioinformatics 2006., 7(196): ID - ref14 ER - TY - JOUR AU - Jeong, E. AU - Nagasaki, M. AU - Miyano, S. PY - 2008 DA - 2008// TI - Rule-based reasoning for systems dynamics in cell systems JO - Genome Informatics VL - 20 ID - Jeong2008 ER - TY - STD TI - Jeong E, Nagasaki M, Saito A, Miyano S: Cell System Ontology: Representation for modeling, visualizing, and simulating biological pathways. In Silico Biology 2007., 7(55): ID - ref16 ER - TY - CHAP AU - Smith, M. AU - Welty, C. AU - McGuinness, D. PY - 2004 DA - 2004// BT - OWL Web Ontology Language Guide ID - Smith2004 ER - TY - JOUR AU - Horrocks, I. AU - Sattler, U. PY - 2007 DA - 2007// TI - A Tableaux Decision Procedure for SHOIQ JO - Journal of Automated Reasoning VL - 39 UR - https://doi.org/10.1007/s10817-007-9079-9 DO - 10.1007/s10817-007-9079-9 ID - Horrocks2007 ER - TY - JOUR AU - Nagasaki, M. AU - Doi, A. AU - Matsuno, H. AU - Miyano, S. PY - 2004 DA - 2004// TI - A versatile Petri net based architecture for modeling and simulation of complex biological processes JO - Genome Informatics VL - 15 ID - Nagasaki2004 ER - TY - JOUR AU - Nagasaki, M. AU - Doi, A. AU - Matsuno, H. AU - Miyano, S. PY - 2003 DA - 2003// TI - Genomic Object Net: I. A platform for modelling and simulating biopathways JO - Applied Bioinformatics VL - 2 ID - Nagasaki2003 ER - TY - STD TI - Nagasaki M, Saito A, Jeong E, Li C, Kojima K, Ikeda E, Miyano S: Cell Illustrator 4.0: A computational platform for systems biology. In Silico Biology 2010., 10(2): ID - ref21 ER - TY - STD TI - Cell Illustrator Online[http://cionline.hgc.jp] UR - http://cionline.hgc.jp ID - ref22 ER - TY - STD TI - AllegroGraph[http://www.franz.com/] UR - http://www.franz.com/ ID - ref23 ER - TY - STD TI - SPARQL query language for RDF[http://www.w3.org/TR/rdf-sparql-query/] UR - http://www.w3.org/TR/rdf-sparql-query/ ID - ref24 ER - TY - STD TI - The Protégé-OWL API[http://protege.stanford.edu/plugins/owl/api/] UR - http://protege.stanford.edu/plugins/owl/api/ ID - ref25 ER - TY - STD TI - Jena[http://jena.sourceforge.net/] UR - http://jena.sourceforge.net/ ID - ref26 ER - TY - STD TI - PubMed[http://www.pubmed.gov/] UR - http://www.pubmed.gov/ ID - ref27 ER - TY - JOUR AU - Jeong, E. AU - Nagasaki, M. AU - Miyano, S. PY - 2007 DA - 2007// TI - Conversion from BioPAX to CSO for System Dynamics and Visualization of Biological Pathway JO - Genome Informatics VL - 18 ID - Jeong2007 ER - TY - JOUR AU - Krull, M. AU - Pistor, S. AU - Voss, N. AU - Kel, A. AU - Reuter, I. AU - Kronenberg, D. AU - Michael, H. AU - Schwarzer, K. AU - Potapov, A. AU - Choi, C. AU - Kel-Margoulis, O. AU - Wingender, E. PY - 2006 DA - 2006// TI - TRANSPATH: an information resource for storing and visualizing signaling pathways and their pathological aberrations JO - Nucleic Acids Research VL - 1 UR - https://doi.org/10.1093/nar/gkj107 DO - 10.1093/nar/gkj107 ID - Krull2006 ER - TY - JOUR PY - 2008 DA - 2008// TI - The Universal Protein Resource (UniProt) JO - Nucleic Acids Research VL - 36 UR - https://doi.org/10.1093/nar/gkm895 DO - 10.1093/nar/gkm895 ID - ref30 ER - TY - JOUR AU - Flicek, P. AU - Aken, B. AU - Beal, K. AU - Ballester, B. AU - Caccamo, M. AU - Chen, Y. AU - Clarke, L. AU - Coates, G. AU - Cunningham, F. AU - Cutts, T. PY - 2008 DA - 2008// TI - Ensembl JO - Nucleic Acids Research VL - 36 UR - https://doi.org/10.1093/nar/gkm988 DO - 10.1093/nar/gkm988 ID - Flicek2008 ER -