早期基于模板的本体语言化方法将 SubClassOf(A, B) 直接映射为“A 是 B 的子类”，这类方法可控性强、输出确定，但严重依赖人工编写的模板库，难以覆盖复杂或非常规的公理模式。