Europe

Projects in Course

1. Protégé Integration

The goal of this project is to realize an integration between KAMET conceptual models in ADOxx and Protege ontologies. To achieve this goal, a student would need to make himself/herself familiar with the KAMET modeling tool and with the Protege tool.

Moreover, RDF technology will be realized to enable a bridging between those two tools. A student would implement a RDF export functionality by adapting an already existing generic RDF export algorithm. The resulting schema can then be used as an import format for Protege.

The opposite way, i.e., integrating Protege ontologies into the KAMET tool can also be part of this project. The student could rely on existing approaches that created such an integration between Protege and the SemFIS tool on ADOxx.

The aim of this project is to enable an integration between the open modeling tool KAMET and the open ontology platform Protege. Protege is widely used for knowledge processing and therefore comes with a powerful set of functionality. KAMET will eventually benefit from this integration in manifold ways. Once the KAMET models are integrated into Protege, processing of these models with Protege could be investigated.

2. Enhanced Graphical Visualization

The goal of this project is to enhance the graphical visualization of the KAMET models in ADOxx. To achieve this goal one student with some graphical skills/design background could investigate on a proper visualization of all syntactic elements of the KAMET modeling language. The student should familiarizes himself/herself with the Physics of Notation (PoN) and other relevant literature on creating intuitive and simpli ed representations. He/she should then apply this knowledge and creatively draft new graphical visualizations for KAMET.

As a proof of concept, these new visualizations shall be realized in the ADOxx KAMET modeling tool. This will enable evaluating the new visualizations, e.g., in student groups at ITAM using a questionnaire and letting students compare the old with the new visualizations. The aim of this project is to increase the intuitiveness of the KAMET modeling language. Having a proper visualization is mandatory for utility and application of the method by others. The current visualizations are very simplified, hence, this project will have a very positive impact on the KAMET method and tool.

3. Concept Network Transformation

The goal of this project is to specify and implement a generic model transformation algorithm that enables the transformation of KAMET knowledge acquisition models into Concept Network (CN) models.

To achieve this goal, a student should familiarize himself/herself with model transformation techniques and metamodelling. Moreover, the student needs
to have solid AdoScript knowledge. AdoScript is the scripting language of the ADOxx platform. The transformation needs to be realized with AdoScript.
Initial ideas on the transformation of KAMET models into CN models are written in scientific publications. Moreover, current research aims at providing first metamodel mappings between these two modeling languages. Hence, the student can start from existing works and investigate existing ideas.

A very simplified version of the transformation should be straight forward, however, it would be interesting to see how the KAMET values are reflected within the algorithm (e.g., 2 out of 4 etc.). Such values, rather simple to specify in KAMET, result in high complexity when automatically computing the CN. A last challenge is the automatic positioning of the generated CN in ADOxx. Hence, not only a transformation algorithm needs to be implemented, also an algorithm for automatic positioning of the resulting CN needs to be designed and implemented with ADOxx. Existing model transformation and alignment algorithms can be provided and maybe ease the design and implementation. Due to this complexity, this project might be suitable for two students that collaboratively work on it.

The aim of this project is to realize the idealized model transformation approach in ADOxx. The transformation enables formal veri cation and validation of the KAMET models using concept algebra. This is especially of benefit in critical domains like health care among others.

4. Concept Network Manipulation

The goal of this project is to investigate further processing possibilities in the concept network. Transforming the KAMET models into CN models is just the first step (however a prerequisite for this project). Hence, the models shall be used to check validity and to apply further concept algebra. A student working on this
project needs to have solid mathematical background and be interested to dive in deep into the concept algebra world. Afterwards, the gained knowledge shall
be used to design and implement specific concept algebra functionality, e.g., compositional operations and the relational operations, based on the KAMET
CN models in ADOxx. Moreover, maybe it would be nice to have an export component that generates the mathematical representation out of a concept
network in ADOxx.

The aim of this project is to use the formal representation of the KAMET models (i.e., the concept network models) for further analysis of the knowledge. This will significantly increase the utility of the KAMET method and tool.

5. Sample Domain Applications

The goal of this project is to design sample domain applications and use case scenarios of the KAMET method. Such materials can then be used in university classes, scientific publications, or the KAMET webpage within OMiLAB. A student working on this project should use the KAMET tool to realize a few concrete case studies, ideally with a practical partner or, if this is not feasible, by creating arti cial cases. The student should then create KAMET models to solve the specified cases. Besides the models, a comprehensive textual specification of the scenarios should be created, possibly comprised by a set of power point slides. All materials should be in English to enable the best exploitation.

The aim of this project is to provide a solid set of applications of the KAMET method. This will enable evaluation of the method and the tool, it will generate change requests, and it will provide the possibility to use KAMET in education and research.