Foundations of Description Logics
Artificial intelligence: A modern approach