Operations on Jena rules

[javed khan]

I have instances from GraduateCourses and UnderGradCourses classes:

GraduateCourses                             UnderGradCourses

Computer Vision                               Databases
Network Security                               Network Security
Neural Networks                                Assembly Language
Semantic Web                                  Semantic Web

?x  rdf:type  std:GradCourses                ?y  rdf:type
 std:UnderGradCourses

Now ?x  and  ?y  contains courses with "Semantic Web and Network security"
common in both.

Can we do some arithmetic or comparison inside Jena rules which will
query/answer us the courses which are common in both?