Vastness: The World Wide Www contains many billions of pages. The SNOMED CT 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 Gebilde will have to deal with truly huge inputs. By providing a means to determine the