sttl.owlrl.axiom.disjointclass.rq Maven / Gradle / Ivy
template {
?suc
}
where {
?in owl:disjointWith ?y
filter (
isURI(?in) ||
not exists { ?x ?p ?in }
)
bind (
st:call-template-with(st:subexp, st:subClassExpression, ?in) &&
st:call-template-with(st:subexp, st:subClassExpression, ?y)
as ?suc)
filter(st:alreadyVisited(?in, "disjointClass", ?suc))
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy