![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Part-whole reasoning in medical knowledge bases using description logics
The development of powerful, ubiquitous and comprehensive medical ontologies that support formal reasoning on a large scale is one of the key requirements for clinical computing. Taxonomic medical knowledge, a...
-
Chapter and Conference Paper
Towards Very Large Terminological Knowledge Bases: A Case Study from Medicine
We describe an ontology engineering methodology by which conceptual knowledge is extracted from an informal medical thesaurus (UMLS) and automatically converted into a formally sound description logics system....
-
Chapter and Conference Paper
Parts, Locations, and Holes — Formal Reasoning about Anatomical Structures
We propose an ontology engineering framework for the anatomy domain, focusing on mereotopological properties of parts, locations and empty spaces (holes). We develop and formally describe a basic ontology cons...
-
Chapter and Conference Paper
A Search Engine for Morphologically Complex Languages
Document retrieval on natural languages with a rich morphology — particularly in terms of derivation and (single-word) composition — suffers from serious performance degradation with the direct query-term-to-t...
-
Chapter and Conference Paper
Turning Lead into Gold? Feeding a Formal Knowledge Base with Informal Conceptual Knowledge
We describe an ontology engineering methodology by which conceptual knowledge is extracted from an informal medical thesaurus (UMLS) and automatically converted into a formal description logics system. Our app...
-
Chapter and Conference Paper
Frame of Interest Approach on Quality of Prediction for Agent-Based Network Monitoring
We present an approach to compute the quality of prediction for network monitoring. The monitoring is part of a proactive mobile agents based management system for network health (magmaNH). To allow prediction...
-
Chapter and Conference Paper
TAKEUP: Trust-Based Agent-Mediated Knowledge Exchange for Ubiquitous Peer Networks
Agent-mediated Knowledge Management is a promising approach to handle and maintain knowledge, especially in a distributed and mobile environment. One example for such an environment is a mobile community: mobi...
-
Chapter
Building a Very Large Ontology from Medical Thesauri
We report on a large-scale knowledge conversion and curation case study. Medical knowledge from a comprehensive, though semantically shallow terminological repository, the UMLS, is transformed into a formally ...
-
Chapter and Conference Paper
Anatomical Information Science
The Foundational Model of Anatomy (FMA) is a map of the human body. Like maps of other sorts – including the map-like representations we find in familiar anatomical atlases – it is a representation of a certai...
-
Chapter and Conference Paper
Enhancing Grid Security Using Trusted Virtualization
Grid applications increasingly have sophisticated functional and security requirements. Current techniques mostly protect the grid resource provider from attacks by the grid user, while leaving the user compar...
-
Chapter and Conference Paper
Integrating System Modelling with Safety Activities
Increasing enforcement of safety standards – such as the new ISO 26262 – requires developers of embedded systems to supplement their development processes with safety-related activities, such as hazard analysi...
-
Chapter and Conference Paper
Ontology-Based Reengineering of the SNOMED CT Context Model
SNOMED CT is a terminology system partially built on formalontological principles. Although its on-going redesign efforts increasingly consider principles of formal ontology, SNOMED CT’s top-level categories a...
-
Chapter and Conference Paper
How Ontologies Can Improve Semantic Interoperability in Health Care
The main rationale of biomedical terminologies and formalized clinical information models is to provide semantic standards to improve the exchange of meaningful clinical information. Whereas terminologies shou...
-
Chapter and Conference Paper
A Tool Environment for Managing Families of Model Transformation Rules
Model transformation systems often contain families of rules that are substantially similar to each other. Variability-based rules are a recent approach to express such families of rules in a compact represent...
-
Chapter and Conference Paper
A Modal Representation of Graded Medical Statements
Medical natural language statements uttered by physicians are usually graded, i.e., are associated with a degree of uncertainty about the validity of a medical assessment. This uncertainty is often expressed thro...
-
Chapter and Conference Paper
Ontological Representation of Laboratory Test Observables: Challenges and Perspectives in the SNOMED CT Observable Entity Model Adoption
The emergence of electronic health records has highlighted the need for semantic standards for representation of observations in laboratory medicine. Two such standards are LOINC, with a focus on detailed enco...