描述逻辑手册中的示例
An Example from Description Logic Handbook
我不是很清楚这个例子。该示例取自描述逻辑手册。
示例的最后一行，"induction is required, hence such reasoning is not first order"。那句台词让我措手不及。
非常感谢您的解释。
我不是很清楚这个例子。该示例取自描述逻辑手册。
示例的最后一行，"induction is required, hence such reasoning is not first order"。那句台词让我措手不及。
非常感谢您的解释。