sttl.owlqltc.axiomowlqltc.domain.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

# OWL 2 QL restricts the class expressions in object property domain and range axioms to superClassExpression

template {
	?suc
}
where {
	?in rdfs:domain|rdfs:range ?y
	
	bind (
		isURI(?y) ||
		st:call-template-with(st:superexpowlqltc,st:superClassExpression, ?y)
	as ?suc)
	
	filter(st:alreadyVisited(?in, "domain", ?suc))
}