BLID: An application of logical information systems to bioinformatics

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2961, Issue , 2004, Pages 47-54

  Ferré, Sébastien ^a   King, Ross D ^a  

^a ABERYSTWYTH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; FORMAL LOGIC; GENETIC ENGINEERING; HUMAN COMPUTER INTERACTION; INFORMATION ANALYSIS; LEARNING SYSTEMS; USER INTERFACES; WEB BROWSERS; BIOINFORMATICS; COMPUTER SOFTWARE REUSABILITY; GENES; INFORMATION SYSTEMS; INTELLIGENT DATABASES; QUERY PROCESSING;

BIOINFORMATICS; BROWSING LANGUAGES; DATA BROWSING SYSTEMS; DATA SOURCES; GENOMES;

BIOTECHNOLOGY; FORMAL CONCEPT ANALYSIS;

DATA BROWSING; DATA BROWSING SYSTEMS; LOGICAL INFORMATION SYSTEMS; REUSABLE COMPONENTS; SEQUENCE MOTIFS;

EID: 9444272230     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24651-0_5     Document Type: Conference Paper

References (13)

1. R. J. Brachman. On the epistemological status of semantic nets. In N. V. Findler, editor, Associative Networks: Representation of Knowledge and Use of Knowledge by Examples. Academic Press, New York, 1979.
2. M. Cornell et al. GIMS - a data warehouse for storage and analysis of genome sequence and functional data. In IEEE Int. Symp. on Bioinformatics and Bioengineering, pages 15-22. IEEE Press, 2001.
3. L. de Raedt. A perspective on inductive databases. SIGKDD Explorations, 4(2):69-77, December 2002.
4. S. Ferré and O. Ridoux. A framework for developing embeddable customized logics. In A. Pettorossi, editor, Int. Work. Logic-based Program Synthesis and Transformation, LNCS 2372, pages 191-215. Springer, 2002.
5. S. Ferré and O. Ridoux. The use of associative concepts in the incremental building of a logical context. In G. Angelova U. Priss, D. Corbett, editor, Int. Conf. Conceptual Structures, LNCS 2393, pages 299-313. Springer, 2002.
6. S. Ferré and O. Ridoux. An introduction to logical information systems. Information Processing & Management, 2003. To appear.
7. B. Ganter and S. Kuznetsov. Formalizing hypotheses with concepts. In G. Mineau and B. Ganter, editors, Int. Conf. Conceptual Structures, LNCS 1867, pages 342-356. Springer, 2000.
8. R. Godin, R. Missaoui, and A. April. Experimental comparison of navigation in a Galois lattice with conventional information retrieval methods. International Journal of Man-Machine Studies, 38(5):747-767, 1993.
9. A. Goffeau et al. The Yeast genome directory. Nature, 387:1-105, 1997.
10. R. D. King, A. Karwath, A. Clare, and L. Dehaspe. Genome scale prediction of protein functional class from sequence using data mining. In R. Ramakrishnan et al, editor, ACM SIGKDD Int. Conf. Knowledge Discovery and Data Mining, pages 384-389. ACM, 2000.
11. S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19,20:629-679, 1994.
12. M. Ouali and R. D. King. Cascaded multiple classifiers for secondary structure prediction. Prot. Sci, 9:1162-1176, 2000.
13. R. Wille. Ordered Sets, chapter Restructuring lattice theory: an approach based on hierarchies of concepts, pages 445-470. Reidel, 1982.