Our team in the Computer Science Department at the University of Oxford started out in 2011 with the mission to bring Semantic Technologies into business and industry. We developed RDFox, the optimised RDF-triple store and parallel Datalog reasoner, which allows users to store millions of triples in RAM and conduct fast parallel Datalog reasoning.
RDFox has been under continuous development for the past five years in which RDFox has grown into a mature application, fit for purpose. The data structures and algorithms have been continuously refined until all performance bottlenecks were identified and removed. RDFox has also been applied in several pilot industry projects for prestigious partners, such as Siemens, Statoil, Kaiser Permanente, Skyscanner and Arma Suisse during which the functionality has been extended to match business requirements.
Oxford Semantic Technologies combines expert know-how and the patented Oxford key technology RDFox to provide businesses with a tailored solution to access, process and analyse data.
Our paper "Foundations of Declarative Data Analysis Using Limit Datalog Programs", co-authored with Mark Kaminski and Egor V. Kostylev received the best paper award at the 26th International Joint Conference on Artificial Intelligence (IJCAI'17).
Bernardo is a professor in the Department of Computer Science at the University of Oxford. He has made key contributions to several critical aspects of ontology engineering, including modularity, information hiding and privacy, and debugging and repair, and he was awarded best paper prizes at ESWC-2006 and AAAI-2010. He currently holds a prestigious Royal Society University Research Fellowship.
Ian is a professor in the Department of Computer Science at the University of Oxford where he leads the Information Systems Group. He is widely known for his work on description logic reasoning, where he developed algorithms and systems that set new standards for empirical tractability, and for his work on ontology languages, where he led the design and standardisation of the OWL ontology language. He is a Fellow of the Royal Society, a member of Academia Europaea, and a fellow of the European Association for Artificial Intelligence (EurAi).
Boris is a professor in the Department of Computer Science at the University of Oxford. He has made many important contributions to the theoretical foundations of description logics and ontology languages, including rule and non-monotonic extensions, and the integration of ontologies and database technologies. He currently holds an EPSRC Early Career fellowship, and was the winner of the 2013 BCS Roger Needham Award for his work on intelligent information systems.