MaastrichtU-IDS

MaastrichtU-IDS/rustdl

Rust-based OWL DL reasoner

Stars: 16
Forks: 4
Open beginner issues: 0
Indexed issues: 6
Avg merge: 9h 20m
Merged PRs (30d): 53

Dominant language: Rust
License: Apache-2.0
Last GitHub push: Sep 18, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

6 open issues indexed

--global-timeout-ms is non-monotone and unbounded in wall: a mid-range budget returns 0 rows while both smaller and larger budgets return the complete answer Open

Difficulty 5/5 Over a week Newbie friendliness 45/100

MaastrichtU-IDS/rustdl#162 · 1 comment · Opened Sep 16, 2026
classify misses subsumptions that subclass proves — ~3,986 lost entailments across ORE (was 4,284 pre-#163) Open

Difficulty 4/5 3-5 days Newbie friendliness 42/100

MaastrichtU-IDS/rustdl#160 · 7 comments · Opened Sep 15, 2026
InverseFunctionalObjectProperty(ObjectInverseOf(:p)) is silently dropped — it is Functional(:p) and is not applied Open

Difficulty 4/5 3-5 days Newbie friendliness 65/100

MaastrichtU-IDS/rustdl#149 · 2 comments · Opened Sep 12, 2026
Slow reasoning problem Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

MaastrichtU-IDS/rustdl#139 · 2 comments · Opened Sep 10, 2026
hypertableau role_matches has no notion of InverseObjectProperties between distinct roles (#128) Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

MaastrichtU-IDS/rustdl#135 · 1 comment · Opened Sep 8, 2026
Chain composed from two chains: the composed range never reaches the innermost witness (residual of #84) Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

MaastrichtU-IDS/rustdl#108 · 2 comments · Opened Sep 5, 2026

A short digest of beginner-friendly GitHub issues.