#const onto="WA-meta.json".

instr("headOfDepartment","P2","Dep2").
delta(qalt,addop("ont:headOfDepartment",A,B)) :- instr("headOfDepartment",A,B).

instc("Department",X) :- &dlCro[onto,"ont:Department"](X).
instr("headOfDepartment",Y,X) :- &dlOPro[onto,"ont:headOfDepartment"](Y,X).
instc("HOD",Y) :- &dlCro[onto,"ont:HOD"](Y).

modifications(qalt).


result(Y,X) :- instc("Department",X),instr("headOfDepartment",Y,X),instc("HOD",Y).

#show.
#show result/2.