用本体工具PROTEGE3.1.1开发的简单的pizza本体,包含Properties、Classes、Restrictions、Disjointness等的建立!