本体建模设计模式——Normalisation Untangling
问题提出
有些本体所描述的类具有大量的父类，比如“女大学生”这个类，它可以有这些父类：学生，大学生，女人，人，参加过高考的人，不同于男人的人，等等描述逻辑的表达。如果所有的这些类都由我们直接定义，会产生2个问题：
维护困难。当我们要删除一个类别的时候，比如删除“大学生”这个类，那么下面的子类“女大学生”也要做相应的更改。又或者，我们添加了一个新的类，相应要添加其子类（如果存在）。这些人工完成的任务不仅效率低下，而且极易出错。
失去语义的功能。在这种父子类的建模方法下，语义信息被隐含地表达了，但是没有明显地体现出来。推理机仅仅知道我们人工定义了父类与子类的父子关系，但是它无法知道为何它们是父子关系，它无法通过语义去推理。
目标
用restrictions限制类来表达父子关系，而不要用 class-subclass这样的形式定义。
首先，我们建立如下一些类
总共有3个大类，社团类型，其他信息，电子商务社团。在社团类型里面有3个类，分别为：大学社团，优秀社团，技术社团。在其他信息里有3个类：领域（内有技术子类），大学，奖励。
我们的推理模式为：有大学归属的社团称为大学社团，获奖3次以上的称为优秀社团，研究领域是技术的称为技术社团。
经过推理，可以表达成如下概念
可见，建模的时候，我们完全没有定义电子商务社团有上面3个父类，但是经过推理、经过OWL的语义推理，又能清晰展现出我们所需要的逻辑结构。更令人欣慰的是，这时不管我们删除电子商务社团还是其中的某个社团类别，都不会将影响扩展。
