ontomed Theories Concepts Applications  
 
Ontological
Investigations
Conceptual
Modelling
Onto-Builder
 
 
Axiomatic
Foundations
Domain
Ontologies
Onco-Workstation
 
 
Metalogical
Analyses
Ontology
Languages
SOP-Creator
 
           
           
  ontomed Theories Concepts Applications  
  ontological investigation conceptual modelling onto-builder  
  axiomatic foundations Domain Ontologies onto-workstation  
  Metalogical Analyses gol sop-creator  
           
 
 

Onto-Med >> Concepts >> Overview

 
     

Concepts

Research in the area of concepts is directed at

  • the development of formal tools and methods supporting the construction and representation of ontologies,
  • the building of a general framework for ontological and conceptual modeling,
  • the construction of generic and domain-specific ontologies in the areas of medicine and the biomedical sciences.

Conceptual Modeling

Research in Conceptual Modeling is devoted to the construction and representation of conceptual systems at different levels of abstraction and granularity. In particular, the following topics are investigated:

  • principles and methods for ontology development, ontology integration, and ontology evolution,
  • meta-ontological principles and ontology architectures,
  • structure, definition and specification of concepts.

Domain Ontologies

This research is aimed at the development and representation of generic and domain-specific ontologies in different areas of medicine, the biomedical sciences, and the field of clinical trials. These ontologies serve as use cases for the basic ontologies developed in the Theories area.

Ontology Languages

The aim of this research is the building of an integrated library of logic-based languages and representation formalisms, and the development of formal methods which support the specification, modularization, and the meta-logical analyses of ontologies. The following topics are of major interest:

  • model-theoretic languages,
  • Semantic Web languages,
  • semantics of modeling languages (UML).

 
       
     
     
     

   
     
     
       
 

deutsch   imise uni-leipzig ifi dep-of-formal-concepts