I live in
where I am a professor in the
Management Group within the School of Computer
Science of the University
of Manchester, a Deputy Head of School, and a Senior Mentor. I also hold a visiting position
in the LOGID group at the Institutt for Informatikk of the University of Oslo.
address is: School of Computer Science (building 39 on this map), University of
Manchester, Oxford Road, Manchester M13 9PL, UK
- Office: Room 2.121
- Voice (+44-161) 275-6176
Fax (+44-161) 275-6236
- My calendar is available online.
My general research interests are in logics for knowledge representation
and automated deduction. More specifically, I am interested in
Description, Modal, and Dynamic Logics, the corresponding inference
problems, their complexity, and decision procedures for these problems.
Description Logics are a family of
knowledge representation formalisms with several nice properties such
as high expressive power, well-defined semantics, decidable inference
problems, and practicable inference algorithms for these problems. I
work on Description Logics as the logical underpinning of ontology
languages such as OWL and OWL 2; their
usage, for example, in molecular biology; practical inference
algorithms for highly expressive Description Logics; and on the
complexity of and inference algorithms for Description, Modal, and
Dynamic Logics, using
e.g., automata-based and tableau-based techniques.
- I will give courses at WebST2016, ESSLLI 2016 (together with Thomas
Schneider), and NASSLLI 2016.
- I have given a course on Description Logics at the Reasoning Web Summer
- we have revamped the OWL in Manchester web
site, with a new list of DL reasoners.
is a Knowledge Blog for
descriptive, tutorial and explanatory material about building, using
and maintaining ontologies, as well as the social processes and
technology that support this. So far, I have contributed, with
trees and what
you can and can't say in OWL,
when to use a
objects in OWL,
graphics into OWL.
- our School of Computer Science was awarded a Centre for Doctoral Training, which provides students
with a novel way of working towards their PhD and comes with funding
for home and EU students! Additional, there is funding
available for all PhD students: you are cordially invited to apply!
- the Journal of Logic and
Computation has a corner on Logic for Ontology Engineering
, and you are cordially invited to submit a paper
Publications and talks
- An irregularly updated list of
my publications is available online, as well
as a shiny
DBLP Publication List. Also,
google scholar is so kind to maintain my citations.
- Teaching and
- If you consider doing your Ph.D. in logic-based knowledge
representation, ontologies, or Description or Modal Logics, and would
like to do it within our great, cross-disciplinary IMG group and under my supervision,
please have a look at the
web page for future Ph.D. students and
let me know.
I teach, together with Bijan Parsia,
Connie Hedeler, and the
friendly support of <oXygen/> XML
on semi-structured data and the Web;
together with Sean Bechhofer, COMP62342 on
Ontology Engineering for the Semantic Web;
and, together with Carole Goble, the Research Seminar COMP80122.
Schneider and I gave an introductory course on Description Logics at ESSLLI
Currently, I am co-supervising the following PhD students:
Sazonau, Jared Leo, and
The following is a list of people with a PhD that I have had the great
pleasure to co-supervise in the past: Lei Li, Birte Glimm, Matthew Horridge,
Peihong Ke ,
Del Vescovo, Samantha
Rafael Goncalves, Nico
- Cooperations and
- Ian Horrocks and
me are developing practicable inference algorithms for very expressive
Description Logics. Some of our algorithms were implemented by Ian in
his automated reasoner FaCT and they are
being used in various modern DL
In the EPSRC project Composing and
decomposing ontologies: a logic-based approach, I have been working with Thomas Schneider, Ian Horrocks, Bijan Parsia, Dirk Walther, Frank Wolter, and (as a guest star) Carsten
I am an editor of the Logic for Ontology Engineering corner
of the Journal of Logic
and Computation, on the editorial board of the Journal
of Automated Reasoning, was a PC co-chair of KR 2010, am a member
of the OWLED steering
committee, and the member of various PCs.
from previous years are stored elsewhere.
I gave tutorials at the Reasoning Web Summer School 2007 and at the ACIA Summer School 2007.
Carsten Lutz and
I gave a course on Description Logics at ICCL
Summer School 2005:
Logic-based Knowledge Representation .
Ian Horrocks and I gave
on Description Logics at IJCAR 2001 (slides can be
on Description Logics at ECAI2002; and
an introductory course
on Logical Foundations for the Semantic Web at ESSLLI2003.
Carsten Lutz and I
gave an advanced course
on Description Logics at ESSLLI2002, and an introductory
course on Description Logics at ESSLLI2004 in Nancy.