Translate unusable class expressions into placeholder classes
- Dominant language
- Scala
- Stars
- 46
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
If there is an axiom `C SubClassOf (fatherOf some child) and (fatherOf only child)`, currently Whelk will throw out the whole axiom (same as ELK 0.4.3). But Whelk should be able to infer `C SubClassOf (fatherOf some child)` from this.
Similarly, Whelk should translate any `minCardinality` greater than 0 into `someValuesFrom`.
Contributor guide
No contributing guide indexed for this repository
Research direction
No files, tests, or entry points are named. Start by locating Whelk's axiom translation and handling for unusable class expressions, then identify existing tests for subclass axioms and cardinality restrictions. Done means preserving the existential restriction and translating every positive minCardinality into someValuesFrom without discarding the axiom.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- scala
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100