owl - Protege 4.3 中的个人分类不一致

Question

我一直在学习 Protege，我有一个问题。我在从互联网下载的本体“ people.owl ”中添加了一个名为aaa的个体。

我将类型断言设置为： sheep 和 hasCC value 200，其中hasCC是数据属性。然后，在动物类中，我创建了两个类：hhh和lll。我将hhh设置为等价，并在其中写道： animal and (hasCC some decimal[>= 150]) 对于lll我设置： animal and (hasCC some decimal[< 250])

当我运行 HermiT reasoner 时，我看到单个aaa被分为lll和hhh类。但是，当我将lll和hhh类设置为不相交并运行推理器时，这些类并未归类为“ Nothing ”类，例如“ mad_cow ”类。我收到一条消息：“您的本体不一致，这意味着 OWL 推理器将不再能够提供有关本体的任何有用信息。” 单击“解释”按钮后，我得到：

你能说，为什么lll和hhh类不能归类为Nothing？我应该更正什么让lll和hhh类被归类为Nothing？谢谢！

标签： owlprotege

Answer 1

“您的本体不一致，这意味着 OWL 推理器将不再能够提供有关本体的任何有用信息。”

这不是已经说完了吗？您抱怨推理器没有做某事，但推理器明确告诉您它无法提供任何有用的信息！使你的本体一致，然后你可以从推理者那里得到一些东西。

在任何情况下，您都不能期望包含实例的类（这里的类hhh和lll两者都必须包含实例aaa）等价于Nothing. Nothing确切地说是“没有任何实例的类”。