sttl.pperror.axiomclassexp.rq Maven / Gradle / Ivy

Go to download

template st:axiomClassExp(?tag) {

if (st:get(st:execmode, st:standalone), 
    st:format("OWL: %s %s", ?mess1, ?mess2), 
    st:format("OWL: %s %s", ?mess1, ?mess2)
)            

#	"OWL: Statement not supported without a " str(?mess) " or a " str(?messb) "."

}
where {
	
}

values (?tag ?mess1 ?mess2) {
	### axiom ###
	("axiomClassExp" "Expression E in: unionOf, intersectionOf, complementOf, oneOf" "require: subClassOf E, equivalentClass E, etc.")
}