sttl.owl.interunion.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 called by subclass in special case:
# subclassOf(intersectionOf() ?y)
#
template st:interunion {
    xsd:string(if (bound(?t), ?ld, ?lo))
    "(" 
      ibox {
	?x  
      }
    ")" 
}
where {
  ?in ?p ?x 
  optional { ?in a ?t  filter(?t = rdfs:Datatype) }
 }
values (?p ?lo ?ld) {
  (owl:unionOf         "ObjectUnionOf" 		"DataUnionOf")
  (owl:intersectionOf  "ObjectIntersectionOf" 	"DataIntersectionOf")
  (owl:complementOf 	"ObjectComplementOf" 	"DataComplementOf")
  (owl:datatypeComplementOf "DataComplementOf" 	"DataComplementOf")
}