顺序排序强内涵逻辑：通过类型断言和概念泛化表达子类型多态性

本研究提出了一种受限的顺序排序强内涵逻辑，解决了顺序排序逻辑在知识表示中的局限性，增强了对概念的量化支持，并改善了程序与子类型的兼容性。