To whom it may concern, My name is SungKu, who's working as a graduate research assistant at UIUC and working on Jena and SADL(which is based on Jena).
I'd like to perform reasoning based on the number of object related with a subject through certain kind of property. (e.g. Polygon and (hasSide exactly 4 Thing) is a Square) I know counting requires closed world assumption but I want to know if there are some built-in primitive which can perform as if the ontology is based on closed world assumption. (e.g. "hasNumberOfPropertyValues" of SWRL built-in) Is there any Jena rule built-in primitives or other feature that can perform such reasoning? Regards, Kang, SungKu
