Ontology Templates, multiple topics
We have different master topics available for ontology templates.
Reasonable Ontology Templates (OTTR)
Ontology templates is a promising new tool-supported approach for developing and maintaining ontologies developed by the ASR 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 Aibel, DNV-GL 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 Aibel, 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: FROG: Functions for ontologies
Implement a parser and executor for FROG. FROG is a purely functional language similar to Scheme, but with a static type system and written in RDF. FROG is meant to manipulate the terms in a template definition. This thesis involves implementing:
- A parser for FROG, translating RDF definitions into internal Java objects
- A type checker for FROG definitions
- An executor that can execute function calls
This implementation will extend out already existing OTTR implementation, named Lutra.
Topic: 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: 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: 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.