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.
Cambridge Journals Online (CJO) is the e-publishing service for over 230 journals published by Cambridge University Press and is entirely developed and hosted in-house. The platform's powerful capacity and reliable performance are maintained by a combination of our own expertise and a process of consultation with the library and research communities. With the help of these stakeholders, we maintain CJO as an industry-leading e-publishing service.
OpenCyc is the open source version of the Cyc technology, the world's largest and most complete general knowledge base and commonsense reasoning engine. OpenCyc can be used as the basis of a wide variety of intelligent applications such as:
* rapid development of an ontology in a vertical area
* email prioritizing, routing, summarization, and annotating
* expert systems
* games
to name just a few.
Using Semantic Web Pipes you can fetch, mix and process RDF files published on the Web. As the output of a Pipe is an HTTP retrievable RDF model, simple pipes can also work as inputs to more complex Pipes.
The Suggested Upper Merged Ontology (SUMO) and its domain ontologies form the largest formal public ontology in existence today. They are being used for research and applications in search, linguistics and reasoning. SUMO is the only formal ontology that
Bossam is a forward-chaining rule engine for the semantic web. Bossam is implemented based on RETE algorithm and supports OWL inferencing, URI referencing, negation-as-failure, java method attachment, query processing, and SWRL reasoning etc.
We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The satisfiability problem for RCC-5 is known to be NP-complete but not much is known about its approximatel
Information vs Knowledge To a machine, knowledge is comprehended information (aka new information produced through the application of deductive reasoning to exiting information). To a machine, information is only data, until it is processed and compr
Information vs Knowledge To a machine, knowledge is comprehended information (aka new information produced through the application of deductive reasoning to exiting information). To a machine, information is only data, until it is processed and compr
H. Chen, Y. Li, S. Shi, S. Liu, H. Zhu, и Y. Zhang. Proceedings of the Fifteenth ACM International Conference on Web Search and Data Mining, стр. 75–84. New York, NY, USA, Association for Computing Machinery, (15.02.2022)
Y. Liang, S. Ke, J. Zhang, X. Yi, и Y. Zheng. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, (июля 2018)