A Single Approach to Decide Chase Termination on Linear Existential Rules

@inproceedings{Leclre2018ASA,
  title={A Single Approach to Decide Chase Termination on Linear Existential Rules},
  author={Michel Lecl{\`e}re and Marie-Laure Mugnier and Micha{\"e}l Thomazo and Federico Ulliana},
  booktitle={Description Logics},
  year={2018}
}
Existential rules, long known as tuple-generating dependencies in database theory, have been intensively studied in the last decade as a powerful formalism to represent ontological knowledge in the context of ontology-based query answering. A knowledge base is then composed of an instance that contains incomplete data and a set of existential rules, and answers to queries are logically entailed from the knowledge base. This brought again to light the fundamental chase tool, and its different… CONTINUE READING
1
Twitter Mention

Similar Papers

Loading similar papers…