Expressive reasoning under constraints

From Master Projects
Jump to: navigation, search


About Expressive reasoning under constraints

  • This project has not yet been fulfilled.
  • This project fits in the following Bachelor programs: {{#arraymap:|, |xXx|bachelorproject within::xXx|,}}
  • This project fits in the following masterareas: {{#arraymap:Internet and Web Technology, Technical Artificial Intelligence, Knowledge Technology and Intelligent Internet Applications|, |xXx|project within::xXx|,}}


Description

Expressive reasoning with ontology languages such as OWL is well understood, and although the languages usually highly untractable, reasoning is possible in practice. In this Master thesis we will investigate the behaviour of existing tools and methods when the infrastructure becomes contrained, e.g. in the context of hand-held devices, or computers developed for useage in the developing world.

This research will initially compare existing tools, and if necessary and possible, adapt the existing logical methods so that they can be down-scaled to less powerful machinery.