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.
Bayesian Networks are probabilistic structured representations of domains which have been applied to monitoring and manipulating cause and effects for modelled systems as disparate as the weather, disease and mobile telecommunications networks. Although useful, Bayesian Networks are notoriously difficult to build accurately and efficiently which has somewhat limited their application to real world problems. Ontologies are also a structured representation of knowledge, encoding facts and rules about a given domain. This paper outlines an approach to harness the knowledge and inference capabilities inherent in an ontology model to automate the construction of Bayesian Networks to accurately represent a domain of interest. The approach was implemented in the context of an adaptive, self-configuring network management system in the telecommunications domain. In this system, the ontology model has the dual function of knowledge repository and facilitator of automated workflows and the generated BN serves to monitor effects of management activity, forming part of a feedback look for self-configuration decisions and tasks.
Our in intention is to construct a repository that will allow us empirical research within our community by facilitating (1)better reproducibility of results, and (2) better comparisons among competing approach. Both of these are required to measure progress on problems that are commonly agreed upon, such as inference and learning
Y. Yang, и J. 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), стр. 457--463. Washington, DC, USA, IEEE Computer Society, (2005)