These web pages cover my experiments with knowledge representation and reasoning (KRR).
The Elephant and The Fly