因为本体是描述逻辑中的二元谓词逻辑，所以只能推理出两个点是否相通，却无法表示两点间的距离。
有没有什么对描述逻辑进行扩展的方法，使得本体能够支持两点间最佳路径的推理呢？
我觉得这是对本体进行模糊逻辑扩展的前提。
比如，如果要查询离A点比较近的电影院。
首先，本体得知道所有的电影院和A点之间的距离，然后再找出最近的电影院。
这在图论中是很容易的，可是在本体中应该怎么做呢？