使用protege过程中的一些小技巧

• 用protege---tools----create class hierarchy 可以直接一次性地创建class的subclass,而且还可以使用前缀和后缀的方式定义相同前后缀的class，节约时间。
• 一般class的命名习惯是首字母大写不要空格，可以用连接符，properties的命名习惯是首字母小写也不要空格。
• object property characteristic：

1. functional，对于一个给定的个体，最多只有一个个体通过这个属性和它连接，如对于hasbirthmother的属性有一个functional特性，一个人只有一个生母。
2. inverse functional ：对于以上hasbirthmother，就有isbirthmotherof的相反属性。
3. transitive property:传递性。
4. symmetric property:对称性。
5. Asymmetric property:非对称性。
6. reflexive:自反性
7. irreflexive:非自反性

• 属性限制：some和only
• 可以使用克隆的方式新创建属性限制相似的类，选择你想要克隆的类，然后在Select “Duplicate selected class” from the ‘Edit’ menu，可以节约时间。
• 如何快速选择子类互不相交，Select the ‘Make primitive siblings disjoint’option in the ‘Edit’ menu。
  
• 将不想交的子类移除，Press the ‘Delete selected row’ button on the Disjoints view to remove the disjoint axiom that states CheeseTopping and VegetableTopping are disjoint。
• 一个类有充分必要条件的时候称为define class（定义类），在protege中是在“equivalent class”中表示，如果只有必要条件，被称为primitive class（原始类，不知道翻译的对不对，敬请指正）。primitive class转换成define class可以使用In the ‘Edit’ menu select ‘Convert to defined class’。
• protege中一个圆圈里面三条横线代表它是定义类，有充分必要条件，如果是一片平的黄色背景圆圈，那么它是primitive class，只有必要条件。
• It is important to realize that, in general, classes will never be placed as subclasses of primitive classes (i.e. classes that only have necessary conditions) by the reasoner.The exception to this is when a property has a domain that is a primitive class. This can coerce classes to be reclassified under the primitive class that is the domain of the property —the use of property domains to cause such effects is strongly discouraged.(一般推理机不会将类放到初始类的子类下面，有一个例外就是有属性的定义域是一个初始类，这可能会迫使类分类到一个初始类的子类之中)。
  
• 在protege中，intersection是交集的意思，and，在定义类disjoint的时候，不能用intersection，因为不相交。union是并集，or。