OWL中的子类概念

Question

我在stackoverflow上发布这个，因为我现在对OWL很困惑。

所以在OWL文件中，我可以表示一个子子类概念吗？

例如，实体属于一个名为Wine的类，它在这个类中，我们有一个名为WineType的子类，然后在WineType中，我们有一个名为enzyme_avability的子类。这可能在OWL中作为嵌套类概念吗？ （例如）

请帮我解决这个问题

Answer 1

是的，这是可能的。我认为你在寻找的是

http://www.w3.org/TR/owl2-syntax/#Object_Property_Restrictions

因此，在排序中，您表示的是OWL完全支持的层次结构。

Answer 2

你可以写下公理：

A subClassOf B
B subClassOf C

等等，对您要定义的级别数没有限制。推理者将能够回答如下问题：是C的子类吗？按照层次结构。 当然，存在更复杂的排列层次结构的方法，例如Jinal提到的对象属性限制。