{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T16:51:04Z","timestamp":1790873464117,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540213000","type":"print"},{"value":"9783540247456","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24745-6_2","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:13:54Z","timestamp":1280276034000},"page":"17-30","source":"Crossref","is-referenced-by-count":13,"title":["PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Kozlenkov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Schroeder","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Badea, L.: Functional discrimination of gene expression patterns in terms of the Gene Ontology. In: Proceedings of the Pacific Symposium on Biocomputing - PSB 2003 (2003)","DOI":"10.1142\/9789812776303_0053"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bolser, D., Dafas, P., Harrington, R., Park, J., Schroeder, M.: Visualisation and graph-theoretic analysis of the large-scale protein structural interactome network psimap. BMC Bioinformatics\u00a04(45) (2003)","DOI":"10.1186\/1471-2105-4-45"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bryson, K., Luck, M., Joy, M., Jones, D.T.: Applying agents to bioinformatics in geneweaver. In: Cooperative Information Agents, pp. 60\u201371 (2000)","DOI":"10.1007\/978-3-540-45012-2_7"},{"key":"2_CR4","volume-title":"Proceedings of the International Workshop on Computational Methods in Systems Biology","author":"L. Badea","year":"2003","unstructured":"Badea, L., Tilivea, D.: Integrating biological process modelling with gene expression data and ontologies for functional genomics (position paper). In: Proceedings of the International Workshop on Computational Methods in Systems Biology, University of Trento, Springer, Heidelberg (2003)"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1093\/bioinformatics\/15.3.234","volume":"15","author":"R. Backofen","year":"1999","unstructured":"Backofen, R., Will, S., Bornberg-Bauer, E.: Application of Constraint Programming Techniques for Structure Prediction of Lattice Proteins with Extended Alphabets. Journal of Bioinformatics\u00a015(3), 234\u2013242 (1999)","journal-title":"Journal of Bioinformatics"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"The Gene Ontology Consortium","year":"2000","unstructured":"The Gene Ontology Consortium. Gene ontology: tool for the unification of biology. Nat. Genet. 25, 25\u201329 (2000)","journal-title":"Nat. Genet."},{"key":"2_CR8","unstructured":"Dafas, P., Bolser, D., Gomoluch, J., Park, J., Schroeder, M.: Fast and efficient computation of domain-domain interactions from known protein structures in the PDB. In: Frisch, H.W., Frishman, D., Heun, V., Kramer, S. (eds.) Proceedings of German Conference on Bioinformatics, pp. 27\u201332 (2003)"},{"key":"2_CR9","unstructured":"Dietrich, J.: Mandarax., http:\/\/www.mandarax.org"},{"key":"2_CR10","unstructured":"Fernandes, A.A.A., Williams, M.H., Paton, N., Maria, M.L.: Object-Oriented Database Programming Languages Founded on an Axiomatic Theory of Objects. In: Workshop on Logical Foundations of Object-oriented Programming (1994)"},{"key":"2_CR11","first-page":"587","volume-title":"Proceedings of the First Semantic Web Working Symposium (SWWS 2001)","author":"R. Gr\u00fctter","year":"2001","unstructured":"Gr\u00fctter, R., Eikemeier, C.: Development of a Simple Ontology Definition Language (SOntoDL) and its Application to a Medical Information Service on the World Wide Web. In: Proceedings of the First Semantic Web Working Symposium (SWWS 2001), July\/August 2001, pp. 587\u2013597. Stanford University, California (2001)"},{"key":"2_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48229-6_45","volume-title":"Artificial Intelligence in Medicine","author":"R. Gr\u00fctter","year":"2001","unstructured":"Gr\u00fctter, R., Eikemeier, C., Steurer, J.: Towards a Simple Ontology Definition Language (SontoDL) for a Semantic Web of Evidence-Based Medical Information. In: Quaglini, S., Barahona, P., Andreassen, S. (eds.) AIME 2001. LNCS (LNAI), vol.\u00a02101, Springer, Heidelberg (2001)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Jarke, M., Gallersd\u00f6rfer, R., Jeusfeld, M.A., Staudt, M., Eberer, S.: CConceptBase - a deductive object base for meta data management. J. of Intelligent Information Systems (February 1995)","DOI":"10.1007\/BF00961873"},{"issue":"3\/4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1020577603762","volume":"7","author":"L. Krippahl","year":"2002","unstructured":"Krippahl, L., Barahona, P.: PSICO: Solving Protein Structures with Constraint Programming and Optimisation. Constraints\u00a07(3\/4), 317\u2013331 (2002)","journal-title":"Constraints"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Lambrix, P., Edberg, A.: Evaluation of ontology merging tools in bioinformatics. In: Proceedings of the Pacific Symposium on Biocomputing - PSB 2003, pp. 589\u2013600 (2003)","DOI":"10.1142\/9789812776303_0055"},{"key":"2_CR16","unstructured":"Lambrix, P., Jakoniene, V.: Towards transparent access to multiple biological databanks. In: Proceedings of the First Asia-Pacific Bioinformatics Conference, Adelaide, Australia, pp. 53\u201360 (2003)"},{"key":"2_CR17","first-page":"536","volume":"247","author":"A.G. Murzin","year":"1995","unstructured":"Murzin, A.G., Brenner, S.E., Hubbard, T., Chothia, C.: SCOP: a structural classification of proteins database for the investigation of sequences and structures. J. Mol. Biol.\u00a0247, 536\u2013540 (1995)","journal-title":"J. Mol. Biol."},{"issue":"12","key":"2_CR18","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1093\/bioinformatics\/16.12.1159","volume":"16","author":"S. M\u00f6ller","year":"2000","unstructured":"M\u00f6ller, S., Kriventseva, E.V., Apweiler, R.: A collection of well characterised integral membrane proteins. Bioinformatics\u00a016(12), 1159\u20131160 (2000)","journal-title":"Bioinformatics"},{"issue":"3","key":"2_CR19","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1093\/bioinformatics\/15.3.219","volume":"15","author":"S. M\u00f6ller","year":"1999","unstructured":"M\u00f6ller, S., Leser, U., Fleischmann, W., Apweiler, R.: EDITtoTrEMBL: a distributed approach to high-quality automated protein sequence annotation. Bioinformatics\u00a015(3), 219\u2013227 (1999)","journal-title":"Bioinformatics"},{"issue":"1","key":"2_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/S0097-8485(01)00098-5","volume":"26","author":"S. M\u00f6ller","year":"2001","unstructured":"M\u00f6ller, S., Schroeder, M., Apweiler, R.: Conflict-resolution for the automated annotation of transmembrane proteins. Comput. Chem.\u00a026(1), 41\u201346 (2001)","journal-title":"Comput. Chem."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1002\/(SICI)1097-0134(20000601)39:4<372::AID-PROT100>3.0.CO;2-Q","volume":"39","author":"P.N. Palma","year":"2000","unstructured":"Palma, P.N., Krippahl, L., Wampler, J.E., Moura, J.J.G.: BiGGER: A new (soft) docking algorithm for predicting protein interactions. Proteins: Structure, Function and Genetics\u00a039, 372\u2013384 (2000)","journal-title":"Proteins: Structure, Function and Genetics"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Stevens, R.D., Robinson, A.J., Goble, C.A.: mygrid: personalised bioinformatics on the information grid. In: Eleventh International Conference on Intelligent Systems for Molecular Biology, vol.\u00a019 (2003)","DOI":"10.1093\/bioinformatics\/btg1041"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"The PDB Team. The protein data bank. In: Structural Bioinformatics, pp. 181\u2013198. Wiley, Chichester (2003)","DOI":"10.1002\/0471721204.ch9"},{"key":"2_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1078","DOI":"10.1007\/3-540-44957-4_72","volume-title":"Computational Logic - CL 2000","author":"G. Yang","year":"2000","unstructured":"Yang, G., Kifer, M.: FLORA: Implementing an efficient DOOD system using a tabling logic engine. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, p. 1078. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Data Integration in the Life Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24745-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T19:49:34Z","timestamp":1711655374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24745-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213000","9783540247456"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24745-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}