Unifying Reasoning and Search to Web Scale

The Web and reasoning started to meet around 1996 with the first projects that added semantics to Web page descriptions in much the same way that HTML added formatting information. Despite the subsequent growth of these semantic Web efforts into a dynamic and well-established research area, serious...

Full description

Saved in:
Bibliographic Details
Published inIEEE internet computing Vol. 11; no. 2; pp. 96 - 95
Main Authors Fensel, Dieter, van Harmelen, Frank
Format Journal Article
LanguageEnglish
Published Los Alamitos IEEE 01.03.2007
IEEE Computer Society
Subjects
Axioms
Context-aware services
Descriptions
Dynamics
Engines
Hardware
HTML
Humans
Internet
logic
Logic programming
Reasoning
Resource description framework
scalability
search
Searching
Semantic Web
Semantics
Telecommunications
Web
Web pages
Online AccessGet full text

Cover

More Information
Summary:The Web and reasoning started to meet around 1996 with the first projects that added semantics to Web page descriptions in much the same way that HTML added formatting information. Despite the subsequent growth of these semantic Web efforts into a dynamic and well-established research area, serious doubt remains whether reasoning really adds something useful in the Web context. Traditional notions of complete and correct reasoning are obviously based on a heavily simplified world view naively applied to reality. Researchers have developed reasoning methods for rather small, closed, trustworthy, consistent, and static domains. They usually provide a small set of axioms; a proof engine can typically provide complete and correct inferences of the knowledge contained in them
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 23
ObjectType-Article-2
ObjectType-Feature-1
ISSN:1089-7801
1941-0131
DOI:10.1109/MIC.2007.51