Title: An Introduction to Description Logic, Author: Franz Baader
Title: Neural Networks for Knowledge Representation and Inference, Author: Daniel S. Levine
Title: Time-constrained Memory: A Reader-based Approach To Text Comprehension, Author: Jean-Pierre Corriveau