{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:30:28Z","timestamp":1740547828511,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642150197"},{"type":"electronic","value":"9783642150203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15020-3_17","type":"book-chapter","created":{"date-parts":[[2010,9,9]],"date-time":"2010-09-09T12:14:54Z","timestamp":1284034494000},"page":"186-200","source":"Crossref","is-referenced-by-count":1,"title":["Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways"],"prefix":"10.1007","author":[{"given":"Sine","family":"Zambach","sequence":"first","affiliation":[]},{"given":"Jens Ulrik","family":"Hansen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Caspi, R., Altman, T., Dale, J.M., Dreher, K., Fulcher, C.A., Gilham, F., Kaipa, P., Karthikeyan, A.S., Kothari, A., Krummenacker, M., Latendresse, M., Mueller, L.A., Paley, S., Popescu, L., Pujar, A., Shearer, A.G., Zhang, P., Karp, P.D.: The MetaCyc database of metabolic pathways and enzymes and the BioCyc collection of pathway\/genome databases. Nucleic Acids Res.\u00a038, D473\u2013D479 (2010)","DOI":"10.1093\/nar\/gkp875"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Heinrich, R., Rapoport, S.: Metabolic regulation and mathematical models. Prog. Biophys. Molec. Biol.\u00a032 (1977)","DOI":"10.1016\/0079-6107(78)90017-2"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M. Kanehisa","year":"2000","unstructured":"Kanehisa, M., Goto, S.: KEGG: Kyoto Encyclopedia of Genes and Genomes. Nucleic Acids Res.\u00a028, 27\u201330 (2000)","journal-title":"Nucleic Acids Res."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Matthews, L., Gopinath, G., Gillespie, M., Caudy, M., Croft, D., de Bono, B., Garapati, P., Hemish, J., Hermjakob, H., Jassal, B., Kanapin, A., Lewis, S., Mahajan, S., May, B., Schmidt, E., Vastrik, I., Wu, G., Birney, E., Stein, L., D\u2019Eustachio, P.: Reactome knowledgebase of human biological pathways and processes. Nucleic Acids Res.\u00a037, D619\u2013D622 (2009)","DOI":"10.1093\/nar\/gkn863"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Meseguer, P.L.J., Sonmez, K.: Pathway logic: Symbolic analysis of biological signaling. In: Pacific Symposium on Biocomputing 2002, pp. 400\u2013412 (2002)","DOI":"10.1142\/9789812799623_0038"},{"key":"17_CR6","first-page":"85","volume":"6","author":"K.R. Heidtke","year":"1998","unstructured":"Heidtke, K.R., Schulze-Kremer, S.: BioSim\u2013a new qualitative simulation environment for molecular biology. Proc. Int. Conf. Intell. Syst. Mol. Biol.\u00a06, 85\u201394 (1998)","journal-title":"Proc. Int. Conf. Intell. Syst. Mol. Biol."},{"key":"17_CR7","unstructured":"Gene Ontology-Consortium, GO ontology relations. geneontology.org\/GO.ontology-ext.relations.shtml (2009)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M. Ashburner","year":"2000","unstructured":"Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Butler, H., Cherry, J.M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., Harris, M.A., Hill, D.P., Issel-Tarver, L., Kasarskis, A., Lewis, S., Matese, J.C., Richardson, J.E., Ringwald, M., Rubin, G.M., Sherlock, G.: Gene ontology: tool for the unification of biology. The Gene Ontology Consortium. Nat. Genet.\u00a025, 25\u201329 (2000)","journal-title":"Nat. Genet."},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1038\/nbt1346","volume":"25","author":"B. Smith","year":"2007","unstructured":"Smith, B., Ashburner, M., Rosse, C., Bard, J., Bug, W., Ceusters, W., Goldberg, L.J., Eilbeck, K., Ireland, A., Mungall, C.J., Leontis, N., Rocca-Serra, P., Ruttenberg, A., Sansone, S.A., Scheuermann, R.H., Shah, N., Whetzel, P.L., Lewis, S.: The OBO Foundry: coordinated evolution of ontologies to support biomedical data integration. Nat. Biotechnol.\u00a025, 1251\u20131255 (2007)","journal-title":"Nat. Biotechnol."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Blonde, W., Antezana, E., De Baets, B., Mironov, V., Kuiper, M.: Metarel: an ontology to support the inferencing of semantic web relations within biomedical ontologies. In: International Conference on Biomedical Ontology, Conference proceedings, Nature preceedings, July 2009. pp. 79\u201382 (2009)","DOI":"10.1038\/npre.2009.3463.1"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Smith, B., Ceusters, W., Klagges, B., K\u00f6hler, J., Kumar, A., Lomax, J., Mungall, C., Neuhaus, F., Rector, A.L., Rosse, C.: Relations in biomedical ontologies. Genome Biol.\u00a06, R46 (2005)","DOI":"10.1186\/gb-2005-6-5-r46"},{"key":"17_CR12","first-page":"9","volume":"136","author":"E. Beisswanger","year":"2008","unstructured":"Beisswanger, E., Lee, V., Kim, J.J., Rebholz-Schuhmann, D., Splendiani, A., Dameron, O., Schulz, S., Hahn, U.: Gene Regulation Ontology (GRO): design principles and use cases. Stud. Health Technol. Inform.\u00a0136, 9\u201314 (2008)","journal-title":"Stud. Health Technol. Inform."},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"1054","DOI":"10.1126\/science.1122088","volume":"312","author":"C.T. Workman","year":"2006","unstructured":"Workman, C.T., Mak, H.C., McCuine, S., Tagne, J.B., Agarwal, M., Ozier, O., Begley, T.J., Samson, L.D., Ideker, T.: A systems approach to mapping DNA damage response pathways. Science\u00a0312, 1054\u20131059 (2006)","journal-title":"Science"},{"key":"17_CR14","unstructured":"Smith, B., Rosse, C.: The role of foundational relations in the alignment of biomedical ontologies. MEDINFO, 444\u2013448 (2004)"},{"key":"17_CR15","series-title":"Studies in Logic and Practical Reasoning","volume-title":"Handbook of Modal Logic","author":"P. Blackburn","year":"2007","unstructured":"Blackburn, P., Benthem, J.F.A.K.v., Wolter, F.: Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol.\u00a03. Elsevier, Amsterdam (2007)"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1016\/S1570-2464(07)80012-7","volume-title":"Handbook of Modal Logic","author":"T. Bra\u00fcner","year":"2007","unstructured":"Bra\u00fcner, T., Ghilardi, S.: First-order modal logic. In: Blackburn, P., Benthem, J.F.A.K.v., Wolter, F. (eds.) Handbook of Modal Logic, pp. 549\u2013620. Elsevier, Amsterdam (2007)"},{"volume-title":"The Description Logic Handbook","year":"2003","key":"17_CR17","unstructured":"Baader, F., Calvanese, D., McGuinness, D. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)"},{"key":"17_CR18","unstructured":"W3C OWL Working Group: OWL 2 web ontology language document overview. Technical report, W3C (October 2009), http:\/\/www.w3.org\/TR\/2009\/REC-owl2-overview-20091027\/"},{"key":"17_CR19","unstructured":"Lutz, C., Sattler, U.: Mary likes all cats. In: Baader, F., Sattler, U. (eds.) Description Logics. CEUR Workshop Proceedings, CEUR-WS.org. vol.\u00a033, pp. 213\u2013226 (2000)"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Lutz, C., Sattler, U.: The complexity of reasoning with boolean modal logic. In: Proceeding of Advances in Modal Logic 2000, AiML 2000 (2000)","DOI":"10.25368\/2022.105"},{"key":"17_CR21","unstructured":"Pubmed: Medline entrez, search data base for biomedical litterature (2010), http:\/\/www.ncbi.nlm.nih.gov\/sites\/entrez?db=PubMed"},{"key":"17_CR22","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-642-04957-6_38","volume-title":"Proceedings of the Eigth International Conference on Flexible Query Answering Systems","author":"S. Zambach","year":"2009","unstructured":"Zambach, S.: A formal framework on the semantics of regulatory relations and their presence as verbs in biomedical texts. In: Proceedings of the Eigth International Conference on Flexible Query Answering Systems, pp. 443\u2013452. Springer, Heidelberg (2009)"},{"key":"17_CR23","unstructured":"Dolbey, A., Ellsworth, M., Scheffczyk, J.: Bioframenet: A domain-specific framenet extension with links to biomedical ontologies. In: Proceedings of KR-MED, November 2007, pp. 87\u201394 (2006)"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Andreasen, T., Bulskov, H., Lassen, T., Zambach, S., Jensen, P.A., Madsen, B.N., Thomsen, H.E., Nilsson, J.F., Szymczak, B.A.: SIABO - semantic information access through biomedical ontologies. In: Dietz, J.L.G. (ed.) KEOD, pp. 171\u2013176. INSTICC Press (2009)","DOI":"10.5220\/0002297801710176"}],"container-title":["Lecture Notes in Computer Science","Information Technology in Bio- and Medical Informatics, ITBAM 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15020-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T17:28:25Z","timestamp":1740504505000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15020-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642150197","9783642150203"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15020-3_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}