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.
%0 Journal Article
%1 dffvhic
%A Fensel, Dieter
%A van Harmelen, Frank
%D 2007
%J IEEE Internet Computing
%K Semantic_Web ai search
%N 2
%P 94-96
%T Unifying Reasoning and Search to Web Scale
%U http://www.deri.at/fileadmin/documents/articles/w2peer3.pdf
%V 11
%X 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.
@article{dffvhic,
abstract = {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.},
added-at = {2007-05-22T11:35:05.000+0200},
author = {Fensel, Dieter and van Harmelen, Frank},
biburl = {https://www.bibsonomy.org/bibtex/2ff502599b98508c52cbc7fd01a3f2c57/lysander07},
interhash = {1310a538c5e09f73477d00a3dd51e0e0},
intrahash = {ff502599b98508c52cbc7fd01a3f2c57},
journal = {IEEE Internet Computing},
keywords = {Semantic_Web ai search},
month = {March/April},
number = 2,
pages = {94-96},
timestamp = {2009-06-02T11:03:15.000+0200},
title = {Unifying Reasoning and Search to Web Scale },
url = {http://www.deri.at/fileadmin/documents/articles/w2peer3.pdf},
volume = 11,
year = 2007
}