All Downloads are FREE. Search and download functionalities are using the official Maven repository.

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

template st:oneEL(?tag) {

if (st:get(st:execmode, st:standalone), 
    st:format("OWL EL: Enumeration with more than one %s or %s", str(?messa), str(?messb)),
    st:format("OWL EL: Enumeration with more than one %s or %s", 
        str(?hrefa), str(?messa), str(?hrefb), str(?messb))
)
    
#	"OWL EL: Enumeration with more than one " str(?messa) " or " str(?messb) "."
	
}
where {

	bind(st:linkPro(?ida) as ?hrefa)
	bind(st:linkPro(?idb) as ?hrefb)
	
} values (?tag ?messa ?ida ?messb ?idb) {
	### classExp ###
	("one" "individual" "Class_Expressions" "literal" "Data_Ranges")
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy