Ontology Templates, multiple topics
We have different master topics available for ontology templates.
- April 2018, Topic 5 added.
- Feb 2018, Topic 4 added.
Reasonable Ontology Templates (OTTR)
Ontology templates is a promising new tool-supported approach for developing and maintaining ontologies developed by the Logid research group.
Ontology templates are similar to basic macros known from programming languages and allow complex ontology structures to be encapsulated as templates and given a clear interface for use.
The templates themselves are represented using the OWL ontology language. This lets them be reasoned over and managed using readily available W3C languages and tools, such as RDF, SPARQL, ontology reasoners and editors.
We believe ontology templates will dramatically reduce the cost and barriers of using semantic technologies and ontologies at scale.
The industry has expressed interest in our approach and we are working together with Acando, Aibel, DNV-GL and Siemens to further develop tools and methodologies for large-scale industrial use of ontology templates.
Our master thesis topics can be co-supervised by DNV GL and Acando, and is it possible for the interested student to carry out the work in close contact with our industry partners.
We are looking for motivated students preferable with a background in one or more of the following areas: logic, semantic technologies, database theory and programming languages.
Topic 1: Tools and methods for ontology template library maintenance
Student: Bård Christer Johnsen, baardcj
An ontology development project will require the use of a large set of templates. This set of templates must be structured to make it easy to use, for extending it with new templates, and for discovering inconsistencies and redundancies.
The goal of this master topic is to identify and formally describe relevant relationships between templates to achieve this structuring, and to implement tools that discovers such relationships between templates.
Relevant existing literature is formal ontology methods, such as ontology modularisation, and programming language theory.
Topic 2: Best practice modelling of ontologies with ontology templates
We have little experience in using ontology templates inlarge-scale projects. The goal of this master topic is to develop best-practices for how to use ontology templates in the design of ontologies.
Relevant existing literature are similar relationships defined for so-called ontology design patterns, best-practices for ontology engineering in general, other data modelling approaches like ORM.
Topic 3: Compare and bridge Object-Role Modelling (ORM) and Ontology Templates
Student: Mathias Johan Poyti Stang, mjstang
This topic is a specialisation of topic 2 with the specific focus of transferring the ideas from ORM over to the ontology templates approach.
Topic 4: Visual construction of ontology templates and ontology queries
Ontology templates can be created by combining and constraining other templates. How templates can be composed are described by its signature which contains its name and its list of typed parameters/variables -- similar to a Java method signature.
The aim of this topic is to design a graphical language for ontology templates that can support a visual tool for template construction, and to implement a prototypical version of this tool as a web application.
An ontology template can also function as a SPARQL query. The tool should also support sending SPARQL queries and presenting the query results.
Topic 5: Ontology templates Protégé plugin
Develop a Protégé plugin for using OTTR templates with Protégé (https://protege.stanford.edu/).
The plugin should support efficient use and construction of templates, such as:
- development of templates
- use of templates in ontology construction, e.g., exanding template instances
- displaying a library of templates
- analysis of the used templates