Issues

• justify / repair fail with "IRI not in ontology" on an entailed instance query whose individual or class is undeclared

  MaastrichtU-IDS/rustdl#520 · Filter by author micheldumontier opened on Nov 14, 2026

• Measure rewriting ≤0 R.C as ∀R.¬C in core NNF (one spelling for one concept)

  enhancement
  MaastrichtU-IDS/rustdl#488 · Filter by author micheldumontier opened on Nov 6, 2026

• The consistency wedge spends its whole deadline on an open nominal disjunction (generated case 939)

  MaastrichtU-IDS/rustdl#480 · Filter by author micheldumontier opened on Nov 6, 2026

• On an inconsistent TBox-only ontology the #428 guard misses, subclass / is_subclass_of does not finish and sat answers silently (8-axiom reproducer; consistent decides it in ~1–3 s)

  MaastrichtU-IDS/rustdl#457 · Filter by author micheldumontier opened on Nov 4, 2026

• classify: with nominals on, the per-class label probes stall on ore_ont_9540 (22 → 41.5 CPU-s, same answer)

  MaastrichtU-IDS/rustdl#404 · Filter by author micheldumontier opened on Nov 1, 2026
  6

• Establish a systematic correctness assurance programme across engines and public commands

  MaastrichtU-IDS/rustdl#363 · Filter by author micheldumontier opened on Oct 26, 2026