Skip to main content

Information Systems

The Information Systems group carries out world leading research covering several broad and overlapping areas:

  • Databases, where the focus is on topics ranging from query languages and optimisation to web data extraction and the implementation of lightweight database applications for devices such as mobile phones;
  • Knowledge Representation and Reasoning, where the focus is on knowledge representation formalisms, ontology languages, reasoning systems, and applications in areas such as e-Science and the Semantic Web;
  • Computational Linguistics, where the focus is on combining established knowledge-based approaches with statistical and machine learning methods;
  • Spatial Reasoning, where the focus is on problems whose solution is highly dependent on the exact shape of objects, such as collision detection, path planning, wire-loom design, and assembling jig-saws; and
  • Multiagent Systems, where the focus is on the computational aspects of rational action in systems composed of multiple self-interested computational systems.

Links

Information Systems Group website

Related seminar series

All Activities

Activities

Knowledge Representation and Reasoning The Knowledge Representation and Reasoning Group conducts research in…

Read more about Knowledge Representation and Reasoning

Machine Learning   Machine Learning research in the Department of Computer Scien…

Read more about Machine Learning

All Projects

Projects

DBOnto This is a platform project: its goal is to support research within th…

Read more about DBOnto

Quantitative Logic-based Games The use of game theoretic techniques in computer science is becoming …

Read more about Quantitative Logic-based Games

All Publications

Publications

Pushing the limits of OWL 2 reasoners in ontology alignment repair problems

Read more about Pushing the limits of OWL 2 reasoners in ontology alignment repair problems

Limiting Logical Violations in Ontology Alignment Through Negotiation

Read more about Limiting Logical Violations in Ontology Alignment Through Negotiation

Research