Data and Knowledge Group

― Knowledge Representation and Reasoning

Information Systems Group Projects


Current Projects

ConCur

Constructing and Curating Knowledge Graphs.

DBOnto

Bridging Databases and Ontologies.

ED3

Enabling analytics over Diverse Distributed Datasources.

OASIS

Ontology Reasoning over Frequently-changing and Streaming Data

Oracle ERO

Querying and Reasoning of Graph-Like Data in Centralised and Distributed Systems.

Samsung

Knowledge Graph Construction for Personalisation.

SIRIUS

Scalable Data Access in the Oil & Gas Domain.

UK Fires

Reaching Net Zero Carbon by 2050.


Completed Projects

ConDOR

Highly-efficient consequence-based reasoning for Description Logics.

ExODA

Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access.

HermiT

Reasoning for large and complex ontologies based on a new hypertableau calculus which minimizes both nondeterminism and model sizes.

LogMap

Logic-based Methods for Ontology Mapping.

LOGO

Senior Research Fellowship focused on the study of logic-based ontology languages.

Optique

Scalable End-user Access to Big Data.

QueRe

Query Rewriting for Expressive Ontology Languages.

REOL

Reasoning for highly-expressive ontology languages, including features such as description graphs and role conjunction.

REQUIEM

Integrating ontologies and databases using query rewriting.

RInO

Reasoning for ontologies containing large numbers of individuals.

Score!

Scalable and Complete Reasoning with Incomplete Ontology Reasoners.

SEALS

Developing benchmarking methodologies and data sets for testing the correctness and scalability of semantic technologies, in particular reasoners and data stores.