The well-founded semantics for general logic programs
Journal of the ACM (JACM)
HILOG: a foundation for higher-order logic programming
Journal of Logic Programming
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Model-Based Mediation with Domain Maps
Proceedings of the 17th International Conference on Data Engineering
HinCyc: A Knowledge Base of the Complete Genome and Metabolic Pathways of H. influenzae
Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology
The VLDB Journal — The International Journal on Very Large Data Bases
Knowledge-Based Integration of Neuroscience Data Sources
SSDBM '00 Proceedings of the 12th International Conference on Scientific and Statistical Database Management
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
Neural homologies: principles, databases and modeling
Neural homologies: principles, databases and modeling
Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence)
Towards an ontology for sharing medical images and regions of interest in neuroimaging
Journal of Biomedical Informatics
Supporting clinical processes with semantic web technologies: a case in breast cancer treatment
International Journal of Metadata, Semantics and Ontologies
Hi-index | 0.00 |
We present issues arising when trying to formalize disease maps, i.e. ontologies to represent the terminological relationships among concepts necessary to construct a knowledge-base of neurological disorders. These disease maps are being created in the context of a large-scale data mediation system being created for the Biomedical Informatics Research Network (BIRN). The BIRN is a multiuniversity consortium collaborating to establish a large-scale data and computational grid around neuroimaging data, collected across multiple scales. Test bed projects within BIRN involve both animal and human studies of Alzheimer's disease, Parkinson's disease and schizophrenia.Incorporating both the static 'terminological' relationships and dynamic processes, disease maps are being created to encapsulate a comprehensive theory of a disease. Terms within the disease map can also be connected to the relevant terms within other ontologies (e.g. the Unified Medical Language System), in order to allow the disease map management system to derive relationships between a larger set of terms than what is contained within the disease map itself. In this paper, we use the basic structure of a disease map we are developing for Parkinson's disease to illustrate our initial formalization for disease maps.