Modelling Localised Conceptualisations and Annotations in a Multilingual OWL Ontology

By: Frances Gillis-Webber

Ontologies are intended as a particular conceptualisation of the world. When formalised using Web Ontology Language (OWL), entities and axioms contained therein are typically annotated in a natural language, using rdfs:label. To create a multilingual...

CS PhD Hasso Plattner Institute Knowledge Engineering

Human Belief Change

An Empirical Investigation for Patterns of Belief Change in Human Reasoning

By: Clayton Baker

Belief revision and belief update are approaches to represent and reason with knowledge in artificial intelligence. Previous empirical studies showed that human reasoning is consistent with non-monotonic logic. Additionally, previous studies showed that...

CS Masters by Dissertation CS PhD Centre for Artificial Intelligence Research

An Investigation of a Game Generator Tool to Teach Recursion

By: Jecton Anyango

Learning programming is difficult for most students. Particularly, the recursion topic. Although games have been proposed as an alternative instructional media given their motivational impact, their mainstream adoption rate in teaching still remains low....

CS PhD Hasso Plattner Institute Digital Libraries

Generating Answerable Questions from Ontologies

By: Toky Raboanary

Proposals for automating the creation of teaching materials across the sciences and humanities include question generation from ontologies.Those efforts have focused on multiple-choice questions, whereas learners also need to be exposed to other types of...

CS PhD Hasso Plattner Institute Knowledge Engineering

Cost-aware Internet Security Decision Model

Helping Users to make optimal Internet security Decisions

By: Enock Mbewe

The current delegated or "Stupid user" implementation of Internet Security services leaves users out of security decision making and configuration processes. This distorts their online security's mental models. As a result, many users do not configure...

CS PhD Hasso Plattner Institute

A Corpus-based Method for Authoring Competency Questions in Ontology Engineering

By: Mj Antia

Competency Questions (CQs) are sets of natural language questions drawn from a given domain and are intended for use in ontology engineering processes. While there has been substantial research on the important roles that CQs play in the ontology...

CS PhD Hasso Plattner Institute Knowledge Engineering

Solving hard problems with local search for Boolean satisfiability

By: Johan Bontes

Supervised By: James Gain

Computers have become essential tools for solving scientific problems. Whilst humans are good at many aspects of problem solving, computers outclass them in many ways, for example in precise logical reasoning using propositional logic, also known as...

CS PhD Hasso Plattner Institute

Investigating Multiple periodicities in User’s Web Search Behaviour to Improve Personalization of Information Retrieval Systems

By: Jivashi Nagar

Web users generally get irrelevant results when they submit an ambiguous and/or under-specified query. Search engines are not able to distinguish the different intents associated with a query. The results provided are generally biased towards the popular...

Digital Libraries CS PhD