SPARQL INSERT matching query

Question

Hello, I need help of semantic guru's :). I want to create query which I plan to use as some kind of inferencing. The situation is following. We have class MainClass which has x subClasses: SubClassOne, SubClassTwo, SubClassThree... The subclasses consist of individuals. I need to match( insert new triple ) the individuals inside each subclasses if some triples fulfil my conditions. I will try to explain it in some pseudo code.

INSERT { ?a <my:newtriple> ?b} 
WHERE 
{
?a rdf:type <my:MainClass> .
?b rdf:type <my:MainClass> .
?a rdf:type ?aClass . 
?b rdf:type ?bClass .
?aClass hasTheSameClassAs ?bClass . ( if ?aClass is SubClassOne and ?bClass is SubClassOne the condition is fulfil ) .
?a my:predicate ?aPredicate .
?b my:predicate ?bPredicate .
?aPredicate == ?bPredicate .
}

The first problem with the query is condition: ?aClass hasTheSameClassAs ?bClass . The problem is that ?a is rdf:type MainClass and at the same time it is for example rdf:type SubClassOne. It means for every individual there will be at least one match which is not desirable. I want to match only individuals within subClasses.

The second problem is performance. I'm aware of high complexity of the query, but I hope there is better way of matching individuals using SPARQL syntax. Thank you for any answer. Marek

Answer 1

Details matter but fro what I read into the question ...

The whole thing is symmetric in ?a and ?b so for every:

INSERT { ?a <my:newtriple> ?b}

there will be

INSERT { ?b <my:newtriple> ?a}

Do you want that?

To match only on subclasses:

A simple approach is to eliminate the match of ?aClass with the top of the hierarchy with

FILTER ( ?aClass != :MainClass )
FILTER ( ?bClass != :MainClass )

Then you can find the cases where there is a class in common with

 FILTER(?aClass = ?bClass)

But this is the same in effect as:

?a rdf:type ?class . 
?b rdf:type ?class .

Putting it together:

{
  # Note this yields both <a> <b> and <b> <a>
  # You may want that - you may not.
  ?a rdf:type <my:MainClass> .
  ?b rdf:type <my:MainClass> .
  # Assume they are URIs : get the pairs once only one way round.
  FILTER( str(?a) < str(?b) )

  ?a rdf:type ?class .
  FILTER(?class != :MainClass)

  # And on to the predicate part.
  . . . 
}

Efficiency: using ?class and not ?aClass and ?bClass should help. One less cross-product.

SPARQL INSERT matching query

Follow this question

Upcoming Events

Related questions