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.)
Resource Information
The item Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- 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
- Language
- eng
- Extent
- 1 online resource (xv, 298 pages).
- 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
- Isbn
- 9783642332036
- 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
- Subject
-
- Conference papers and proceedings
- Conference papers and proceedings
- Data mining.
- Data structures (Computer science)
- Data structures (Computer science)
- Data structures (Computer science) -- Congresses
- Information Storage and Retrieval.
- Information systems.
- Informatique
- Logic programming
- Logic programming
- Logic programming -- Congresses
- Multimedia systems.
- Rule-based programming
- Rule-based programming
- Rule-based programming -- Congresses
- Semantic Web
- Semantic Web
- Semantic Web -- Congresses
- Software engineering.
- Computer science.
- 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
- 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.)
- 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.)
- 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
Subject
- Conference papers and proceedings
- Conference papers and proceedings
- Data mining.
- Data structures (Computer science)
- Data structures (Computer science)
- Data structures (Computer science) -- Congresses
- Information Storage and Retrieval.
- Information systems.
- Informatique
- Logic programming
- Logic programming
- Logic programming -- Congresses
- Multimedia systems.
- Rule-based programming
- Rule-based programming
- Rule-based programming -- Congresses
- Semantic Web
- Semantic Web
- Semantic Web -- Congresses
- Software engineering.
- Computer science.
Genre
Member of
- Lecture notes in computer science, 7497
- LNCS sublibrary, SL 3, Information systems and applications, incl. Internet/Web, and HCI
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Web-reasoning-and-rule-systems--6th/AmYlPpiI324/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Web-reasoning-and-rule-systems--6th/AmYlPpiI324/">Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Web-reasoning-and-rule-systems--6th/AmYlPpiI324/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Web-reasoning-and-rule-systems--6th/AmYlPpiI324/">Web reasoning and rule systems : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Markus Krötzsch, Umberto Straccia (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
