protege构建本体教程幻灯片.pptVIP

2 定义一些其他的类（一些使用技巧） ? 【 Pizza 子类 NamedPizza 】 ? 【 NamedPizza 子类 MargheritaPizza has at least one toppings of MozzarellaTopping and TomatoTopping 】 ? 【创建 AmericanaPizza 通过克隆 MargheritaPizza 因 为他扩展了一个限制 PepperoniTopping 】 ? 【创建 AmericanHotPizza 通过克隆 AmericanaPizza 增加限制 JalapenoPepperTopping 】 ? 【创建 SohoPizza 克隆 MargheritaPizza 增加 OliveTopping 和 ParmezanTopping 】 31 2020/3/24 4.10 使用 Reasoner （推理机） the reasoner shipped with Prot ′ eg ′ e is called Fact++. 两种 hierarchy ： In Prot ′ eg ′ e 4 the ‘ manually constructed class hierarchy is called the asserted hierarchy . The class hierarchy tha