OUCL
news
research
teaching
people
calendar
resources
login
OXFORD UNIVERSITY
COMPUTING LABORATORY
Research Projects
Current Projects
LOGO: Logics for Ontologies
RInO: Reasoning Infrastructure for Ontologies and Instances
REOL: Reasoning for Expressive Ontology Languages
HermiT: Reasoning with Large Ontologies
Composing and decomposing ontologies: a logic-based approach
RIAM: Reciprocal Interoperability between the Accessible and Mobile Webs
Completed Projects
Knowledge Web
REWERSE
Dynamic Ontologies: a Framework for Service Descriptions
WonderWeb
Reasoning About Conjunctive Query Containment Under Constraints
CAMELOT: AN ADAPTABLE KNOWLEDGE MANAGEMENT SYSTEM FOR LOOSELY STRUCTED DATA
HyOntUse: Hybrid User Oriented to Ontology Tools
MYGRID: Directly Supporting the E-Scientist
