My research interests include knowledge representation, ontologies and ontology languages, modal and description logics, automated reasoning, implementation and optimisation of reasoning systems, and applications in areas such as e-Science and the Semantic Web.
publications
doctoral study in computer science
|
Fully Funded scholarships are available for D.Phil (PhD) study in the Computing Laboratory.
|
|
A fully Funded D.Phil Studentship is also available as part of the SEALS project.
|
international workshop on description logics
The 22nd International Workshop on Description Logics (DL2009) will be held in Oxford from the 27th to the 29th July, 2009
