Research map / Continual learning / Online and replay-based
ABox Abduction via Forgetting in ALC
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 |
|---|---|---|---|
| add annotation-based dependency filtering before entailment checks (ablation) | full filtering · DOID ontology | mean time taken (s): 1071.35 -> 1.09 | Helped |
| add annotation-based dependency filtering before entailment checks (ablation) | full filtering · SYN ontology | mean time taken (s): 2421.96 -> 3.92 | Helped |
| add annotation-based dependency filtering before entailment checks (ablation) | full filtering · ALC ontologies (ICF, Semintec, OBI, NATPRO) | runtime | Helped |
| use full entailment-based redundancy removal instead of approximate filtering (ablation) | hypothesis computation · SYN ontology | mean time taken (s): 0.95 -> 3.92 | Hurt |
| use full entailment-based redundancy removal instead of approximate filtering (ablation) | hypothesis computation · NATPRO ontology | mean time taken (s): 26.54 -> 179.70 | Hurt |
| use full entailment-based redundancy removal instead of approximate filtering (ablation) | hypothesis computation · LUBM ontology | mean % redundancy in hypothesis: 29.30 -> 0 | Helped |
| use full entailment-based redundancy removal instead of approximate filtering (ablation) | hypothesis computation · BFO, DOID, ICF | mean % redundancy in hypothesis | No clear effect |
| increase size of forgetting signature F (ablation) | forgetting step · ICF, DOID, SYN | forgetting time | Hurt |
| increase size of forgetting signature F (ablation) | filtering step · ICF, DOID, SYN | filtering time | No clear effect |
Closest papers by meaning
- A Practical Approach to Forgetting in Description Logics with Nominals (AAAI 2020 · similarity 0.89)
- Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach (AAAI 2019 · similarity 0.87)
- Stable Model Semantics for Description Logic Terminologies (AAAI 2024 · similarity 0.83)
- Curriculum Abductive Learning (NeurIPS 2025 · similarity 0.82)
- A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming (AAAI 2024 · similarity 0.82)
- Ambiguity-Aware Abductive Learning (ICML 2024 · similarity 0.81)
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.