Preface
xvii
It is a pleasure for Anthony Seda to thank Professor Steffen H¨ olldobler
for providing excellent research facilities and hospitality on two visits to the
Knowledge Representation and Reasoning Group at the Artificial Intelligence
Institute of the Department of Computer Science, Technical University Dresden, and to thank Deutscher Akademischer Austauschdienst (DAAD) for support on those occasions. He also acknowledges research support provided by
the Boole Centre for Research in Informatics, Science Foundation Ireland,
and University College Cork and is also considerably indebted to University
College Cork for the leave of absence needed to finish this work.
We also wish to thank several publishers for permission to reproduce parts
of certain of our papers, as follows.
• Elsevier Science Publishers Ltd. for extracts from [Hitzler and Seda, 1999a],
[Hitzler and Seda, 2002b], [Hitzler and Seda, 2003], [Hitzler et al., 2004], and
[Seda, 2006].
• International Information Institute for extracts from [Lane and Seda, 2006],
[Seda, 2002], and [Seda and Lane, 2005].
• IOS Press for permission to reprint the examples on Pages 111 and 112 from
[Seda, 1997].
• Oxford University Press for extracts from [Seda and Hitzler, 2010].
• The Mathematics Department of Auburn University, USA for extracts from
[Hitzler and Seda, 1999c] and [Seda and Hitzler, 1999b].
Finally, we are grateful to Kari A. Budyk, Iris Fahrer and especially to
Randi Cohen, all of Taylor & Francis Group, for their sustained help and
unfailing assistance at all stages in the preparation of the book for publication.
In addition, we would like to express our thanks to Shashi Kumar at the L A T E X
Help Desk for solving a number of problems concerned with typesetting and to
the editorial support staff of Taylor & Francis Group for their careful reading
of the manuscript. We are highly indebted to the referees also for their many
helpful comments and suggestions, which led to a considerable broadening and
extension of the scope of the book, and also to the inclusion of a number of
important topics which otherwise would have been omitted. Last, but very far
from least, we extend our heartfelt thanks to our wives, Anne and Martine,
for their constant support and also for their endurance and forbearance in the
face of countless hours spent by us in the preparation of the manuscript.
Pascal Hitzler
Anthony Seda
Dayton and Cork
xvii
It is a pleasure for Anthony Seda to thank Professor Steffen H¨ olldobler
for providing excellent research facilities and hospitality on two visits to the
Knowledge Representation and Reasoning Group at the Artificial Intelligence
Institute of the Department of Computer Science, Technical University Dresden, and to thank Deutscher Akademischer Austauschdienst (DAAD) for support on those occasions. He also acknowledges research support provided by
the Boole Centre for Research in Informatics, Science Foundation Ireland,
and University College Cork and is also considerably indebted to University
College Cork for the leave of absence needed to finish this work.
We also wish to thank several publishers for permission to reproduce parts
of certain of our papers, as follows.
• Elsevier Science Publishers Ltd. for extracts from [Hitzler and Seda, 1999a],
[Hitzler and Seda, 2002b], [Hitzler and Seda, 2003], [Hitzler et al., 2004], and
[Seda, 2006].
• International Information Institute for extracts from [Lane and Seda, 2006],
[Seda, 2002], and [Seda and Lane, 2005].
• IOS Press for permission to reprint the examples on Pages 111 and 112 from
[Seda, 1997].
• Oxford University Press for extracts from [Seda and Hitzler, 2010].
• The Mathematics Department of Auburn University, USA for extracts from
[Hitzler and Seda, 1999c] and [Seda and Hitzler, 1999b].
Finally, we are grateful to Kari A. Budyk, Iris Fahrer and especially to
Randi Cohen, all of Taylor & Francis Group, for their sustained help and
unfailing assistance at all stages in the preparation of the book for publication.
In addition, we would like to express our thanks to Shashi Kumar at the L A T E X
Help Desk for solving a number of problems concerned with typesetting and to
the editorial support staff of Taylor & Francis Group for their careful reading
of the manuscript. We are highly indebted to the referees also for their many
helpful comments and suggestions, which led to a considerable broadening and
extension of the scope of the book, and also to the inclusion of a number of
important topics which otherwise would have been omitted. Last, but very far
from least, we extend our heartfelt thanks to our wives, Anne and Martine,
for their constant support and also for their endurance and forbearance in the
face of countless hours spent by us in the preparation of the manuscript.
Pascal Hitzler
Anthony Seda
Dayton and Cork