我已经阅读了本指南 ，我认为我理解得很好。我知道有类和其他类的类和实例。
基本上我有很多陈述，我必须根据本体来验证。例如：Eshtablish 标志在 0600h 的“区域”。
例 2：在 0500h 之前在 area1 和 area2 之间建立围栏。所以我知道例如 area 是一个类的实例，但是可以有很多区域。我知道 0500 是一个事物的数据属性，特别是一个区域。
问题是我无法理解如何将上面的“Eshtablish”之类的动作建模成猫头鹰的动作。
我还假设我需要一个推理器来验证来自客户端的这些实时语句（例如上面）针对本体。这个假设是真的吗？
另一件事是 protege beta(latest) 无法加载本体，即使是它自己创建的本体，你有这个问题吗？我要买旧版本。
谢谢