Researchers have developed reasoning methods for rather small, closed, trustworthy, consistent, and static domains, but Web-scale reasoning remains elusive. The authors seek to merge semantic reasoning and search in something new that reflects proper unification without adding bizarre syntax to programming languages or nonscalable logic to superficially align Web principles and reasoning.