Research map / Learning theory and algorithms / Combinatorial and search optimization
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
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 DMFA instead of MFA to check termination | Disjunctive rule sets · OXFD | rule sets classified: 28 (35%) -> 37 (46%) | Helped |
| Use DMFA instead of MFA to check termination | Disjunctive rule sets · ORE15 | rule sets classified: 88 (20%) -> 105 (24%) | Helped |
| Use DMFA instead of MFA to check termination | Disjunctive rule sets · MOWL | rule sets classified: 805 (35%) -> 864 (37%) | Helped |
| Use DMFCs instead of MFC to check non-termination | Disjunctive rule sets · OXFD | rule sets classified: 28 (35%) -> 41 (51%) | Helped |
| Use DMFCs instead of MFC to check non-termination | Disjunctive rule sets · ORE15 | rule sets classified: 161 (38%) -> 200 (47%) | Helped |
| Use DMFCs instead of MFC to check non-termination | Disjunctive rule sets · MOWL | rule sets classified: 577 (25%) -> 1268 (55%) | Helped |
| Use the two-nested-occurrences threshold in DMFA2 rather than DMFA | DMFA termination checking · ORE15 | rule sets classified: 105 (24%) -> 220 (52%) | Helped |
| Use the two-nested-occurrences threshold in DMFA2 rather than DMFA | DMFA termination checking · MOWL | rule sets classified: 864 (37%) -> 964 (42%) | Helped |
Closest papers by meaning
- Checking Chase Termination over Ontologies of Existential Rules with Equality (AAAI 2020 · similarity 0.90)
- Consistent Query Answering over Existential Rules with Open and Closed Predicates (AAAI 2025 · similarity 0.89)
- Revisiting Conjunctive Query Entailment for S (AAAI 2026 · similarity 0.89)
- Finite Entailment of Local Queries in the Z Family of Description Logics (AAAI 2022 · similarity 0.89)
- Spectra of Cardinality Queries over Description Logic Knowledge Bases (AAAI 2025 · similarity 0.85)
- Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS 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.