Specializations of Predicate Logic. RDF and owl RDF/S and OWL Lite and DL)are specializations of predicate logic correspond roughly to a description logic o They define reasonable subsets of logic o Trade-off between the expressive power and the computational complexity The more expressive the language, the less efficient the corresponding proof systems 6 Chapter 5 A Semantic Web primer6 Chapter 5 A Semantic Web Primer Specializations of Predicate Logic: RDF and OWL ⚫ RDF/S and OWL (Lite and DL) are specializations of predicate logic – correspond roughly to a description logic ⚫ They define reasonable subsets of logic ⚫ Trade-off between the expressive power and the computational complexity: – The more expressive the language, the less efficient the corresponding proof systems