C

• ConCur ConCur: Knowledge Base Construction and Curation

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

• Gauge
• Generative Formal Templates And Relational Databases

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
• QUINTON QUINTON - QUerying and INTegrating Over Nested data

R

• RAISON DATA RAISON DATA - Rule-Based AI Systems for Reasoning on Massive Data
• 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