形式语言的最小基于宏的重写：理论与本体工程（及其扩展应用）

BriefGPT - AI 论文速递 ·

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

多项式时间算法工程形式语言有限形式语言本体质量生物医学本体论语法宏

原文中文，约300字，阅读约需1分钟。