Vastness: The World Wide Netz contains many billions of pages. The SNOMED Computertomographie medical terminology ontology alone contains 370,000 class names, and existing technology has not yet been able to eliminate all semantically duplicated terms. Any automated reasoning Anlage will have to deal with truly huge inputs. Semantic Www technolo