Tradeoff between Expressive Power and Efficient Reasoning Support o The richer the language is, the more inefficient the reasoning support becomes e Sometimes it crosses the border of noncomputability We need a compromise A language supported by reasonably efficient reasoners A language that can express large classes of ontologies and knowledge Chapter 4 A Semantic Web primerChapter 4 A Semantic Web Primer 4 Tradeoff between Expressive Power and Efficient Reasoning Support ⚫ The richer the language is, the more inefficient the reasoning support becomes ⚫ Sometimes it crosses the border of noncomputability ⚫ We need a compromise: – A language supported by reasonably efficient reasoners – A language that can express large classes of ontologies and knowledge