C
- ConCur ConCur: Knowledge Base Construction and Curation
Q
- QUINTON QUINTON - QUerying and INTegrating Over Nested data
R
- RAISON DATA RAISON DATA - Rule-Based AI Systems for Reasoning on Massive Data
U
- UK FIRES UK FIRES: Locating Resource Efficiency at the heart of Future Industrial Strategy
A
- A theory of nondeterministic databases
- ALIGNED ALIGNED: Quality-Centric Software and Data Engineering
- AnaLOG Datalog Extensions for the Analysis of Static and Streaming Data
- ArtForm
B
- Bayesian Optimization Bayesian Optimization and Bandits
C
- Choreographing Complex Services
- Computer Vision Image search and recognition
- ConDOR Consequence-Driven Ontology Reasoning
- Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity
D
- DBOnto DBOnto: Bridging Databases and Ontologies
- DIADEM DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology
E
- e-Infrastructure Use Cases and Usage Models eIUS: e-Infrastructure Use Cases and Service Usage Models
- ED3 Enabling analytics over Diverse Distributed Datasources
- ENFRame ENFrame: A Programming Framework for Probabilistic Data
- ExODA ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data Access
- ExtraLytics ExtraLytics: Big Data Analytics for Real Estate
F
- FDB FDB: Factorised Databases
- FOX FOX: Foundations of XML - Safe Processing of Dynamic Data over the Internet
G
H
- HermiT HermiT: Reasoning with Large Ontologies
L
- LogMap LogMap: Logic-based Methods for Ontology Mapping
- LOGO Logics for Ontologies (EPSRC Senior Research Fellowship)
M
- MaSI3 A Massively Scalable Intelligent Information Infrastructure
- MayBMS MayBMS: A Database Management System for Uncertain and Probabilistic Data
- Model-driven software development Booster: Model-driven software development
O
- Optique Optique: Scalable End-user Access to Big Data
P
- Parsing of Biomedical Text Accurate and Efficient Parsing of Biomedical Text
- PDQ Proof-Driven Querying
- Privacy in Ontology-Based Information Systems
- Probabilistic Graphical Models
Q
- Quantitative Logic-based Games Combining Qualitative and Quantitative Reasoning for Logic-based Games
- QueRe Query Rewriting for Expressive Ontology Languages
- Query-driven Data Acquisition from Web-based Data Sources
R
- Reinforcement Learning Sequential decision making and reinforcement learning
- REQUIEM REQUIEM: Resolution-based Query rewrIting for Expressive Models
- RInO Reasoning Infrastructure for Ontologies and Instances
- RoboCup RoboCup International Robot Competitions
- Robot Football OxBlue, Oxford's Robot Football teams at RoboCup
- Robotic Search and Rescue
S
- Schema Mappings and Automated Services for Data Integration and Exchange
- Score! Score!: Scalable and Complete Reasoning with Incomplete Ontology Reasoners
- SEALS SEALS: Semantic Evaluation at Large Scale
- Semantic Frameworks Semantic Frameworks for e-Government
- sif service-oriented interoperability framework
- SPROUT Scalable Query Processing in Probabilistic Databases
- Switched Lightpaths for e-Science Applications Exploitation of Switched Lightpaths for e-Science Applications
W
- Wolfson Award Royal Society Wolfson Research Merit Award
- Workflow interoperability A framework for workflow interoperability