Zhang, H.; Jiang, G.; Quan, D. A Theory of Formalisms for Representing Knowledge. AAAI 2025, 39, 15257-15264.