Research map / Learning theory and algorithms / Combinatorial and search optimization
Checking Chase Termination over Ontologies of Existential Rules with Equality
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use renaming to handle equality instead of computing the chase over a singularisation | Chase computation · DBPedia | chase runtime: 590s -> 27.5s | Helped |
| Use renaming to handle equality instead of computing the chase over a singularisation | Chase computation · Claros | chase runtime: 67.4s -> 11.7s | Helped |
| Apply EMFA directly instead of MFA with the standard equality axiomatisation | Acyclicity checking · MOWLCorp | rule sets classified as acyclic: 73 -> 387 | Helped |
| Apply EMFA directly instead of MFA with singularisation | Acyclicity checking · MOWLCorp | average check runtime relative to MFA plus singularisation: 35% | Helped |
| Apply EMFA directly instead of MFA with singularisation | Acyclicity checking · Oxford Ontology Repository | average check runtime relative to MFA plus singularisation: 60% | Helped |
| Apply EMFA directly rather than MFA with singularisation | Acyclicity checking · Oxford Ontology Repository | rule sets classified as acyclic: 38 vs 38 | No clear effect |
Closest papers by meaning
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (AAAI 2023 · similarity 0.90)
- Answering Queries with Negation over Existential Rules (AAAI 2022 · similarity 0.89)
- Goal-Driven Query Answering for Existential Rules With Equality (AAAI 2018 · similarity 0.88)
- Consistent Query Answering over Existential Rules with Open and Closed Predicates (AAAI 2025 · similarity 0.87)
- Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases (AAAI 2025 · similarity 0.87)
- Spectra of Cardinality Queries over Description Logic Knowledge Bases (AAAI 2025 · similarity 0.84)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.