Current Research Work - Higher Layers
Query languages
Rules
Inference
Proof
Trust
Dave Beckett
Slide 14.