Web Reasoning and Rule Systems

This book constitutes the refereed proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR 2012, held in Vienna, Austria, in September 2012. The 27 revised research papers, presented together with 2 invited talks and 5 research summaries were carefully reviewed and selected from 42 submissions. The papers were organized in topical sections on technical communications, algorithms, design aspects of rule markup, design of ontology languages, engineering of engines, translators, and other tools, standardization efforts, such as the Rules Interchange Format activity at W3C, and applications.

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

Inhalt

Invited Talks.-Multi-context Systems: Specifying the Interaction of Knowledge Bases

Declaratively.-Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval

Scenarios .-Research Papers.-A Tableau Algorithm for Fuzzy Description Logics over Residuated De

Morgan Lattices.-Ontology-Based Governance of Data-Aware Processes.-Query Patterns for Existential Rules.-Semantic Independence in DL-Programs.-An Update on Query Answering with Restricted Forms of Negation.-Towards a Unifying Approach to Representing and Querying Temporal

Data in Description Logics.-Meta Programming with Answer Sets for Smart Spaces.-A Sound and Complete Backward Chaining Algorithm for Existential Rules.-Deriving Predicate Statistics for Logic Rules..-Consistent Answers in Probabilistic Datalog+/- Ontologies.-Improving the Recall of Live Linked Data Querying through Reasoning .-Technical Communications Distributed Ontology Based Data Access via Logic Programming.-Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web ..A Polynomial Reduction from ASPDA to ASP.-The Definability Abduction Problem for Data Exchange (Abstract).-Rule-Based Context Assessment in Smart Cities.-Recent Advances in Integrating OWL and Rules (Technical Communication).-Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data ..-A Tableau Algorithm for Description Logics with Nominal Schema.-Toward Scalable Reasoning over Annotated RDF Data Using

MapReduce.-On Integrating Description Logics and Rules under Minimal Hypotheses.-On the (Non-)Succinctness of Uniform Interpolation in General EL Terminologies.-On Definability and Redundancy in ELTBoxes.-A Mobile Reasoner for Semantic-Based Matchmaking .-(Re)Configuration Using Web Data: A Case Study on the Reviewer Assignment Problem.-Ontology-Based Data Access Using Views.-Doctoral Consortium Research Summaries.-Description Logic Knowledge Base Exchange.-Research Summary: Datalog-Based Data Access .-A Quadratic Approach for Trend Detection in Folksonomies .- Non-termination Analysis and Cost-Based Query Optimization of Logic Programs.-When Data, Knowledge and Processes Meet Together.-