This report summarizes the reasoning techniques and algorithms developed in the TONES project that realize the reasoning services identified as fundamental for ontology-based access, processing, and usage. In addition to a detailed presentation of the algorithms, we report on their computational properties and investigate solutions for the expressivity and data scalability problems.