如何在 sqwrl 查询中从 UNION 操作中选择元素

Question

我能够选择 s3 的大小，它在规则 1 中给了我正确的答案。但是，我想选择 s3 中的所有元素。我尝试了规则 2，但它给了我异常"运行 SQWRL 查询时出错：运行流口水规则引擎时出错">

我的目标是检索所有有呕吐症状或发烧的疾病。任何帮助将不胜感激。

规则 1：

Symptom(fever) ^ Symptom(vomiting) ^ Disease(?x) ^ Disease(?y) ^ has_symptom(?x, fever) ^ has_symptom(?y, vomiting)˚sqwrl:makeSet(?s1, ?x) ^ sqwrl:makeSet(?s2, ?y)˚sqwrl:union(?s3, ?s1, ?s2) ^ sqwrl:size(?n, ?s3) -> sqwrl:select(?n) 

规则 2：

Symptom(fever) ^ Symptom(vomiting) ^ Disease(?x) ^ Disease(?y) ^ has_symptom(?x, fever) ^ has_symptom(?y, vomiting)˚sqwrl:makeSet(?s1, ?x) ^ sqwrl:makeSet(?s2, ?y)˚sqwrl:union(?s3, ?s1, ?s2) -> sqwrl:select(?s3) 

Answer 1

根据文档，您应该尝试使用二进制内置谓词sqwrl:element(?e, ?sd)，第一个元素参数?e未绑定，即：

Symptom(fever) ^ Symptom(vomiting) ^ Disease(?x) ^ Disease(?y) ^
has_symptom(?x, fever) ^ has_symptom(?y, vomiting) ^ 
sqwrl:makeSet(?s1, ?x) ^ sqwrl:makeSet(?s2, ?y) ^ sqwrl:union(?s3, ?s1, ?s2) ^
sqwrl:element(?e, ?s3)  
-> sqwrl:select(?e)