PROVA: Rule-Based Java-Scripting for a Bioinformatics Semantic Web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2994, Issue , 2004, Pages 17-30

  Kozlenkov, Alexander ^a   Schroeder, Michael ^b  

^a CITY UNIVERSITY   (United Kingdom)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Declarative and Object oriented Programming; Reasoning; Rules; Workflows

Indexed keywords

BIOINFORMATICS; INTEGRATION; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING;

BIOINFORMATICS APPLICATIONS; DECLARATIVE DESCRIPTIONS; DOMAIN-DOMAIN INTERACTIONS; HETEROGENEOUS DATA SOURCES; INFORMATION INTEGRATION; REASONING; RULES; WORK-FLOWS;

SEMANTIC WEB;

EID: 35048900943     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24745-6_2     Document Type: Article

References (24)

1. [Bad03] Liviu Badea. Functional discrimination of gene expression patterns in terms of the Gene Ontology. In Proceedings of the Pacific Symposium on Biocomputing - PSB03,2003.
2. +03] Dan Boiser, Panos Dafas, Richard Harrington, Jong Park, and Michael Schroeder. Visualisation and graph-theoretic analysis of the large-scale protein structural interactome network psimap. BMC Bioinformatics, 4(45), 2003.
3. [BLJJ00] K. Bryson, Michael Luck, Mike Joy, and D. T. Jones. Applying agents to bioinformatics in geneweaver. In Cooperative Information Agents, pages 60-71, 2000.
4. [BT03] Liviu Badea and Doina Tilivea. 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, 2003. Springer-Verlag.
5. [BWBB99] Rolf Backofen, Sebastian Will, and Erich Bomberg-Bauer. Application of Constraint Programming Techniques for Structure Prediction of Lattice Proteins with Extended Alphabets. Journal of Bioinformatics, 15(3):234-242, 1999.
6. [CF03] Nathalie Chabrier and François Pages. Symbolic model checking of biochemical networks. In Proceedings of the First International Workshop on Computational Methods in Systems Biology CMSB '03, LNCS, Rivcrto, Italy, March 2003. Springer-Verlag.
7. [Con00] The Gene Ontology Consortium. Gene ontology: tool for the unification of biology. Nat Genet, 25:25-29, 2000.
8. +03] Panos Dafas, Dan Boiser, Jacek Gomoluch, long Park, and Michael Schroeder. Fast and efficient computation of domain-domain interactions from known protein structures in the PDB. In H.W. Frisch, D. Frishman, V. Heun, and S. Kramer, editors, Proceedings of German Conference on Bioinformatics, pages 27-32, 2003.
9. [Die] J. Dietrich. Mandarax. http://www.mandarax.org.
10. [FWPM94] A.A.A. Fernandes, M.H. Williams, N. Paton, and M.L. Maria. Object-Oriented Database Programming Languages Founded on an Axiomatic Theory of Objects. In Workshop on Logical Foundations of Object-oriented Programming, 1994.
11. [GE01] Rolf Grütter and Claus Eikemeier. 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 (SWIVS '01), pages 587-597, Stanford University, California, July/August 2001.
12. [GES01] Rolf Grütter, Claus Eikemeier, and Johann Steurer. Towards a Simple Ontology Definition Language (SontoDL) for a Semantic Web of Evidence-Based Medical Information. In S. Quaglini, P. Barahona, and S. Andreassen, editors, Artificial Intelligence in Medicine. 8th Conference on Artificial Intelligence in Medicine in Europe, AIME2001, Cascais, Portugal, July 2001. Springer-Verlag.
13. +95] M. Jarke, R. Gallersdörfer, M.A. Jeusfeld, m. Staudt, and Stefan Eberer. CConceptBase - a deductive object base for meta data management. J. of Intelligent Information Systems, February 1995.
14. [KB02] L. Krippahl and P. Barahona. PSICO: Solving Protein Structures with Constraint Programming and Optimisation. Constraints, 7(3/4):317-331, July/October 2002.
15. [LE03] P. Lambrix and A. Edberg. Evaluation of ontology merging tools in bioinformatics. In Proceedings of the Pacific Symposium on Biocomputing - PSB03, pages 589-600, 2003.
16. [LJ03] P. Lambrix and V. Jakoniene. Towards transparent access to multiple biological databanks. In Proceedings of the First Asia-Pacific Bioinformatics Conference, pages 53-60, Adelaide, Australia, 2003.
17. [MBHC95] A.G. Murzin, S.E. Brenner, T. Hubbard, and C. Chothia. SCOP: a structural classification of proteins database for the investigation of sequences and structures. J. Mol. Biol, 247:536-540, 1995.
18. [MKA00] S. Möller, E. V. Kriventseva, and R. Apweiler. A collection of well characterised integral membrane proteins. Bioinformatics, 16(12):1159-1160, 2000.
19. [MLFA99] S. Möller, U. Leser, W. Fleischmann, and R. Apweiler. EDITtoTrEMBL: a distributed approach to high-quality automated protein sequence annotation. Bioinformatics, 15(3):219-227, 1999.
20. [MSA01] S. Möller, M. Schroeder, and R. Apweiler. Conflict-resolution for the automated annotation of transmembrane proteins. Comput. Chem.,26(1):41-46, 2001.
21. [PKWM00] P.N. Palma, L. Krippahl, J.E. Wampler, and J.J.G. Moura. BiGGER: A new (soft) docking algorithm for predicting protein interactions. Proteins: Structure, Function, and Genetics, 39:372-384, 2000.
22. [SRG03] Robert D. Stevens, Alan J. Robinson, and Carole A. Goble. mygrid: personalised bioinformatics on the information grid. In Eleventh International Conference on Intelligent Systems for Molecular Biology, volume 19, 2003.
23. [Tea03] The PDB Team. The protein data bank. In Structural Bioinformatics, pages 181-198. Wiley, 2003.
24. [YK00] G. Yang and M. Kifer. FLORA: Implementing an efficient DOOD system using a tabling logic engine. In LNAi 1861. Springer, 2000.