From: Lady Date: Sun, 8 Sep 2024 02:08:13 +0000 (-0400) Subject: Initial commit; initial set of vocabs X-Git-Url: https://git.ladys.computer/Vocab/commitdiff_plain/9f84b78cf0db742ab8222e2753933e15f5aebeb9?ds=sidebyside;hp=9f84b78cf0db742ab8222e2753933e15f5aebeb9 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. ---