Knowledge Representation

In the domain of knowledge representation, a formal work on the trade-off between scalability and expressivity led to a first prototype implementation of a scalable knowledge representation system (PARKA), which was successfully used among others in medical information systems. Over the last years the research activity was oriented toward the possibility of using an ontological approach for modelling multi-dimensional data. Dynamic ontologies refer to the specification of a mechanism for managing reference ontologies and of a formal framework for learning ontology macros and ontology optimization. The projects in this domain conducted to the developement of KnOWLer, an ontology-based information management system targeting semantic integration into large-scale information systems, and of IKARO, a general-purpose formal system for repurposing ontologies.