Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Web Reasoning and Rule Systems: Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings > On the Termination of the Chase Algorithm
Web Reasoning and Rule Systems: Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings |
Pascal Hitzler; Thomas Lukasiewicz
Springer Berlin Heidelberg
Web Reasoning and Rule Systems: Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
On the Termination of the Chase Algorithm
Authors

Michael Meier

ARI Id

1664732701775_2985909

Access

Not Available Free

Pages

239-243

DOI

10.1007/978-3-642-15918-3_23

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-15918-3_23

Table of Contents of Book
Showing 1 to 20 of 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Query Answering under Non-guarded Rules in Datalog+/-
Andrea Calì; Georg Gottlob; Andreas Pieris
1-17
Data Validation with OWL Integrity Constraints
Evren Sirin
18-22
SPARQL1. 1: New Features and Friends (OWL2, RIF)
Axel Polleres
23-26
Usability of a Visual Language for DL Concept Descriptions
Fernando Náufel do Amaral
27-41
A Rule-Based Language for Complex Event Processing and Reasoning
Darko Anicic; Paul Fodor; Sebastian Rudolph; Roland Stühmer; Nenad Stojanovic; Rudi Studer
42-57
Analyzing the AIR Language: A Semantic Web (Production) Rule Language
Ankesh Khandelwal; Jie Bao; Lalana Kagal; Ian Jacobi; Li Ding; James Hendler
58-72
Query-Based Access Control for Ontologies
Martin Knechtel; Heiner Stuckenschmidt
73-87
On the Semantic Relationship between Datalog and Description Logics
Markus Krötzsch; Sebastian Rudolph; Peter H. Schmitt
88-102
Inconsistency-Tolerant Semantics for Description Logics
Domenico Lembo; Maurizio Lenzerini; Riccardo Rosati; Marco Ruzzi; Domenico Fabio Savo
103-117
Extending Paraconsistent $\mathcal{SROIQ}$
Frederick Maier
118-132
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries
Reinhard Pichler; Axel Polleres; Sebastian Skritek; Stefan Woltran
133-148
Defeasibility in Answer Set Programs via Argumentation Theories
Hui Wan; Michael Kifer; Benjamin Grosof
149-163
A Rule-Based Approach to XML Processing and Web Reasoning
Jorge Coelho; Besik Dundua; Mário Florido; Temur Kutsia
164-172
Learning to Rank Individuals in Description Logics Using Kernel Perceptrons
Nicola Fanizzi; Claudia d’Amato; Floriana Esposito
173-181
A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies
Oliver Gries; Ralf Möller; Anahita Nafissi; Maurice Rosenfeld; Kamil Sokolski; Michael Wessel
182-194
Secrecy-Preserving Query Answering for Instance Checking in $\mathcal{EL}$
Jia Tao; Giora Slutzki; Vasant Honavar
195-203
Embeddings of Simple Modular Extended RDF
Carlos Viegas Damásio; Anastasia Analyti; Grigoris Antoniou
204-212
KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge
Klara Weiand; Steffen Hausmann; Tim Furche; François Bry
213-222
Composition of Semantic Web Services in a Constructive Description Logic
Loris Bozzato; Mauro Ferrari
223-226
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings