Coverart for item
The Resource Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.)

Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.)

Label
Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Title
Web reasoning and rule systems
Title remainder
6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings
Statement of responsibility
Markus Krötzsch, Umberto Straccia (eds.)
Title variation
RR 2012
Creator
Contributor
Subject
Genre
Language
eng
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
Member of
Is part of
Cataloging source
GW5XE
Dewey number
025.042/7
Index
index present
LC call number
TK5105.88815
LC item number
.R7 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
RR (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Krötzsch, Markus
  • Straccia, Umberto
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 3, Information systems and application, incl. Internet/Web and HCI
Series volume
7497
http://library.link/vocab/subjectName
  • Semantic Web
  • Rule-based programming
  • Logic programming
  • Data structures (Computer science)
  • Informatique
  • Data structures (Computer science)
  • Logic programming
  • Rule-based programming
  • Semantic Web
Label
Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
809795208
Dimensions
unknown
Extent
1 online resource (xv, 298 pages).
File format
unknown
Form of item
online
Isbn
9783642332036
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)809795208
Label
Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
809795208
Dimensions
unknown
Extent
1 online resource (xv, 298 pages).
File format
unknown
Form of item
online
Isbn
9783642332036
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)809795208

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...