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.
A complete list of my publications, along with downloadable pdfs. Lists of selected, recent, and most-cited publications are also available. If you are a glutton for punishment you could also look at my Google Citations profile, or my DBLP entry.
Tools & Datasets
The group has developed many tools , including, e.g., HermiT , a highly optimised OWL 2 reasoner, ELK , a consequence based OWL 2 EL reasoner, PAGOdA , a pay-as-you-go OWL 2 query answering system, RDFox , a highly scalable RDF triple store, and SemFacet , a semantic faceted search system. We also maintain a library of ontologies and datasets .
Doctoral Study in Computer Science
Students working towards their D.Phil (PhD) are an integral part of the Information Systems Group, and make a vital contribution to our research. As a result of a generous donation from Google, we currently have a number of fully funded studentships available in addition to our usual range of studentships and other scholarships . See our studentships page for further details, and information about other funding opportunities .
Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which?
Ahmet Soylu‚ Martin Giese‚ Ernesto Jimenez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Ian Horrocks
In Universal Access in the Information Society. Vol. (in press). 2016.
Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users
Ahmet Soylu‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Guillermo Vega−Gorgojo and Ian Horrocks
In Universal Access in the Information Society. Vol. 15. Pages 129−152. 2016.