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.
Index Terms:
reasoning, logic, search, scalability, Web
Citation:
Dieter Fensel, Frank van Harmelen, "Unifying Reasoning and Search to Web Scale," IEEE Internet Computing, vol. 11, no. 2, pp. 96, 94-95, Mar./Apr. 2007, doi:10.1109/MIC.2007.51