Web Reasoning and Rule Systems

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.-