Web Reasoning and Rule Systems

The Semantic Web aims at allowing knowledge to be freely accessed and - changed by software. It is now widely recognized that if the Semantic Web is to contain deep knowledge, the need for new representation and reasoning te- niques is critical. These techniques need to ?nd the right trade-o? between - pressiveness, scalability, and robustness to deal with the inherently incomplete, contradictory, and uncertain nature of knowledge on the Web. The annual International Conference on Web Reasoning and Rule Systems (RR) addresses these needs and has grown into a major international forum for the discussion and dissemination of new results concerning Web Reasoning and Rule Systems. The ?rst three International Conferences on Web Reasoning and Rule Systems (see held in Innsbruck, A- tria (2007), Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), received enthusiastic support from the Web Reasoning community. This volume contains the papers presented at the Fourth International C- ference on Web Reasoning and Rule Systems (RR 2010), which was held in Bressanone/Brixen, Italy, September 22-24, 2010, and which continued the - cellence of the RR series. It contains nine full papers, six short papers, four poster/position papers, one PhD paper, and two system descriptions, which wereselectedoutof31submissionsfollowinga rigorousreviewingprocess,where each submission was reviewed by at least three program committee members. The volumealso containsextended abstractsof the threeinvited talks/tutorials.

Up-to-date results Fast track conference proceedings State-of-the-art report

Klappentext

This book constitutes the refereed proceedings of the 4th International Conference on Web Reasoning and Rule Systems, RR 2010, held in Brixen-Bressanone, Italy, in September 2010. The 9 revised full papers, 6 revised short papers, and 4 poster papers presented together with 1 PhD paper, 2 system descriptions and 3 invited papers were carefully reviewed and selected from 41 submissions. The papers address all current topics in Web reasoning, Web-based knowledge, and rule systems such as representation techniques; rules and ontologies; reasoning languages; efficiency and benchmarking,; ontology languages; querying and optimization; reasoning with uncertainty, under inconsistency, and with constraints; rule languages and systems; rule interchange formats and markup languages; scalability; approximate reasoning; statistical methods and symbolic reasoning; as well as semantic Web services modeling and applications.

Inhalt
Invited Talks and Tutorial.- Query Answering under Non-guarded Rules in Datalog+/-.- Data Validation with OWL Integrity Constraints.- SPARQL1.1: New Features and Friends (OWL2, RIF).- Full Papers.- Usability of a Visual Language for DL Concept Descriptions.- A Rule-Based Language for Complex Event Processing and Reasoning.- Analyzing the AIR Language: A Semantic Web (Production) Rule Language.- Query-Based Access Control for Ontologies.- On the Semantic Relationship between Datalog and Description Logics.- Inconsistency-Tolerant Semantics for Description Logics.- Extending Paraconsistent .- Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries.- Defeasibility in Answer Set Programs via Argumentation Theories.- Short Papers.- A Rule-Based Approach to XML Processing and Web Reasoning.- Learning to Rank Individuals in Description Logics Using Kernel Perceptrons.- A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies.- Secrecy-Preserving Query Answering for Instance Checking in .- Embeddings of Simple Modular Extended RDF.- KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge.- Poster/Position Papers.- Composition of Semantic Web Services in a Constructive Description Logic.- A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules.- Rule-Based Spam E-mail Annotation.- A RESTful SWRL Rule Editor.- PhD Description.- On the Termination of the Chase Algorithm.- System Descriptions.- Processing RIF and OWL2RL within DLVHEX.- A RPL through RDF: Expressive Navigation in RDF Graphs.