Web Reasoning and Rule Systems: Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings (Lecture Notes in Computer Science (6333))

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. Front Matter....Pages - Query Answering under Non-guarded Rules in Datalog +/- ....Pages 1-17 Data Validation with OWL Integrity Constraints....Pages 18-22 SPARQL1.1: New Features and Friends (OWL2, RIF)....Pages 23-26 Usability of a Visual Language for DL Concept Descriptions....Pages 27-41 A Rule-Based Language for Complex Event Processing and Reasoning....Pages 42-57 Analyzing the AIR Language: A Semantic Web (Production) Rule Language....Pages 58-72 Query-Based Access Control for Ontologies....Pages 73-87 On the Semantic Relationship between Datalog and Description Logics....Pages 88-102 Inconsistency-Tolerant Semantics for Description Logics....Pages 103-117 Extending Paraconsistent $\mathcal{SROIQ}$ ....Pages 118-132 Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries....Pages 133-148 Defeasibility in Answer Set Programs via Argumentation Theories....Pages 149-163 A Rule-Based Approach to XML Processing and Web Reasoning....Pages 164-172 Learning to Rank Individuals in Description Logics Using Kernel Perceptrons....Pages 173-181 A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies....Pages 182-194 Secrecy-Preserving Query Answering for Instance Checking in $\mathcal{EL}$ ....Pages 195-203 Embeddings of Simple Modular Extended RDF....Pages 204-212 KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge....Pages 213-222 Composition of Semantic Web Services in a Constructive Description Logic....Pages 223-226 A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules....Pages 227-230 Rule-Based Spam E-mail Annotation....Pages 231-234 A RESTful SWRL Rule Editor....Pages 235-238 On the Termination of the Chase Algorithm....Pages 239-243 Processing RIF and OWL2RL within DLVHEX....Pages 244-250 A RPL through RDF: Expressive Navigation in RDF Graphs....Pages 251-257 Back Matter....Pages - Annotation. This Book Constitutes The Refereed Proceedings Of The 4th Internationalconference On Web Reasoning And Rule Systems, Rr 2010, Held Inbrixen-bressanone, Italy, In September 2010. The 9 Revised Full Papers, 6 Revised Short Papers, And 4 Poster Paperspresented Together With 1 Phd Paper, 2 System Descriptions And 3 Invitedpapers Were Carefully Reviewed And Selected From 41 Submissions. Thepapers Address All Current Topics In Web Reasoning, Web-based Knowledge, And Rule Systems Such As Representation Techniques; Rules Andontologies; Reasoning Languages; Efficiency And Benchmarking, ; Ontologylanguages; Querying And Optimization; Reasoning With Uncertainty, Underinconsistency, And With Constraints; Rule Languages And Systems; Ruleinterchange Formats And Markup Languages; Scalability; Approximatereasoning; Statistical Methods And Symbolic Reasoning; As Well Assemantic Web Services Modeling And Applications.