| Description |
1 online resource (xiii, 257 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 6333 |
|
LNCS sublibrary. SL 3, Information systems and application, incl. Internet/web and HCI |
|
Lecture notes in computer science ; 6333.
|
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
|
| Contents |
Invited Talks and Tutorial -- Query Answering under Non-guarded Rules in Datalog+/- -- Data Validation with OWL Integrity Constraints -- SPARQL1.1: New Features and Friends (OWL2, RIF) -- Full Papers -- Usability of a Visual Language for DL Concept Descriptions -- A Rule-Based Language for Complex Event Processing and Reasoning -- Analyzing the AIR Language: A Semantic Web (Production) Rule Language -- Query-Based Access Control for Ontologies -- On the Semantic Relationship between Datalog and Description Logics -- Inconsistency-Tolerant Semantics for Description Logics -- Extending Paraconsistent -- Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries -- Defeasibility in Answer Set Programs via Argumentation Theories -- Short Papers -- A Rule-Based Approach to XML Processing and Web Reasoning -- Learning to Rank Individuals in Description Logics Using Kernel Perceptrons -- A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies -- Secrecy-Preserving Query Answering for Instance Checking in -- Embeddings of Simple Modular Extended RDF -- KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge -- Poster/Position Papers -- Composition of Semantic Web Services in a Constructive Description Logic -- A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules -- Rule-Based Spam E-mail Annotation -- A RESTful SWRL Rule Editor -- PhD Description -- On the Termination of the Chase Algorithm -- System Descriptions -- Processing RIF and OWL2RL within DLVHEX -- A RPL through RDF: Expressive Navigation in RDF Graphs |
| Summary |
Annotation This book constitutes the refereed proceedings of the 4th InternationalConference on Web Reasoning and Rule Systems, RR 2010, held inBrixen-Bressanone, Italy, in September 2010. The 9 revised full papers, 6 revised short papers, and 4 poster paperspresented together with 1 PhD paper, 2 system descriptions and 3 invitedpapers were carefully reviewed and selected from 41 submissions. Thepapers address all current topics in Web reasoning, Web-based knowledge, and rule systems such as representation techniques; rules andontologies; reasoning languages; efficiency and benchmarking, ; ontologylanguages; querying and optimization; reasoning with uncertainty, underinconsistency, and with constraints; rule languages and systems; ruleinterchange formats and markup languages; scalability; approximatereasoning; statistical methods and symbolic reasoning; as well assemantic Web services modeling and applications |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
Print version record |
| Subject |
Semantic Web -- Congresses
|
|
Rule-based programming -- Congresses
|
|
Logic programming -- Congresses
|
|
Informatique.
|
|
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 |
Hitzler, Pascal
|
|
Lukasiewicz, Thomas
|
| ISBN |
9783642159183 |
|
3642159184 |
|
9783642159176 |
|
3642159176 |
|
