دانلود کتاب Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings

فهرست مطالب :

Front Matter....Pages -
Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively....Pages 1-4
Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarios....Pages 5-8
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices....Pages 9-24
Ontology-Based Governance of Data-Aware Processes....Pages 25-41
Query Patterns for Existential Rules....Pages 42-57
Semantic Independence in DL-Programs....Pages 58-74
An Update on Query Answering with Restricted Forms of Negation....Pages 75-89
Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics....Pages 90-105
Meta Programming with Answer Sets for Smart Spaces....Pages 106-121
A Sound and Complete Backward Chaining Algorithm for Existential Rules....Pages 122-138
Deriving Predicate Statistics for Logic Rules....Pages 139-155
Consistent Answers in Probabilistic Datalog+/– Ontologies....Pages 156-171
Query Rewriting under Ontology Contraction....Pages 172-187
Improving the Recall of Live Linked Data Querying through Reasoning....Pages 188-204
Distributed Ontology Based Data Access via Logic Programming....Pages 205-208
Argumentation and Voting for an Intelligent User Empowering Business Directory on the Web....Pages 209-212
A Polynomial Reduction from ASPDA to ASP....Pages 213-216
The Definability Abduction Problem for Data Exchange....Pages 217-220
Rule-Based Context Assessment in Smart Cities....Pages 221-224
Recent Advances in Integrating OWL and Rules (Technical Communication)....Pages 225-228
Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data....Pages 229-233
A Tableau Algorithm for Description Logics with Nominal Schema....Pages 234-237
Toward Scalable Reasoning over Annotated RDF Data Using MapReduce....Pages 238-241
On Integrating Description Logics and Rules under Minimal Hypotheses....Pages 242-245
On the (Non-)Succinctness of Uniform Interpolation in General ${\\mathcal{EL}}$ Terminologies....Pages 246-249
On Definability and Redundancy in $\\cal{EL}$ –TBoxes....Pages 250-253
A Mobile Reasoner for Semantic-Based Matchmaking....Pages 254-257
(Re)Configuration Using Web Data: A Case Study on the Reviewer Assignment Problem....Pages 258-261
Ontology-Based Data Access Using Views....Pages 262-265
Description Logic Knowledge Base Exchange....Pages 266-271
Research Summary: Datalog-Based Data Access....Pages 272-277
A Quadratic Approach for Trend Detection in Folksonomies....Pages 278-283
Non-termination Analysis and Cost-Based Query Optimization of Logic Programs....Pages 284-290
When Data, Knowledge and Processes Meet Together....Pages 291-296
Back Matter....Pages -