The 2010 International Workshop on
Web-scale Knowledge Representation, Retrieval, and Reasoning (Web-KR3 2010)

Toronto, Canada
August 31, 2010



The World Wide Web has become the carrier for the largest human knowledge repository in history. As its knowledge bases are growing towards a practically ‘infinite’ volume, Web-scale Knowledge Representation, Retrieval, and Reasoning (Web-KR3) is becoming a real issue and an urgent task. Although the Web community has developed a number of knowledge representation languages and reasoning methods, when the volume goes Web-scale, existing approaches meet many challenging problems, such as scalability, inconsistency, uncertainty and dynamics. Hence, a unified approach to Web-KR3 needs to be developed.

This workshop thus aims to bringing together researchers from Web research, Artificial Intelligence (AI), high performance computing, cognitive science, knowledge management, and machine learning to discuss all issues of Web-KR3 in a synergistic setting. The workshop is a full day workshop and will be co-located with the 2010 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology.

The Workshop Agenda

  • Workshop Opening (Yi Zeng) [Slides]
  • [Oral Presentation with Demo] 4s-reasoner: RDFS Backward Chained Reasoning Support in 4store (Manuel Salvadores, Gianluca Correndo, Tope Omitola, Nick Gibbins, Steve Harris, and Nigel Shadbolt) [Slides] [Demo]
  • [Oral Presentation] Semantic Structure Content for Dynamic Web Pages (Mamdouh Farouk and Mitsuru Ishizuka)
  • [Oral Presentation] Efficient Visualization of Content and Contextual Information of an online Multimedia Digital Library for Effective Browsing (Surjeet Mishra, Amarendra Gorai, Tavleen Oberoi, and Hiranmay Ghosh)
  • [Invited Talk] Bridging Semantic and Legacy Web Exploration: The Reasoning and Scalability Point of View (Michal Tvarožek, Mária Bieliková) [Slides]
  • [Plenary Discussion] Challenges for Web-scale knowledge representation, retrieval and reasoning (All participants)
  • Concluding Remarks (Yi Zeng)

Demo Session


Scalable Reasoning in 4store [Demo]

[by Manuel Salvadores from University of Southampton, UK]

4sr is an extension of 4store where we are implementing backward chained reasoning. Currently a subset of RDFS is supported. This set includes: rdfs:subClassOf, rdfs:subPropertyOf, rdfs:domain and rdfs:range. More expressions from OWL are planned to be added in the near future. 

  • Backward Chained reasoning, no overhead added at the import phase.
  • Support for rdfs:subClassOf, rdfs:subPropertyOf, rdfs:domain and rdfs:range.
  • 4s-query and 4s-httpd accept a "-no-reasoning" flag so to disable the reasoner when needed.
  • Support for both single node and clusters configuration.
  • Support for SPARQL queries with named graphs, entailed statements are considered part of an entailed virtual graph eGraph.

Workshop Pictures

Manuel Salvadores from University of Southampton, UK.   Manuel Salvadores is giving demos for 4s-reasoner.   Mamdouh Farouk's representative from University of Tokyo, Japan   Several participants at the Workshop
Yi Zeng from Web Intelligence Consortium Beijing Chapter is chairing the workshop.   Surjeet Mishra from Tata Consultant, India, is talking about visualization of semantic structure for Multimedia data.   Michal Tvarožek is giving an invited talk explaining Semantic Search Exploration   Manuel and Surjeet are talking on plenary discussion of Web-KR3

Topics of Interest

Research contributions should be related but are not limited to one or more of the following topics:

  • Scalable knowledge representation languages for the Web.
  • Expressivity of Web-scale common sense knowledge.
  • Parallelization and distribution techniques for Web-scale knowledge retrieval and reasoning.
  • Inconsistency, uncertainty, and relevancy of Web-scale reasoning.
  • Granularity of knowledge representation, retrieval, and reasoning.
  • New forms of inductive and deductive reasoning (e.g. cognitive and nature inspired methods).
  • Web-scale ontology and rule interchange and integration.(e.g. via OWL 2, RIF, and RuleML)
  • Dynamics of knowledge updating and forgetting on the Web.
  • Distributed query answering over Web-scale data.
  • Cross-fertilizing Web-KR3 with Distributed AI, Distributed Description Logic, and Distributed Logic Programming.


Proceedings of the Web-KR3 2010 Workshop has been published by IEEE Press in the WI/IAT 2010 Workshop Proceedings and has been provided to the participants on the workshop day. The papers in the workshop proceedings will also be available in the IEEE Digital Library, the ACM Digital Library.

Important Dates

  • April 23th, 2010 : Workshop paper submission due.
  • June 7th, 2010 : Notification of paper acceptance.
  • June 21st, 2010 : Camera ready version submission due.
  • July 5th, 2010 : Presentation Schedule release.
  • August 31st, 2010 : Workshop day.

Workshop Co-Chairs

  • Zhisheng Huang,
    Knowledge Representation and Reasoning Group,
    Vrije Universiteit Amsterdam, the Netherlands.
  • Harold Boley,
    Semantic Web Lab,
    National Research Council, Canada.
  • Yi Zeng,
    International WIC Institute,
    Beijing University of Technlogy, China.

Program Committee

Web-KR3 Twitter

Web-KR3 2010 Sponsors
and Partners


Web Intelligence Consortium

Vrije University Amsterdam

The Large Knowledge Collider Project












































Valid XHTML 1.0 Transitional