Overview

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.

Full Product Details

Author:   Markus Kroetzsch ,  Umberto Straccia
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2012 ed.
Volume:   7497
Dimensions:   Width: 15.50cm , Height: 1.60cm , Length: 23.50cm
Weight:   0.486kg
ISBN:  

9783642332029

ISBN 10:   3642332021
Pages:   298
Publication Date:   07 August 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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 EL–TBoxes.-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.-

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions