SPARQL Query, выберите все, кроме того, что соответствует?

Question

Я чувствую себя комфортно при написании регулярных запросов на SPARQL, но у меня все еще есть проблемы со странными вещами. Моя последняя проблема - попытаться выбрать все, кроме того, что соответствует предложению where. Например, скажем, я хочу найти всех мужей, которым нравится цвет машины, который не нравится их жене (я работаю над проприетарной моделью, поэтому извините пример и просто поверьте, что это имеет смысл в реальной модели).

Я мог бы иметь:

<bob> <spouse> <alice>
<bob> <likes> <red>
<alice> <likes> <red>
<carl> <spouse> <dorothy>
<carl> <likes> <blue>
<dorothy> <likes> <yellow>
<eric> <spouse> <fannie>
<eric> <likes> <black>

Какой запрос выбирает Карла и Эрика, но не Боба? Бонусные баллы, если вы можете выбрать синий и черный в одном запросе. Выбор Боба будет просто:

select ?husband ?color where {?husband <spouse> ?wife . ?husband <likes> ?color . ?wife <likes> ?color}

То, что я ищу, это:

select ?husband ?color where {?husband <spouse> ?wife . ?husband <likes> ?color . NOT (?wife <likes> ?color)}

но очевидно, что это неправильно. Так что правильно?

Answer 1

Один правильный ответ, который я нашел из других источников, выглядит примерно так:

select ?husband ?color where {?husband <spouse> ?wife . ?husband <likes> ?color . OPTIONAL {?wife <likes> ?wifecolor FILTER (?wifecolor = ?color)} FILTER (!BOUND(?wifecolor))}

По крайней мере, это работает на Эрика, но я не проверял Карла.

Answer 2

Существует более простой и более естественный способ сделать это в SPARQL 1.1 (но он эквивалентен решению OPTIONAL/BOUND):

SELECT ?husband ?color 
WHERE {
    ?husband <spouse> ?wife .
    ?husband <likes> ?color .
    FILTER NOT EXISTS {?wife <likes> ?color}
}