integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q04.dlgp

+?(X,Y1,Y2,Y3) :-
+    professor(X),
+    worksfor(X,"department0-university0"),
+    name(X,Y1),
+    emailaddress(X,Y2),
+    telephone(X,Y3) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q05.dlgp

+?(X) :-
+    person(X),
+    memberof(X,"department0-university0") .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q06.dlgp

+?(X) :-
+    student(X) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q07.dlgp

+?(X,Y) :-
+    student(X),
+    course(Y),
+    takescourse(X,Y),
+    teacherof("department0-university0-associateprofessor0",Y) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q08.dlgp

+?(X,Y,Z) :-
+    student(X),
+    department(Y),
+    memberof(X,Y),
+    suborganizationOf(Y,"university0"),
+    emailaddress(X,Z) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q09.dlgp

+?(X,Y,Z) :-
+    student(X),
+    faculty(Y),
+    course(Z),
+    advisor(X,Y),
+    teacherof(Y,Z),
+    takescourse(X,Z) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q10.dlgp

+?(X) :-
+    student(X),
+    takescourse(X,"department0-university0-graduatecourse0") .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q11.dlgp

+?(X) :-
+    researchgroup(X),
+    suborganizationof(X,"university0") .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q12.dlgp

+?(X,Y) :-
+    chair(X),
+    department(Y),
+    worksfor(X,Y),
+    suborganizationof(Y,"university0") .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q13.dlgp

+?(X) :-
+    person(X),
+    hasalumnus("university0",X) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/q14.dlgp

+?(X) :-
+    undergraduatestudent(X) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q01.dlgp

+q01(X):-
+    graduatestudent(X),
+    takescourse(X,department0-university0-graduatecourse0) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q02.dlgp

+q02(X,Y,Z) :-
+    graduatestudent(X),
+    university(Y),
+    department(Z),
+    memberof(X,Z),
+    suborganizationof(Z,Y),
+    undergraduatedegreefrom(X,Y) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q03.dlgp

+q03(X) :-
+    publication(X), 
+    publicationauthor(X,department0-university0-assistantprofessor0) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q04.dlgp

+q04(X,Y1,Y2,Y3) :-
+    professor(X),
+    worksfor(X,department0-university0),
+    name(X,Y1),
+    emailaddress(X,Y2),
+    telephone(X,Y3) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q05.dlgp

+q05(X) :-
+    person(X),
+    memberof(X,department0-university0) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q06.dlgp

+q06(X) :-
+    student(X) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q07.dlgp

+q07(X,Y) :-
+    student(X),
+    course(Y),
+    takescourse(X,Y),
+    teacherof(department0-university0-associateprofessor0,Y) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q08.dlgp

+q08(X,Y,Z) :-
+    student(X),
+    department(Y),
+    memberof(X,Y),
+    suborganizationOf(Y,university0),
+    emailaddress(X,Z) .

integraal/integraal-forward-chaining/src/test/resources/knowledge_bases/lubm-001/queries/query-rules/q09.dlgp

+q09(X,Y,Z) :-
+    student(X),
+    faculty(Y),
+    course(Z),
+    advisor(X,Y),
+    teacherof(Y,Z),
+    takescourse(X,Z) .