Repository navigation
Ontology: Add annotations (e.g. for OWL import) - #146
Open
jochenchrist wants to merge 14 commits into
Open
jochenchrist wants to merge 14 commits into
jochenchrist wants to merge 14 commits into
Commits
Commits on Jun 3, 2026
Commits on Aug 18, 2026
Commits on Sep 15, 2026
Commits on Sep 19, 2026
- committed
- committed
- committed
- committed
Commits on Sep 30, 2026
Commits on Oct 5, 2026
Commits on Oct 12, 2026