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.
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.
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.
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).