Capturing Homomorphism-Closed Decidable Queries with Existential Rules

Existential rules are a very popular ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward that existential rule queries exhibiting chase termination are decidable and can only recognize properties that are preserv...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bourgaux, Camille, Carral, David, Krötzsch, Markus, Rudolph, Sebastian, Thomazo, Michaël
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Databases Computer Science - Logic in Computer Science
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!