如何在 sqwrl 查询中编写 OR 操作

Question

对于sqwrl查询中的AND操作，它类似于：

Symptom(fever) ^ Symptom(vomiting) ^ Disease(?y) ^ hasSymptom(?y,fever) ^ hasSymptom(?y,vomiting) -> sqwrl:select(?y)

从上述规则中，它选择具有两种症状的疾病。sqwrl 查询中的 OR 操作怎么样？我想选择有症状发烧或症状呕吐的疾病？任何帮助将不胜感激。

Answer 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:element(?e, ?s3) -> sqwrl:select(?e)

Answer 2

我认为

，您正在搜索的内容可以通过集合来完成。使用它们，您可以定义析取。我不确定，但也许您想要的查询如下所示：

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