]>
Lady’s Gitweb - Vocab/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Lady [Sun, 8 Sep 2024 02:08:13 +0000 (22:08 -0400)]
Initial commit; initial set of vocabs
Things which still need to be done with what is here :—
- Domains and ranges should be inferred, but aren¦t currently.
- Many terms involve more axioms than they need stricty need to,
because they were written before the generated webpage supported
basic inferencing.
- Better handling/display of term statuses??
- Honestly, everything probably deserves another close review just for
accuracy.
Planned future work :—
- Support for profiles (i·e, subsets of the ontology with additional
constraints).
- A lot more terms in the `ladys:` name·space.
This page took 0.018288 seconds and 4 git commands to generate.