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/0a76464f0d4d1f8aa89f86ab71417942fed37d7f?ds=sidebyside;hp=0a76464f0d4d1f8aa89f86ab71417942fed37d7f 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. ---