形式语言的最小基于宏的重写：理论与本体工程（及其扩展应用）
原文中文，约300字，阅读约需1分钟。发表于：。该研究介绍了使用语法宏对有限形式语言进行重写的问题，提出了多项式时间算法来解决该问题的变体，并展示了其正确性。通过将算法应用于 OWL 编写的生物医学本体论，证明了该问题的实际相关性以及算法的可行性和有效性。此方法在提升本体质量和理解方面提供了有价值的帮助，并以系统的方式分析和评估重写系统的特性，包括语法宏、模板或其他形式的重写规则对计算问题的影响。
该研究介绍了使用语法宏对有限形式语言进行重写的问题，并提出了多项式时间算法来解决该问题的变体。通过应用算法于OWL编写的生物医学本体论，证明了该问题的实际相关性和算法的可行性和有效性。该方法有助于提升本体质量和理解方面，并分析和评估重写系统的特性。
