Description |
1 online resource (xv, 298 pages) |
Series |
Lecture notes in computer science, 0302-9743 ; 7497 |
|
LNCS sublibrary. SL 3, Information systems and application, incl. Internet/Web and HCI |
|
Lecture notes in computer science ; 7497.
|
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
|
Contents |
Title Page ; Preface; Organization; Sponsors; Table of Contents; Invited Talks; Multi-context Systems: Specifying the Interaction of Knowledge Bases Declaratively; Motivation; Nonmonotonic MCS More Formally; Beyond Information Flow; Short CV; References; Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarios; References; Research Papers; A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices; Introduction; Preliminaries; Lattices; The Fuzzy DL L-SHI; Undecidability; A Tableaux Algorithm for Local Consistency |
|
Local Completion and other Black-Box ReductionsConsistency; Satisfiability, Instance Checking, and Subsumption; Conclusions; References; Ontology-Based Governance of Data-Aware Processes; Introduction; Preliminaries; Semantically-Governed Data-Aware Processes; Execution Semantics; Dynamic Constraints Formalism; Rewriting; Calculus Formulae; Decidability Results; Conclusion; References; Query Patterns for Existential Rules; Introduction; Preliminaries; Syntax of Datalog+/-; Semantics of Datalog+/-; Linear, Multi-linear, and Guarded Datalog+/- |
|
Query-Equivalent Programs and Conjunctive Query PatternsQuery-Equivalent Programs; Conjunctive Query Patterns; Query-Pattern Based Program Reduction; Example; Program; Query 1; Query 2; Conclusions; References; Semantic Independence in DL-Programs; Introduction; Preliminaries; Independent DL-atoms; Independence under Inclusion; Complexity; Conclusion and Future Work; References; An Update on Query Answering with Restricted Forms of Negation; Introduction; Preliminaries; Lower Complexity Bounds; Answering CQs = in DL-LiteHcore: Upper Complexity Bound; Tractable Cases; Conclusions; References |
|
Towards a Unifying Approach to Representing and Querying Temporal Data in Description LogicsIntroduction; Overview and Background; Description Logic Preliminaries; Temporal Data Model; Temporal Query Language; Syntax and Semantics; Practical Query Answering; Discussion and Outlook; Conclusions; References; Meta Programming with Answer Sets for Smart Spaces; Introduction; Answer-Set Programming; Reification; Meta-level Evaluation of Rules; Changing the Syntax and Semantics of Rules; Meta-level Grounding of Rules; Qualitative Aspects of Reasoning; Related Work; Conclusion; References |
|
A Sound and Complete Backward Chaining Algorithm for Existential RulesIntroduction; Framework; Minimal Rewriting Sets; Single-Piece Unification; First Experiments and Perspectives; References; Deriving Predicate Statistics for Logic Rules; Introduction; Dependency Matrix; Statistics for Derived Predicates; Dependency Matrix for Selection; Dependency Matrix for Union; Dependency Matrix for Intersection; Dependency Matrix for Projection; Dependency Matrix for Join; Dependency Matrix for Cross Product; Dependency Matrix for Negation; Recursive Predicates; Dependency Matrices for All Predicates |
Summary |
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 |
Analysis |
Computer science |
|
Software engineering |
|
Information systems |
|
Data mining |
|
Multimedia systems |
|
Information Storage and Retrieval |
Bibliography |
Includes bibliographical references and author index |
Subject |
Semantic Web -- Congresses
|
|
Rule-based programming -- Congresses
|
|
Logic programming -- Congresses
|
|
Data structures (Computer science) -- Congresses
|
|
Informatique.
|
|
Data structures (Computer science)
|
|
Logic programming
|
|
Rule-based programming
|
|
Semantic Web
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Krötzsch, Markus.
|
|
Straccia, Umberto
|
ISBN |
9783642332036 |
|
364233203X |
|
3642332021 |
|
9783642332029 |
|