Oxford ISG: Projects (original) (raw)
Information Systems Group Projects
Current Projects
Constructing and Curating Knowledge Graphs.
DBOnto
Bridging Databases and Ontologies.
Enabling analytics over Diverse Distributed Datasources.
Ontology Reasoning over Frequently-changing and Streaming Data
Oracle ERO
Querying and Reasoning of Graph-Like Data in Centralised and Distributed Systems.
Knowledge Graph Construction for Personalisation.
Scalable Data Access in the Oil & Gas Domain.
UK Fires
Reaching Net Zero Carbon by 2050.
Completed Projects
Highly-efficient consequence-based reasoning for Description Logics.
Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access.
Reasoning for large and complex ontologies based on a new hypertableau calculus which minimizes both nondeterminism and model sizes.
Logic-based Methods for Ontology Mapping.
Senior Research Fellowship focused on the study of logic-based ontology languages.
Scalable End-user Access to Big Data.
Query Rewriting for Expressive Ontology Languages.
Reasoning for highly-expressive ontology languages, including features such as description graphs and role conjunction.
REQUIEM
Integrating ontologies and databases using query rewriting.
Reasoning for ontologies containing large numbers of individuals.
Score!
Scalable and Complete Reasoning with Incomplete Ontology Reasoners.
Developing benchmarking methodologies and data sets for testing the correctness and scalability of semantic technologies, in particular reasoners and data stores.