例如
在httpMassage类中：
httpMessage subclassOf仅限hasPart（httpRequest或httpReponse）
在httpRequest类中：
httpRequest subclassOf仅限hasPart（generalHeader或entityHeader或requestHeader或Payload或request_line）
在request_line类中：
request_line subclassOf只有部分（httpMethod或URl或httpVersion）
我也在许多其他课程中使用“hasPart”。 那么我想在我的本体论例子中使用传递演绎规则
hasPart（？x，？y）^ hasPart（？y，？z） - ＆gt; hasPart（ΔX，z）的
但是当我执行它时，swrl显示错误，检测到内存不足请增加堆大小 怎么了？