SPARQL子查詢變量範圍

Question

我想計算外部人的可見度，只有當他們在與fr：human-1（這是人類看到的）相同的房間中人數超過時纔會開啓。

我想出了一個相當複雜的查詢工作正常，但似乎是多餘的：

SELECT ?actor 
WHERE { 
     ?room o:contains fr:human-1 . 
     ?actor o:in  ?room . 
     {?actor a   o:Human . } 
     UNION 
     {?actor a   o:Alien . 
     filter(?aliens < ?humans) { 
            SELECT (count(distinct ?alien) as ?aliens) 
              (count(distinct ?human) as ?humans) 
              WHERE { 
                ?room o:contains fr:human-1 . 
                ?human a   o:Human . 
                ?human o:in  ?room . 
                ?alien a   o:Alien . 
                ?alien o:in  ?room . 
               } 
            } 
     } 
} 

顯然，像?room o:contains fr:human-1一些關係遍歷兩次。我嘗試從內部查詢返回?room，以便外部查詢使用它，並從外部查詢中除去?room o:contains fr:human-1。但是，這似乎打破了該模式，因爲整個查詢然後返回了子查詢未返回的值?room。我認爲這是因爲actor o:in ?room .關係不僅與預先計算的?room相匹配。

現在我想知道是否可以從子查詢中返回?human和?alien，然後在外部查詢中以某種方式將它們合併到?actor變量中。

Answer 1

如果你說了你想要返回的東西，這會有所幫助嗎？

它看起來像你的迴歸演員扮演人類的列表，以及演員扮演外星人的列表，但只有當有比人類的外星人少 - 是h

你有○：包含和o：中，這似乎是多餘的，當然你可以使用o：contains和reverse主題和對象？

Answer 2

所以，答案似乎是「除了分裂它之外，沒有辦法消除這個複雜查詢中的冗餘」。