From 9c9434162daf7c25dda9e9ff188ab90eb65f1fb1 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 4 Jun 2015 12:34:11 +0100 Subject: New queries for LUBM and UOBM, automatically generated by SyGENiA. --- data/lubm/lubm_sygenia.sparql | 670 ++++++++ data/lubm/lubm_sygenia_all-blanks.sparql | 670 ++++++++ data/uobm/uobm-sygenia.sparql | 1724 ++++++++++++++++++++ data/uobm/uobm_sygenia_all-blanks.sparql | 0 src/resources/pagoda.properties | 2 +- .../ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 2 +- test/resources/LightTests.xml | 6 +- test/resources/SygeniaTests.xml | 20 + .../ox/cs/pagoda/global_tests/TestPagodaLUBM.java | 48 + .../ox/cs/pagoda/global_tests/TestPagodaUOBM.java | 52 + 10 files changed, 3189 insertions(+), 5 deletions(-) create mode 100644 data/lubm/lubm_sygenia.sparql create mode 100644 data/lubm/lubm_sygenia_all-blanks.sparql create mode 100644 data/uobm/uobm-sygenia.sparql create mode 100644 data/uobm/uobm_sygenia_all-blanks.sparql create mode 100644 test/resources/SygeniaTests.xml diff --git a/data/lubm/lubm_sygenia.sparql b/data/lubm/lubm_sygenia.sparql new file mode 100644 index 0000000..5ecaac2 --- /dev/null +++ b/data/lubm/lubm_sygenia.sparql @@ -0,0 +1,670 @@ +^[query1] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor ?y . + ?y rdf:type ub:Organization +} + +^[query2] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:undergraduateDegreeFrom ?y +} + +^[query3] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Software +} + +^[query4] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:member ?x . + ?y rdf:type ub:Program +} + +^[query5] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor ?y . + ?y rdf:type ub:ResearchGroup +} + +^[query6] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf ?y . + ?y rdf:type ub:ResearchGroup +} + +^[query7] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:takesCourse ?y . + ?y rdf:type ub:Course +} + +^[query8] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Article +} + +^[query9] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf ?y . + ?y rdf:type ub:College +} + +^[query10] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:teachingAssistantOf ?y . + ?y rdf:type ub:Course +} + +^[query11] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:University +} + +^[query12] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Employee +} + +^[query13] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:hasAlumnus ?y +} + +^[query14] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:member ?x . + ?y rdf:type ub:ResearchGroup +} + +^[query15] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:teachingAssistantOf ?y . + ?y rdf:type ub:Work +} + +^[query16] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:member ?y . + ?y rdf:type ub:Person +} + +^[query17] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor ?y +} + +^[query18] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:TeachingAssistant +} + +^[query19] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:memberOf ?x . + ?y rdf:type ub:Person +} + +^[query20] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:mastersDegreeFrom ?y . + ?y rdf:type ub:Organization +} + +^[query21] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:memberOf ?y +} + +^[query22] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:member ?y +} + +^[query23] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:hasAlumnus ?x . + ?y rdf:type ub:University +} + +^[query24] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:member ?x . + ?y rdf:type ub:Organization +} + +^[query25] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:degreeFrom ?y . + ?y rdf:type ub:Organization +} + +^[query26] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:degreeFrom ?y +} + +^[query27] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:undergraduateDegreeFrom ?y . + ?y rdf:type ub:Organization +} + +^[query28] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Course +} + +^[query29] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor ?y . + ?y rdf:type ub:College +} + +^[query30] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:degreeFrom ?x +} + +^[query31] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:worksFor ?y +} + +^[query32] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:degreeFrom ?y +} + +^[query33] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Person +} + +^[query34] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:hasAlumnus ?x . + ?y rdf:type ub:Organization +} + +^[query35] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:degreeFrom ?y . + ?y rdf:type ub:University +} + +^[query36] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:teachingAssistantOf ?y +} + +^[query37] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:doctoralDegreeFrom ?y . + ?y rdf:type ub:Organization +} + +^[query38] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Research +} + +^[query39] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:member ?x . + ?y rdf:type ub:Department +} + +^[query40] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Faculty +} + +^[query41] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:hasAlumnus ?y . + ?y rdf:type ub:Person +} + +^[query42] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf ?y +} + +^[query43] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf ?y . + ?y rdf:type ub:Organization +} + +^[query44] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Organization +} + +^[query45] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf ?y . + ?y rdf:type ub:Department +} + +^[query46] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?y ub:member ?x +} + +^[query47] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:degreeFrom ?x . + ?y rdf:type ub:Person +} + +^[query48] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:takesCourse ?y . + ?y rdf:type ub:GraduateCourse +} + +^[query49] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:doctoralDegreeFrom ?y +} + +^[query50] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:member ?x . + ?y rdf:type ub:College +} + +^[query51] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:member ?y +} + +^[query52] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf ?y . + ?y rdf:type ub:College +} + +^[query53] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:member ?x +} + +^[query54] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Publication +} + +^[query55] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Student +} + +^[query56] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?y ub:memberOf ?x +} + +^[query57] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf ?y . + ?y rdf:type ub:Program +} + +^[query58] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf ?y +} + +^[query59] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:memberOf ?x +} + +^[query60] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:takesCourse ?y . + ?y rdf:type ub:Work +} + +^[query61] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf ?y . + ?y rdf:type ub:Program +} + +^[query62] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Work +} + +^[query63] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:doctoralDegreeFrom ?y . + ?y rdf:type ub:University +} + +^[query64] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:AdministrativeStaff +} + +^[query65] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf ?y . + ?y rdf:type ub:Department +} + +^[query66] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:takesCourse ?y +} + +^[query67] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:ResearchGroup +} + +^[query68] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Professor +} + +^[query69] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor ?y . + ?y rdf:type ub:Program +} + +^[query70] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf ?y . + ?y rdf:type ub:Organization +} + +^[query71] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:hasAlumnus ?y +} + +^[query72] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Schedule +} + +^[query73] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?y ub:degreeFrom ?x +} + +^[query74] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:undergraduateDegreeFrom ?y . + ?y rdf:type ub:University +} + +^[query75] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:mastersDegreeFrom ?y . + ?y rdf:type ub:University +} + +^[query76] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?y ub:hasAlumnus ?x +} + +^[query77] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?y ub:hasAlumnus ?x +} + +^[query78] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:mastersDegreeFrom ?y +} + +^[query79] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor ?y . + ?y rdf:type ub:Department +} + diff --git a/data/lubm/lubm_sygenia_all-blanks.sparql b/data/lubm/lubm_sygenia_all-blanks.sparql new file mode 100644 index 0000000..8895898 --- /dev/null +++ b/data/lubm/lubm_sygenia_all-blanks.sparql @@ -0,0 +1,670 @@ +^[query1] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor _:y . + _:y rdf:type ub:Organization +} + +^[query2] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:undergraduateDegreeFrom _:y +} + +^[query3] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Software +} + +^[query4] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:member ?x . + _:y rdf:type ub:Program +} + +^[query5] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor _:y . + _:y rdf:type ub:ResearchGroup +} + +^[query6] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf _:y . + _:y rdf:type ub:ResearchGroup +} + +^[query7] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:takesCourse _:y . + _:y rdf:type ub:Course +} + +^[query8] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Article +} + +^[query9] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf _:y . + _:y rdf:type ub:College +} + +^[query10] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:teachingAssistantOf _:y . + _:y rdf:type ub:Course +} + +^[query11] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:University +} + +^[query12] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Employee +} + +^[query13] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:hasAlumnus ?y +} + +^[query14] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:member ?x . + _:y rdf:type ub:ResearchGroup +} + +^[query15] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:teachingAssistantOf _:y . + _:y rdf:type ub:Work +} + +^[query16] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:member _:y . + _:y rdf:type ub:Person +} + +^[query17] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor _:y +} + +^[query18] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:TeachingAssistant +} + +^[query19] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:memberOf ?x . + _:y rdf:type ub:Person +} + +^[query20] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:mastersDegreeFrom _:y . + _:y rdf:type ub:Organization +} + +^[query21] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:memberOf ?y +} + +^[query22] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:member _:y +} + +^[query23] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:hasAlumnus ?x . + _:y rdf:type ub:University +} + +^[query24] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:member ?x . + _:y rdf:type ub:Organization +} + +^[query25] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:degreeFrom _:y . + _:y rdf:type ub:Organization +} + +^[query26] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:degreeFrom ?y +} + +^[query27] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:undergraduateDegreeFrom _:y . + _:y rdf:type ub:Organization +} + +^[query28] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Course +} + +^[query29] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor _:y . + _:y rdf:type ub:College +} + +^[query30] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:degreeFrom ?x +} + +^[query31] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:worksFor ?y +} + +^[query32] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:degreeFrom _:y +} + +^[query33] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Person +} + +^[query34] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:hasAlumnus ?x . + _:y rdf:type ub:Organization +} + +^[query35] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:degreeFrom _:y . + _:y rdf:type ub:University +} + +^[query36] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:teachingAssistantOf _:y +} + +^[query37] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:doctoralDegreeFrom _:y . + _:y rdf:type ub:Organization +} + +^[query38] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Research +} + +^[query39] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:member ?x . + _:y rdf:type ub:Department +} + +^[query40] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Faculty +} + +^[query41] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:hasAlumnus _:y . + _:y rdf:type ub:Person +} + +^[query42] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf _:y +} + +^[query43] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf _:y . + _:y rdf:type ub:Organization +} + +^[query44] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Organization +} + +^[query45] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf _:y . + _:y rdf:type ub:Department +} + +^[query46] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?y ub:member ?x +} + +^[query47] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:degreeFrom ?x . + _:y rdf:type ub:Person +} + +^[query48] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:takesCourse _:y . + _:y rdf:type ub:GraduateCourse +} + +^[query49] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:doctoralDegreeFrom _:y +} + +^[query50] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:member ?x . + _:y rdf:type ub:College +} + +^[query51] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?x ub:member ?y +} + +^[query52] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf _:y . + _:y rdf:type ub:College +} + +^[query53] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:member ?x +} + +^[query54] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Publication +} + +^[query55] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Student +} + +^[query56] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?y ub:memberOf ?x +} + +^[query57] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf _:y . + _:y rdf:type ub:Program +} + +^[query58] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf _:y +} + +^[query59] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:memberOf ?x +} + +^[query60] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:takesCourse _:y . + _:y rdf:type ub:Work +} + +^[query61] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf _:y . + _:y rdf:type ub:Program +} + +^[query62] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Work +} + +^[query63] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:doctoralDegreeFrom _:y . + _:y rdf:type ub:University +} + +^[query64] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:AdministrativeStaff +} + +^[query65] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:memberOf _:y . + _:y rdf:type ub:Department +} + +^[query66] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:takesCourse _:y +} + +^[query67] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:ResearchGroup +} + +^[query68] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Professor +} + +^[query69] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor _:y . + _:y rdf:type ub:Program +} + +^[query70] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:headOf _:y . + _:y rdf:type ub:Organization +} + +^[query71] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:hasAlumnus _:y +} + +^[query72] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x rdf:type ub:Schedule +} + +^[query73] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?y ub:degreeFrom ?x +} + +^[query74] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:undergraduateDegreeFrom _:y . + _:y rdf:type ub:University +} + +^[query75] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:mastersDegreeFrom _:y . + _:y rdf:type ub:University +} + +^[query76] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + _:y ub:hasAlumnus ?x +} + +^[query77] +PREFIX rdf: +PREFIX ub: +SELECT ?x ?y +WHERE { + ?y ub:hasAlumnus ?x +} + +^[query78] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:mastersDegreeFrom _:y +} + +^[query79] +PREFIX rdf: +PREFIX ub: +SELECT ?x +WHERE { + ?x ub:worksFor _:y . + _:y rdf:type ub:Department +} + diff --git a/data/uobm/uobm-sygenia.sparql b/data/uobm/uobm-sygenia.sparql new file mode 100644 index 0000000..0e8cbb8 --- /dev/null +++ b/data/uobm/uobm-sygenia.sparql @@ -0,0 +1,1724 @@ +^[query1] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?y rdf:type benchmark:Person +} + +^[query2] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x +} + +^[query3] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?z benchmark:hasStudent ?y +} + +^[query4] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:AcademicSubject +} + +^[query5] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:isFriendOf ?x +} + +^[query6] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?y benchmark:isMemberOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query7] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isCrazyAbout ?y +} + +^[query8] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:SupportingStaff +} + +^[query9] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:like ?y +} + +^[query10] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x +} + +^[query11] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:ResearchGroup +} + +^[query12] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasMember ?x . + ?y rdf:type benchmark:ResearchGroup +} + +^[query13] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?z benchmark:hasMember ?y . + ?z rdf:type benchmark:Organization +} + +^[query14] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?y benchmark:isMemberOf ?z +} + +^[query15] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasUndergraduateDegreeFrom ?y +} + +^[query16] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?y rdf:type benchmark:Person +} + +^[query17] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?y benchmark:isMemberOf ?z +} + +^[query18] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasSameHomeTownWith ?y +} + +^[query19] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:hasAlumnus ?y +} + +^[query20] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?y benchmark:worksFor ?z . + ?z rdf:type benchmark:Organization +} + +^[query21] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasMember ?x . + ?y rdf:type benchmark:Organization +} + +^[query22] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?y benchmark:isStudentOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query23] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasStudent ?x . + ?y rdf:type benchmark:Organization +} + +^[query24] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:like ?y . + ?y rdf:type benchmark:Insterest +} + +^[query25] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?y benchmark:isStudentOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query26] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?y rdf:type benchmark:Person +} + +^[query27] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?y benchmark:isMemberOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query28] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:enrollIn ?y . + ?y rdf:type benchmark:Department +} + +^[query29] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Article +} + +^[query30] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasAlumnus ?y . + ?y rdf:type benchmark:Person +} + +^[query31] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isFriendOf ?y . + ?y rdf:type benchmark:Person +} + +^[query32] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isCrazyAbout ?y . + ?y rdf:type benchmark:TennisClass +} + +^[query33] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasDegreeFrom ?x +} + +^[query34] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isCrazyAbout ?y . + ?y rdf:type benchmark:SwimmingClass +} + +^[query35] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasStudent ?x +} + +^[query36] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:hasAlumnus ?x +} + +^[query37] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?y benchmark:isStudentOf ?z +} + +^[query38] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?z benchmark:hasStudent ?y +} + +^[query39] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isMemberOf ?y . + ?y rdf:type benchmark:ResearchGroup +} + +^[query40] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?y benchmark:isStudentOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query41] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMasterDegreeFrom ?y . + ?y rdf:type benchmark:University +} + +^[query42] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Department +} + +^[query43] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:like ?y . + ?y rdf:type benchmark:BasketBallClass +} + +^[query44] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?y benchmark:isStudentOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query45] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:enrollIn ?y . + ?y rdf:type benchmark:Organization +} + +^[query46] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?y benchmark:isMemberOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query47] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Science +} + +^[query48] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?y benchmark:isMemberOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query49] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:like ?y +} + +^[query50] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Sports +} + +^[query51] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasAlumnus ?x +} + +^[query52] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isHeadOf ?y . + ?y rdf:type benchmark:Department +} + +^[query53] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:teacherOf ?y +} + +^[query54] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:isTaughtBy ?y +} + +^[query55] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isCrazyAbout ?y . + ?y rdf:type benchmark:BasketBallClass +} + +^[query56] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?y benchmark:isMemberOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query57] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasDegreeFrom ?y +} + +^[query58] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasSameHomeTownWith ?y . + ?y rdf:type benchmark:Person +} + +^[query59] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isHeadOf ?y . + ?y rdf:type benchmark:Organization +} + +^[query60] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?z benchmark:hasMember ?y . + ?z rdf:type benchmark:Organization +} + +^[query61] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isHeadOf ?y . + ?y rdf:type benchmark:College +} + +^[query62] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasDoctoralDegreeFrom ?y . + ?y rdf:type benchmark:University +} + +^[query63] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?z benchmark:hasMember ?y . + ?z rdf:type benchmark:Organization +} + +^[query64] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isCrazyAbout ?y . + ?y rdf:type benchmark:BaseballClass +} + +^[query65] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:like ?y . + ?y rdf:type benchmark:Sports +} + +^[query66] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasDegreeFrom ?x . + ?y rdf:type benchmark:Person +} + +^[query67] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:hasMember ?y +} + +^[query68] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Software +} + +^[query69] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasSameHomeTownWith ?x +} + +^[query70] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Professor +} + +^[query71] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:worksFor ?y . + ?y rdf:type benchmark:ResearchGroup +} + +^[query72] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?z benchmark:hasMember ?y . + ?z rdf:type benchmark:Organization +} + +^[query73] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?y rdf:type benchmark:Employee +} + +^[query74] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Work +} + +^[query75] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?y benchmark:worksFor ?z . + ?z rdf:type benchmark:Organization +} + +^[query76] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:worksFor ?y +} + +^[query77] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:TeachingAssistant +} + +^[query78] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasDegreeFrom ?y . + ?y rdf:type benchmark:University +} + +^[query79] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isCrazyAbout ?y . + ?y rdf:type benchmark:Insterest +} + +^[query80] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?y benchmark:isMemberOf ?z +} + +^[query81] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?z benchmark:hasMember ?y +} + +^[query82] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:FineArts +} + +^[query83] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isStudentOf ?y +} + +^[query84] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isFriendOf ?x . + ?y rdf:type benchmark:Person +} + +^[query85] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isFriendOf ?x +} + +^[query86] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:worksFor ?y . + ?y rdf:type benchmark:Program +} + +^[query87] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMasterDegreeFrom ?y . + ?y rdf:type benchmark:Organization +} + +^[query88] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Engineering +} + +^[query89] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasDoctoralDegreeFrom ?y +} + +^[query90] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?z benchmark:hasMember ?y . + ?z rdf:type benchmark:Organization +} + +^[query91] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:like ?y . + ?y rdf:type benchmark:BaseballClass +} + +^[query92] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:worksFor ?y +} + +^[query93] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Faculty +} + +^[query94] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:hasStudent ?x +} + +^[query95] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMajor ?y . + ?y rdf:type benchmark:Science +} + +^[query96] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:worksFor ?y . + ?y rdf:type benchmark:Department +} + +^[query97] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isFriendOf ?y +} + +^[query98] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?y benchmark:worksFor ?z +} + +^[query99] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?y benchmark:isStudentOf ?z +} + +^[query100] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isCrazyAbout ?y . + ?y rdf:type benchmark:Sports +} + +^[query101] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?y rdf:type benchmark:Student +} + +^[query102] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?z benchmark:hasMember ?y . + ?z rdf:type benchmark:Organization +} + +^[query103] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasDoctoralDegreeFrom ?y . + ?y rdf:type benchmark:Organization +} + +^[query104] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?y rdf:type benchmark:Student +} + +^[query105] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:isStudentOf ?x +} + +^[query106] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?z benchmark:hasStudent ?y +} + +^[query107] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:hasMember ?x +} + +^[query108] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?y rdf:type benchmark:Student +} + +^[query109] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Course +} + +^[query110] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isHeadOf ?y . + ?y rdf:type benchmark:Program +} + +^[query111] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y +} + +^[query112] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasMember ?x . + ?y rdf:type benchmark:Program +} + +^[query113] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isMemberOf ?y . + ?y rdf:type benchmark:Organization +} + +^[query114] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Student +} + +^[query115] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?y benchmark:isStudentOf ?z +} + +^[query116] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:hasStudent ?y +} + +^[query117] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?y rdf:type benchmark:Student +} + +^[query118] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:College +} + +^[query119] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:teacherOf ?y . + ?y rdf:type benchmark:Work +} + +^[query120] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isMemberOf ?y +} + +^[query121] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasAlumnus ?y +} + +^[query122] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?y benchmark:isMemberOf ?z +} + +^[query123] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:like ?y . + ?y rdf:type benchmark:SwimmingClass +} + +^[query124] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasMember ?x +} + +^[query125] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isHeadOf ?y +} + +^[query126] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?y benchmark:isStudentOf ?z +} + +^[query127] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isStudentOf ?y . + ?y rdf:type benchmark:Department +} + +^[query128] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:worksFor ?y . + ?y rdf:type benchmark:College +} + +^[query129] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:teacherOf ?y . + ?y rdf:type benchmark:Course +} + +^[query130] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:teacherOf ?x +} + +^[query131] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Organization +} + +^[query132] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?z benchmark:hasMember ?y +} + +^[query133] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?y rdf:type benchmark:Person +} + +^[query134] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasSameHomeTownWith ?x . + ?y rdf:type benchmark:Person +} + +^[query135] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?z benchmark:hasStudent ?y . + ?z rdf:type benchmark:Organization +} + +^[query136] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isMemberOf ?y . + ?y rdf:type benchmark:Program +} + +^[query137] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?y benchmark:isMemberOf ?z +} + +^[query138] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:teachingAssistantOf ?y . + ?y rdf:type benchmark:Course +} + +^[query139] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?z benchmark:hasStudent ?y . + ?z rdf:type benchmark:Organization +} + +^[query140] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y +} + +^[query141] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:enrollIn ?y +} + +^[query142] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?z benchmark:hasMember ?y +} + +^[query143] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:hasSameHomeTownWith ?y +} + +^[query144] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasAlumnus ?x . + ?y rdf:type benchmark:Organization +} + +^[query145] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Dean +} + +^[query146] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isTaughtBy ?x . + ?y rdf:type benchmark:Course +} + +^[query147] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?y rdf:type benchmark:Faculty +} + +^[query148] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isStudentOf ?y . + ?y rdf:type benchmark:Organization +} + +^[query149] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMajor ?y . + ?y rdf:type benchmark:AcademicSubject +} + +^[query150] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:isStudentOf ?y +} + +^[query151] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?z benchmark:hasStudent ?y +} + +^[query152] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasUndergraduateDegreeFrom ?y . + ?y rdf:type benchmark:University +} + +^[query153] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?z benchmark:hasStudent ?y . + ?z rdf:type benchmark:Organization +} + +^[query154] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:hasSameHomeTownWith ?x +} + +^[query155] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?z benchmark:hasMember ?y +} + +^[query156] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Employee +} + +^[query157] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:teachingAssistantOf ?y +} + +^[query158] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y +} + +^[query159] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Research +} + +^[query160] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:isMemberOf ?x +} + +^[query161] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?z benchmark:hasMember ?y +} + +^[query162] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isTaughtBy ?x +} + +^[query163] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?y benchmark:isMemberOf ?z . + ?z rdf:type benchmark:Organization +} + +^[query164] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isMemberOf ?y . + ?y rdf:type benchmark:College +} + +^[query165] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:isFriendOf ?y +} + +^[query166] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:hasDegreeFrom ?y +} + +^[query167] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isTaughtBy ?x . + ?y rdf:type benchmark:Work +} + +^[query168] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:isTaughtBy ?x +} + +^[query169] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasAlumnus ?x . + ?y rdf:type benchmark:University +} + +^[query170] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Person +} + +^[query171] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isTaughtBy ?y . + ?y benchmark:worksFor ?z +} + +^[query172] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMasterDegreeFrom ?y +} + +^[query173] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x . + ?z benchmark:hasMember ?y +} + +^[query174] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:teacherOf ?y +} + +^[query175] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:isMemberOf ?y . + ?y rdf:type benchmark:Department +} + +^[query176] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?x benchmark:isMemberOf ?y +} + +^[query177] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasStudent ?y . + ?z benchmark:hasStudent ?y . + ?z rdf:type benchmark:Organization +} + +^[query178] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMajor ?y +} + +^[query179] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Insterest +} + +^[query180] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isStudentOf ?x . + ?y rdf:type benchmark:Person +} + +^[query181] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasDegreeFrom ?y . + ?y rdf:type benchmark:Organization +} + +^[query182] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:HumanitiesAndSocial +} + +^[query183] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?y rdf:type benchmark:Faculty +} + +^[query184] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Publication +} + +^[query185] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:like ?y . + ?y rdf:type benchmark:TennisClass +} + +^[query186] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:isMemberOf ?x +} + +^[query187] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x ?y +WHERE { + ?y benchmark:hasDegreeFrom ?x +} + +^[query188] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasMember ?y . + ?y benchmark:isMemberOf ?z +} + +^[query189] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?y rdf:type benchmark:Person +} + +^[query190] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:teacherOf ?x . + ?y rdf:type benchmark:Employee +} + +^[query191] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasStudent ?x . + ?y rdf:type benchmark:Department +} + +^[query192] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:teachingAssistantOf ?y . + ?y rdf:type benchmark:Work +} + +^[query193] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:University +} + +^[query194] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:hasUndergraduateDegreeFrom ?y . + ?y rdf:type benchmark:Organization +} + +^[query195] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x rdf:type benchmark:Schedule +} + +^[query196] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?x benchmark:worksFor ?y . + ?y rdf:type benchmark:Organization +} + +^[query197] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasMember ?x . + ?y rdf:type benchmark:College +} + +^[query198] +PREFIX rdf: +PREFIX benchmark: +SELECT ?x +WHERE { + ?y benchmark:hasMember ?x . + ?y rdf:type benchmark:Department +} diff --git a/data/uobm/uobm_sygenia_all-blanks.sparql b/data/uobm/uobm_sygenia_all-blanks.sparql new file mode 100644 index 0000000..e69de29 diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index 0b9d2ee..bd387b9 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties @@ -1,3 +1,3 @@ debug=true useAlwaysSimpleUpperBound=false -useSkolemUpperBound=false \ No newline at end of file +useSkolemUpperBound=true \ No newline at end of file diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index 3027a73..ed6589a 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java @@ -370,7 +370,7 @@ class MyQueryReasoner extends QueryReasoner { relevantStore.importDataFromABoxOf(relevantSubset); - int queryDependentMaxTermDepth = 1; // TODO make it dynamic + int queryDependentMaxTermDepth = 10; // TODO make it dynamic int materialisationTag = relevantStore.materialiseSkolemly(relevantProgram, null, queryDependentMaxTermDepth); queryRecord.addProcessingTime(Step.L_SKOLEM_UPPER_BOUND, t.duration()); diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml index 9b9eee4..92edb48 100644 --- a/test/resources/LightTests.xml +++ b/test/resources/LightTests.xml @@ -10,10 +10,10 @@ - - + + - + \ No newline at end of file diff --git a/test/resources/SygeniaTests.xml b/test/resources/SygeniaTests.xml new file mode 100644 index 0000000..01c4eab --- /dev/null +++ b/test/resources/SygeniaTests.xml @@ -0,0 +1,20 @@ + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaLUBM.java b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaLUBM.java index 1db4a43..089a7d2 100644 --- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaLUBM.java +++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaLUBM.java @@ -35,4 +35,52 @@ public class TestPagodaLUBM { public void answersCorrectness_1() throws IOException { answersCorrectness(1); } + + public void justExecute_sygenia(int number) throws IOException { + String ontoDir = TestUtil.getConfig().getProperty("ontoDir"); +// Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath()); +// new File(answers.toString()).deleteOnExit(); +// Path givenAnswers = TestUtil.getAnswersFilePath("answers/pagoda-lubm" + number + ".json"); + + Pagoda pagoda = Pagoda.builder() + .ontology(Paths.get(ontoDir, "lubm/univ-bench.owl")) + .data(Paths.get(ontoDir, "lubm/data/lubm" + number + ".ttl")) + .query(Paths.get(ontoDir, "lubm/queries/lubm_sygenia.sparql")) +// .answer(answers) + .classify(true) + .hermit(true) + .build(); + + pagoda.run(); +// CheckAnswers.assertSameAnswers(answers, givenAnswers); + } + + @Test(groups = {"sygenia"}) + public void justExecute_sygenia_1() throws IOException { + justExecute_sygenia(1); + } + + public void justExecute_sygenia_allBlanks(int number) throws IOException { + String ontoDir = TestUtil.getConfig().getProperty("ontoDir"); +// Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath()); +// new File(answers.toString()).deleteOnExit(); +// Path givenAnswers = TestUtil.getAnswersFilePath("answers/pagoda-lubm" + number + ".json"); + + Pagoda pagoda = Pagoda.builder() + .ontology(Paths.get(ontoDir, "lubm/univ-bench.owl")) + .data(Paths.get(ontoDir, "lubm/data/lubm" + number + ".ttl")) + .query(Paths.get(ontoDir, "lubm/queries/lubm_sygenia_all-blanks.sparql")) +// .answer(answers) + .classify(true) + .hermit(true) + .build(); + + pagoda.run(); +// CheckAnswers.assertSameAnswers(answers, givenAnswers); + } + + @Test(groups = {"sygenia"}) + public void justExecute_sygenia_1_allBlanks() throws IOException { + justExecute_sygenia_allBlanks(1); + } } diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java index 4f49fe0..d05e3b1 100644 --- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java +++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaUOBM.java @@ -48,5 +48,57 @@ public class TestPagodaUOBM { pagoda.run(); CheckAnswers.assertSameAnswers(answers, givenAnswers); } + + @Test(groups = {"sygenia"}) + public void answersCorrectness_sygenia_1() throws IOException { + answersCorrectness_sygenia(1); + } + + @Test(groups = {"heavy",}, dataProvider = "UOBMNumbers") + public void answersCorrectness_sygenia(int number) throws IOException { + String ontoDir = TestUtil.getConfig().getProperty("ontoDir"); +// Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath()); +// new File(answers.toString()).deleteOnExit(); +// Path givenAnswers = TestUtil.getAnswersFilePath("answers/pagoda-uobm" + number + ".json"); + + Pagoda pagoda = Pagoda.builder() + .ontology(Paths.get(ontoDir, "uobm/univ-bench-dl.owl")) + .data(Paths.get(ontoDir, "uobm/data/uobm" + number + ".ttl")) + .query(Paths.get(ontoDir, "uobm/queries/uobm_sygenia.sparql")) +// .answer(answers) + .classify(true) + .hermit(true) + .build(); + + pagoda.run(); +// CheckAnswers.assertSameAnswers(answers, givenAnswers); + } + + @Test(groups = {"sygenia"}) + public void answersCorrectness_sygenia_allBlanks_1() throws IOException { + answersCorrectness_sygenia(1); + } + + @Test(groups = {"heavy",}, dataProvider = "UOBMNumbers") + public void answersCorrectness_sygenia_allBlanks(int number) throws IOException { + String ontoDir = TestUtil.getConfig().getProperty("ontoDir"); +// Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath()); +// new File(answers.toString()).deleteOnExit(); +// Path givenAnswers = TestUtil.getAnswersFilePath("answers/pagoda-uobm" + number + ".json"); + + Pagoda pagoda = Pagoda.builder() + .ontology(Paths.get(ontoDir, "uobm/univ-bench-dl.owl")) + .data(Paths.get(ontoDir, "uobm/data/uobm" + number + ".ttl")) + .query(Paths.get(ontoDir, "uobm/queries/uobm_sygenia_all-blanks.sparql")) +// .answer(answers) + .classify(true) + .hermit(true) + .build(); + + pagoda.run(); +// CheckAnswers.assertSameAnswers(answers, givenAnswers); + } + + } -- cgit v1.2.3