Negación de SPARQL: Todos los foaf: Agentes que no son foaf: Personas

Question

Estoy tratando de escribir una consulta SPARQL que debería darme todos los foaf:Agents que no son foaf:Persons.

No puedo ver una forma de aplicar this OPTIONAL/BOUND construct a este problema, porque todas las propiedades como rdfs:subClassOf y rdf:type son transitivas y reflexivas.

yo probamos este:

SELECT * WHERE { 
?x rdf:type foaf:Agent 
OPTIONAL { ?y rdf:type foaf:Person } 
FILTER (!BOUND(?y)) } 

Pero RDF: tipo parece ser transitiva, al menos con JENA/ARQ/SDB.

Answer 1

La razón por la que esto no funciona es porque tiene dos enlaces de variable separados (?x y ?y) que no están relacionados en su consulta. Por lo tanto, ?x debe aparecer obligatoriamente en el conjunto de resultados (que es lo que desea), pero si ?y está desactivado, no ha aprendido nada nuevo sobre ?x.

Actualización: En una consulta ideal, no habría necesidad de ?y en absoluto; puede probar los edegs entrantes/salientes de ?x directamente. Esto es difícil (¿imposible?) Hacer en SPARQL 1.0 cuando desea verificar si un borde no existe en un enlace de variable determinado. Sin embargo, SPARQL 1.1 prestará apoyo para la negación:

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> 
PREFIX foaf: <http://xmlns.com/foaf/0.1/> 

SELECT ?agent 
WHERE 
{ 
    ?agent rdf:type foaf:Agent . 
    NOT EXISTS { ?agent rdf:type foaf:Person . } 
} 

enfoque de @Kingsley Idehen (el uso de terceros extensiones SPARQL) debe ayudar a resolver el problema en el corto plazo.

Answer 2

Via Virtuoso Extensiones SPARQL punto final para la verificación http://lod.openlinksw.com/sparql (LOD Nube instancia caché)

SELECT DISTINCT x o

DONDE {

x un foaf:??? Agente. ? X? P? O. filtro (BIF: existe ((SELECT (1) donde {foaf xa: Persona})))

}

límite de 10

DESCRIBE x

DONDE {

?

? Xa foaf: Agente.

filtro (BIF: existe ((SELECT (1) donde {xa foaf: Persona})))}

límite de 200

Answer 3

Para hacer esto en SPARQL 1.0, que tendría hacer:

SELECT * WHERE { 
    ?x rdf:type foaf:Agent 
    OPTIONAL { ?y rdf:type foaf:Person . FILTER (?x = ?y) . } 
    FILTER (!BOUND(?y)) 
} 

Como dice Phil M., SPARQL 1.1 introducirá nueva sintaxis para hacer esto mucho más fácil de escribir.

Lee

Answer 4

Aquí está el (proyecto) SPARQL 1.1 de especificaciones para la negación: http://www.w3.org/TR/sparql11-query/#negation

Answer 5

La siguiente ahora trabaja, cortesía de SPARQL 1.1:

PREFIJO RDF: http://www.w3.org/1999/02/22-rdf-syntax-ns#

PREFIJO foaf: http://xmlns.com/foaf/0.1/

SELECT DISTINCT COUNT (? Agente)

DONDE { agente de RDF:? Tipo foaf: Agente.

FILTER (NOT EXISTS { ?agent rdf:type foaf:Person . }) 

}

vivo enlaces ejemplo:

1. Query Solution

2. Query Definition