The Importance of Logic e High-level language for expressing knowledge High expressive power Well-understood formal semantics Precise notion of logical consequence statements syntactically from a set of erive Proof systems that can automatically de premises Chapter 5 A Semantic Web primer4 Chapter 5 A Semantic Web Primer The Importance of Logic ⚫ High-level language for expressing knowledge ⚫ High expressive power ⚫ Well-understood formal semantics ⚫ Precise notion of logical consequence ⚫ Proof systems that can automatically derive statements syntactically from a set of premises