SPARQL алгебра: Исключение узлов на основе троек они

Question

Возьмите этот график:

:thing1 a :Foo ; 
    :has :A ; 
    :has :B . 

:thing2 a :Foo ; 
    :has :B ; 
    :has :A . 

:thing3 a :Foo ; 
    :has :A ; 
    :has :B ; 
    :has :C . 

Я хочу, чтобы выбрать :thing1 и :thing2, но НЕ:thing3.

Вот запрос SPARQL, который я написал, который работает. Есть лучший способ сделать это?

SELECT ?foo WHERE { 
    ?foo a :Foo ; 
     :has :A ; 
     :has :B . 
    MINUS { 
     ?foo a :Foo ; 
      :has :A ; 
      :has :B ; 
      :has ?anythingElse . 
     FILTER(?anythingElse != :A && ?anythingElse != :B) 
    } 
} 

Answer 1

Альтернативой является МИНУС ФИЛЬТР НЕ СУЩЕСТВУЕТ:

SELECT ?foo WHERE { 
    ?foo a :Foo ; 
     :has :A, :B . 
    FILTER NOT EXISTS { 
     ?foo :has ?other . 
     FILTER (?other NOT IN (:A, :B)) 
    } 
} 

, который говорит, свободно, найти все Foo с: А и: B, а затем проверить, что у них нет никакой другой: имеет значение.

Что касается эффективности выполнения, то есть оптимизации, чтобы превратить некоторые шаблоны MINUS в FILTER NOT EXISTS и наоборот, а также есть возможность совместного использования общих паттернов.

Без оптимизатора, являющегося таким умным, FILTER NOT EXISTS, скорее всего, будет быстрее, потому что «? Foo a: Foo ;; имеет: A,: B». не повторяется, и FILTER рассматривает только те элементы, которые уже прошли «? foo a: Foo;; has: A,: B.».

Существует только один способ узнать, что нужно для реальных реальных данных, когда все эффекты, включая кеширование, объединяются.

Answer 2

Вы можете сделать это с помощью использования NOT IN оператора вместо логического выражения, и в самом деле нет необходимости повторять три тройные модели, если заменить условие MINUS с FILTER NOT EXISTS пункта:

SELECT ?foo WHERE { 
    ?foo a :Foo ; 
     :has :A, :B . 
    FILTER NOT EXISTS { 
     ?foo :has ?other . 
     FILTER (?other NOT IN (:A, :B)) 
    } 
} 

Я сомневаюсь, что будет значительная разница в производительности, но запрос будет короче и легче читать.