Semantic Web Architecture 2
Ontologies
Rules
Logics
Inferencing and Proof
Trust
Dave Beckett
Slide 9.