Ontology: A Practical Guide by Adam Pease.
From the announcement:
This new book reports on a decade of work developing SUMO and its associated tools, models and domain ontologies. Written for a wide audience, it should be accessible to anyone with a general computer science background. It includes introductions to topics such as formal theorem proving and the properties of different formal knowledge representation languages.
The book is suitable as a self-study guide for the professional, student or researcher. It also includes a number of exercises with selected answers, making it appropriate as a textbook for a senior year or graduate level course in AI knowledge representation.
Adam Pease, is the Technical Editor for the Suggested Upper Merged Ontology (SUMO) project.
I am waiting for my copy to arrive! More comments to follow.