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

Question

我可以选择 s3 的大小，它在规则 1 中给了我正确的答案。但是，我想选择 s3 中的所有元素。我尝试了规则 2，但它给了我异常“运行 SQWRL 查询时出错：运行 Drools 规则引擎时出错”

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

规则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)