sttl.owlrl.superexp.restrict.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

template {
  ?suc
}
where {   
      ?in a owl:Restriction ;
	  owl:onProperty ?p

	{ ?in owl:allValuesFrom ?e	  
	  bind (st:call-template(st:superClassExpression, ?e) as ?suc)
	}
	union	
	{ ?in owl:hasValue ?v 	  
	  bind (true as ?suc) }
	union	
	{ ?in owl:maxCardinality ?v	  
	  bind (?v in (0, 1) as ?suc) 
          filter(st:visit(st:err("failSuper"), ?in, ?suc))
	}
	union	
	{ ?in owl:maxQualifiedCardinality ?v ;
	  owl:onClass ?f 	  
	  bind (
	    ?v in (0, 1)  && 
	    (?f = owl:Thing ||
	    st:call-template-with(st:subexp, st:subClassExpression, ?f)) 
	  as ?suc )
          filter(st:visit(st:err("failSuper"), ?in, ?suc))
	 }  

}