Web Reasoning and Rule Systems
5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings
Published on 19. August 2011
XIV, 308 pages
978-3-642-23580-1 (ISBN)
Description
This book constitutes the refereed proceedings of the 5th International Conference on Web Reasoning and Rule Systems, RR 2011, held in Galway, Ireland in August 2011.
The 13 revised full papers, 12 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 36 submissions.
The papers address all current topics in Semantic Web, interplay between classical reasoning approach with welll established web languages such as RDF and OWL, reasoning languages, querying and optimization and rules and ontologies.
More details
Other editions
Additional editions
Sebastian Rudolph | Claudio Gutierrez
Web Reasoning and Rule Systems
5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings
Book
08/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Intro
- Title
- Preface
- Organization
- Table of Contents
- Exchanging More Than Complete Data
- Ontological Query Answering with Existential Rules
- Introduction
- Preliminaries
- Graphical View of the Framework
- The Landscape of Decidable Classes
- Abstract Characterizations
- Concrete Decidable Classes
- Complexity
- Combining Decidable Classes
- Rough Union
- Rule Dependencies
- Conclusion
- References
- The ONTORULE Project : Where Ontology Meets Business Rules
- Introduction
- ONTORULE Approach to Business User's Empowerment through Semantic Technologies
- Usability and Personas
- A Pilot Application
- Architecture and Technology
- Open Standards
- Future Prospect
- References
- Towards Farsighted Dependencies for Existential Rules
- Introduction
- Background
- Preliminaries
- Dependencies
- From Rule Dependencies to Rule k-Dependencies
- Definition of k-Dependency and Link with the Usual Dependency
- Decidability Properties Related to the Structure of GRDk(R)
- Dependency and Syntactic Transformation
- Computation of k-Dependencies
- Rewriting and Rewriting Sequences
- Rewriting Depth and k-Dependency
- Complexity of k-Dependencies
- Conclusion
- References
- Context-Dependent OWL Reasoning in Sindice - Experiences and Lessons Learnt
- Introduction
- Reasoning over Web Data
- Distributed Reasoning
- Contextual Reasoning
- Contexts on the Semantic Web
- Context-Dependent Reasoning of RDF Models
- Import Closure of RDF Models
- Deductive Closure of RDF Models
- Context-Dependent Ontology Base
- Ontology Base Concepts
- Ontology Base Update
- Ontology Base Querying
- Implementation
- Performance Evaluation
- Quantifying T-Box and A-Box
- Optimisation with Ontology Base
- Discussion and Future Works
- Conclusions
- References
- Little Knowledge Rules the Web: Domain-Centric Result Page Extraction
- Introduction
- Example
- Related Work
- Data Model
- Page Model
- Attribute Model
- Data Area Model
- Rules
- Identification Phase
- Understanding Phase
- Disambiguation and Alignment Phase
- Evaluation
- Conclusion
- References
- Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies
- Introduction
- Preliminaries
- Guarded Datalog+/-
- Markov Logic Networks
- Syntax and Semantics of Probabilistic Guarded Datalog+/-
- Syntax
- Semantics
- Algorithms for Answering Probabilistic Conjunctive Queries
- A Forward Chaining Algorithm
- An Algorithm Based on Backward Chaining
- Summary and Outlook
- References
- Paraconsistent Semantics for Hybrid MKNF Knowledge Bases
- Introduction
- Preliminaries
- The Description Logics ALC
- Four-Valued Logic
- The Logic of Minimal Knowledge and Negation as Failure
- Hybrid MKNF Knowledge Bases
- Paraconsistent Semantics for Hybrid MKNF Knowledge Base
- Transformation from Paraconsistent Semantics to the Stable Model Semantics
- Characterization of Paraconsistent MKNF Models
- Positive Rules
- General Rules
- Conclusion
- References
- Linked Rules: Principles for Rule Reuse on the Web
- Introduction
- Background
- Linked Rules
- Naming Rules
- RIF: A Standard Format for Rules
- RDF: A Standard Format for Data
- Linking Rules
- Beyond the Basics
- Describing Rules
- Mechanisms for Rule Reuse
- Using SPARQL for Checking Condition against Linked Data
- Representing Linked Rules Features in RIF
- Compiling Linked Rules
- AIR and Linked Rules
- Brief Overview of AIR
- Linked Rules Principles and Features in AIR
- Summary
- References
- Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies
- Introduction
- Preliminaries
- Polynomial Rewriting
- Canonical Model (Chase)
- Tree Witnesses
- Query Rewriting
- No Polynomial Rewriting Algorithm under Binary Inclusion Dependencies
- Discussion
- References
- Reasoning as Axioms Change Incremental View Maintenance Reconsidered
- Introduction and Motivation
- Incremental View Maintenance
- Related Work
- Preliminaries
- An Analysis of the Fixpoint
- Overestimation of Deletions
- The Incremental View Maintenance Method
- Stratifiable Normal Programs
- Rule Updates
- Complexity
- An Example Evaluation
- Conclusion
- References
- Query Rewriting for Inconsistent DL-Lite Ontologies
- Introduction
- Preliminaries
- Inconsistency-Tolerant Semantics
- Perfect Reformulation of UCQs in DL-LiteA
- Perfect Reformulation of UCQs in DL-LiteA Under the IAR-semantics
- Perfect Reformulation of UCQs in DL-LiteA Under ICAR-semantics
- Example
- Conclusions
- References
- Decidability of Unification in EL without Top Constructor
- Introduction
- Description Logic EL-
- Unification in EL-
- Locality of Unification in EL-
- R-trees
- Small Local Unifiers
- Algorithm
- Complexity
- Conclusion
- References
- On the Equivalence between the L1 Action Language and Partial Actions in Transaction Logic
- Introduction
- Preliminaries
- Transaction Logic with Partially Defined Actions
- Action Language L1
- Motivating Examples
- RepresentingLA1 in TRPAD
- Planning: L1 vs TRPAD
- Comparison with Other Action Languages
- Conclusion
- References
- Reasoning with Actions in Transaction Logic
- Introduction
- Preliminaries
- Partially Defined Actions and Incomplete Information
- Motivating Examples
- Proof Theory
- Axioms of Inertia
- Reducing Relational TRPADD to Logic Programming
- Conclusions and Future Work
- References
- Interpolation and Extrapolation in Conceptual Spaces: A Case Study in the Music Domain
- Introduction
- Acquiring Conceptual Representations
- Obtaining Conceptual Spaces from Tags
- Typicality
- Interpolative Inference
- Extrapolative Inference
- Related Work
- Conclusions
- References
- Improve Efficiency of Mapping Data between XML and RDF with XSPARQL
- Introduction
- Implementation
- The Problem: Evaluating Nested Graph Patterns
- The Solution: Proposed Optimisation
- XQuery Optimisations
- SPARQL Optimisations
- Practical Evaluation and Results
- Conclusions and Future Work
- References
- A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data
- Introduction
- Semantic Data Access Architecture
- Smart Campus Prototype
- Smart Campus Use Case
- Smart Campus Implementation
- Lessons Learned and Next Steps
- Adding New Data Sources
- Architecture
- SBox
- Conclusion
- References
- An Ontological Approach for Modeling Technical Standards for Compliance Checking
- Introduction
- Modeling Business Rules
- Transforming Standards into SBVR Rules
- Transformation of SBVR Rules into Ontology-Based SPARQL Rules
- Interpretation of Compliance Checking Results
- Conclusion
- References
- Integrating Linked Data through RDFS and OWL: Some Lessons Learnt
- Introduction
- Baseline Reasoning
- Annotated Reasoning and Inconsistency Repair
- Handling Coreference Identifiers
- Conclusion
- References
- Instant Feedback on Discovered Association Rules with PMML-Based Query-by-Example
- Introduction
- Motivation and Related Work
- Mining with SEWEBAR-CMS: Workflow
- Example
- Rule Search Architecture
- Conclusions and Evaluation
- References
- Local Closed World Semantics: Grounded Circumscription for Description Logics
- Introduction
- Grounded Circumscription
- Decidability Considerations
- Conclusion and Outlook
- References
- RDF Semantics for Web Association Rules
- Introduction
- Problem Statement
- Association Rules in RDF-AR
- Semantics for RDF-AR
- RDF-AR Entailment
- Conclusion
- References
- Root Justifications for Ontology Repair
- Introduction
- Ontology Debugging and Repair
- Debugging
- Repair
- Repair Using Root Justifications
- Implementation and Evaluation
- Conclusion
- References
- ELOG: A Probabilistic Reasoner for OWL EL
- Introduction
- Log-Linear Description Logics
- Reasoning as Combinatorial Optimization
- Transformation to ILP
- Cutting Plane Inference
- Experiments
- References
- Combining Production Systems and Ontologies
- Introduction
- Design Space
- Production Systems and Ontologies Semantics
- Declarative Semantics and Decidability Results
- Conclusion
- References
- MapResolve
- Introduction
- Previous Work
- MapReduce
- RDF Schema Materialization
- OWL Horst Materialization
- EL+ Classification
- Description Logic Satisfiability
- Naive MapReduce for Distributed Resolution
- Avoiding Repetition
- Work Load Balance
- Conclusion
- References
- Inline Evaluation of Hybrid Knowledge Bases PhD Description
- Introduction
- Hybrid Knowledge Bases
- The Framework of the Inline Evaluation of Hybrid KBs
- Inline Evaluation of DL-Programs over Different DLs
- Tractable Reasoning for DL-Programs over Datalog-Rewritable DLs
- Inline Evaluation of DL-Programs over OWL 2 Fragments
- Inline Evaluation of DL-Programs over Horn Fragments of DLs
- Putting Everything Together
- Summary
- References
- Author Index
