ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Application of Knowledge Base Design Techniques to Genetic Markers.

Mark Graves: Application of Knowledge Base Design Techniques to Genetic Markers. CIKM 1995: 348-354
@inproceedings{DBLP:conf/cikm/Graves95,
  author    = {Mark Graves},
  title     = {Application of Knowledge Base Design Techniques to Genetic Markers},
  booktitle = {CIKM '95, Proceedings of the 1995 International Conference on
               Information and Knowledge Management, November 28 - December
               2, 1995, Baltimore, Maryland, USA},
  publisher = {ACM},
  year      = {1995},
  pages     = {348-354},
  ee        = {db/conf/cikm/Graves95.html, http://doi.acm.org/10.1145/221270.221624},
  crossref  = {DBLP:conf/cikm/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Knowledge bases can be quickly accepted into realistic settings if they are developed rapidly and they support critical tasks. Genetics is one area where knowledge management is necessary to provide intelligent access to complex intformatlon. Multiple reasoning systems accessing the same knowledge base can contribute directly to the progress of science. Genetics is a rapidly changing field and the rapid development of intelligent systems is becommg crucial for the analysis of information. Genetic data is also being generated at an exponentially growing rate and traditional techniques are being overwhelmed. A flexible knowledge base which stores the information and makes it available to a variety of reasoning systems will speed up the transition of laboratory research to medical practice.

We have developed a process for designing data models for application-specific knowledge bases. This process is supported by a knowledge base design tool, which we call WEAVE, that creates a prototype knowledge base when given a data model definition by a knowledge base developer. The process is formalized using theoretical results from knowledge representation and programming language theory. This mix of theoretical results and their integration in an implemented system has proven useful for a real-world application. We show how our knowledge base design process can be used to develop a data model for genetic markers, which are biological constructs used to search for genes associated with genetic diseases.

Copyright © 1995 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 4, CIKM, DOLAP, GIS, SIGFIDET, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA. ACM 1995
Contents BibTeX

Online Edition

Citation Page BibTeX

References

[1]
Hassan Aït-Kaci, Andreas Podelski: Towards a Meaning of LIFE. PLILP 1991: 255-274 BibTeX
[2]
...
[3]
Lubomir Bic, Craig Lee: A Data-Driven Model for a Subset of Logic Programming. ACM Trans. Program. Lang. Syst. 9(4): 618-645(1987) BibTeX
[4]
Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt (Eds.): On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, Book resulting from the Intervale Workshop 1982. Topics in Information Systems Springer 1984, ISBN 3-540-90842-0
Contents BibTeX
[5]
Michael J. Carey, David J. DeWitt, Daniel Frank, Goetz Graefe, M. Muralikrishna, Joel E. Richardson, Eugene J. Shekita: The Architecture of the EXODUS Extensible DBMS. OODBS 1986: 52-65 BibTeX
[6]
...
[7]
...
[8]
...
[9]
...
[10]
Amaryllis Deliyanni, Robert A. Kowalski: Logic and Semantic Networks. Commun. ACM 22(3): 184-192(1979) BibTeX
[11]
...
[12]
...
[13]
...
[14]
...
[15]
...
[16]
...
[17]
...
[18]
Bernhard Nebel, Gert Smolka: Representation and Reasoning with Attributive Descriptions. Sorts and Types in Artificial Intelligence 1989: 112-139 BibTeX
[19]
Lawrence C. Paulson: The Foundation of a Generic Theorem Prover. J. Autom. Reasoning 5(3): 363-397(1989) BibTeX
[20]
...
[21]
...
[22]
...
[23]
...
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
CIKM 1995 Proceedings, ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:01:51 2009