Knowledge Engineering with Semantic Web Technologies

Week 4

4.11 EXTRA: RDF(S) Semantics (4) - Deduction Calculus