Book

Principles of knowledge representation and reasoning

by James Allen, Richard Fikes, Erik Sandewall