query.clean.card.rq Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of corese-core Show documentation

Corese is a Semantic Web Factory (triple store and SPARQL endpoint) implementing RDF, RDFS, SPARQL 1.1 Query and Update.

There is a newer version: 4.6.1

Show newest version

#
# Factorize all occurrences of same Restriction
# into one occurrence everywhere
# a owl:Restriction ; owl:onProperty ?p ; owl:allValuesFrom ?t
#
# Olivier Corby - Wimmics INRIA I3S - 2014 
#
delete {
  ?a ?r ?b
  ?b owl:onProperty ?p ;
     ?q ?t ;
     a ?tb
}
insert {
  ?a ?r ?y
}
where {

  {select (sample(?x) as ?y) ?q ?p ?t 
  where {
    ?x owl:onProperty ?p
    values ?q { owl:minCardinality owl:maxCardinality }
    ?x ?q ?t
    }
    group by ?q ?p ?t
  }

  ?b owl:onProperty ?p ;
     ?q ?t ;
     a ?tb
  
  filter(?b != ?y)
  ?a ?r ?b
}