该研究介绍了使用语法宏对有限形式语言进行重写的问题，并提出了多项式时间算法来解决该问题的变体。通过应用算法于OWL编写的生物医学本体论，证明了该问题的实际相关性和算法的可行性和有效性。该方法有助于提升本体质量和理解方面，并分析和评估重写系统的特性。