owl protege如何描述一个只有一些属性的类?

Mar*_*oli 2 semantic-web owl ontology protege

是否可以在protege(因此在owl中)描述一个类,具体取决于它是否具有某些属性?

例如

我有一个类Home,我想说的是,每一个都有实例property1,并property2property2被认为是类的实例?

Jos*_*lor 12

假设你有一个鸭子类,你想说如果像鸭子一样走路,像鸭子那样说话,那就是鸭子.你可以用类公理来做到这一点:

        ((walkLike some Duck)(会谈一些 Duck))SubClassOf Duck

像这样的子类公理,其中左侧不仅是类名,而是复杂的类表达式,称为通用类公理.您可以在Active Ontology选项卡下的Protégé中输入以下内容:

Protege中的一般类公理

有关一般类公理的更多信息,您可能会发现左侧是复杂的:一般概念包含有用.