Thanks!

比如，设计一个图形编辑器，每种图形的语义由OWL定义，而图形间的数值关系（e.g. distance）由用户交互改变(instead of being changed by OWL definition)。

同意楼上的观点，但在处理这类问题时又没有什么好办法呢？

但目前的工具已经能够描述很大一部分知识，只是 "ontology becomes more complex, and even daunting, when we begin to grapple with large domains of objects with complex relationships with them..." (David Koepsell)。

因为刚开始接触本体，不敢讨论如微分方程的例子。然而有一点是可以肯定的：数学中的一部分可以用本体描述。例如，整数，整数的加减乘除等。说得远一些，计算机是基于布尔逻辑的，某些工具如MatLab可以解决很大一部分数学问题。

问题的难点实质在于如何设计一种syntax，来表达特定的semantics。理论上可以解决，但现实中仍旧难以实现：比如上面微分方程的例子。

对Ongology刚开始认识，可能说得会不着调，欢迎大家批驳指正。