Vance, M. Modeling Abstract Algebra As an OWL Ontology (Student Abstract). AAAI 2022, 36, 13071-13072.