Welcome to the OpenMath website. OpenMath is an extensible standard for representing the semantics of mathematical objects. If you haven't heard about it before you might want to consult the overview. ·
This is the report of the W3C Uncertainty Reasoning for the World Wide Web Incubator Group (URW3-XG) as specified in the Deliverables section of its charter.
In this report we present requirements for better defining the challenge of reasoning with and representing uncertain information available through the World Wide Web and related WWW technologies.
Specifically the report:
* identifies and describes situations on the scale of the World Wide Web for which uncertainty reasoning would significantly increase the potential for extracting useful information,
* identifies methodologies that can be applied to these situations and the fundamentals of a standardized representation that could serve as the basis for information exchange necessary for these methodologies to be effectively used,
* includes a set of use cases illustrating conditions under which uncertainty reasoning is important,
* provides an overview and discusses the applicability to the World Wide Web of prominent uncertainty reasoning techniques and the information that needs to be represented for effective uncertainty reasoning to be possible,
* includes a bibliography of work relevant to the challenge of developing standardized representations for uncertainty and exploiting them in Web-based services and applications.
The report identifies various areas which require further investigation and debate. ·
Abstract. The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. Ideally, this should enable a wealth of query
processing and semantic reasoning capabilities using XQuery and logical inference engines. However, we believe that the diversity and uncertainty of terminologies
and schema-like annotations will make precise querying on a Web scale extremely elusive if not hopeless, and the same argument holds for large-scale dynamic federations of Deep Web sources. Therefore, ontology-based reasoning
and querying needs to be enhanced by statistical means, leading to relevanceranked lists as query results.
This paper presents steps towards such a “statistically semantic”Web and outlines technical challenges.We discuss how statistically quantified ontological relations
can be exploited in XML retrieval, how statistics can help in making Web-scale search efficient, and how statistical information extracted from users’ query logs
and click streams can be leveraged for better search result ranking. We believe these are decisive issues for improving the quality of next-generation search engines
for intranets, digital libraries, and the Web, and they are crucial also for peer-to-peer collaborative Web search. ·
Yi Yang, and Jacques Calmet. CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 CIMCA-IAWTIC'06, page 457--463. Washington, DC, USA, IEEE Computer Society, (2005)