102
RIS1: hasQuantifiedValue(courses,?coursesAmount) ^ swrlb:lessThan(?coursesAmount,3)
^ swrlb:greaterThanOrEqual(?coursesAmount,1) → hasQualifiedValue(degree,”doctor”)
RIS2: hasQuantifiedValue(courses,?coursesAmount) ^ swrlb:lessThan(?coursesAmount,3) ^ swrlb:greaterThanOrEqual(?coursesAmount,1)
^ hasQuantifiedValue(graduatedStudents,?graduatedStudentsAmount) → swrlb:lessThanOrEqual(?graduatedStudentsAmount,10)
^ swrlb:greaterThanOrEqual(?graduatedStudentsAmount,5)
RIS3: hasQuantifiedValue(courses,?coursesAmount) ^ swrlb:lessThan(?coursesAmount,3) ^ swrlb:greaterThanOrEqual(?coursesAmount,1)
^ hasQuantifiedValue(masterStudents,?masterStudentsAmount) → swrlb:lessThanOrEqual(?masterStudentsAmount,6)
^ swrlb:greaterThanOrEqual(?masterStudentsAmount,3)
RIS4: hasQuantifiedValue(courses,?coursesAmount) ^ swrlb:lessThan(?coursesAmount,3) ^ swrlb:greaterThanOrEqual(?coursesAmount,1)
^ hasQuantifiedValue(salary,?salaryValue) → swrlb:lessThanOrEqual(?salaryValue,5000) ^ swrlb:greaterThanOrEqual(?salaryValue,3050)
RIS5: hasQualifiedValue(degree,”doctor”) ^ hasQuantifiedValue(courses,?coursesAmount) → swrlb:lessThan(?coursesAmount,3)
^ swrlb:greaterThanOrEqual(?coursesAmount,1)
RIS6: hasQualifiedValue(degree,”doctor”) ^ hasQuantifiedValue(graduatedStudents,?graduatedStudentsAmount) →
swrlb:lessThanOrEqual(?graduatedStudentsAmount,10) ^ swrlb:greaterThanOrEqual(?graduatedStudentsAmount,5)
RIS7: hasQualifiedValue(degree,”doctor”) ^ hasQuantifiedValue(masterStudents,?masterStudentsAmount) →
swrlb:lessThanOrEqual(?masterStudentsAmount,6) ^ swrlb:greaterThanOrEqual(?masterStudentsAmount,3)
RIS8: hasQualifiedValue(degree,”doctor”) ^ hasQuantifiedValue(salary,?salaryValue) → swrlb:lessThanOrEqual(?salaryValue,5000)
^ swrlb:greaterThanOrEqual(?salaryValue,3050)
RIS9: hasQuantifiedValue(graduatedStudents,?graduatedStudentsAmount) ^ swrlb:lessThanOrEqual(?graduatedStudentsAmount,10)
^ swrlb:greaterThanOrEqual(?graduatedStudentsAmount,5) ^ hasQuantifiedValue(courses,?coursesAmount) → swrlb:lessThan(?coursesAmount,3)
^ swrlb:greaterThanOrEqual(?coursesAmount,1)
RIS10: hasQuantifiedValue(graduatedStudents,?graduatedStudentsAmount) ^ swrlb:lessThanOrEqual(?graduatedStudentsAmount,10)
^ swrlb:greaterThanOrEqual(?graduatedStudentsAmount,5) → hasQualifiedValue(degree,”doctor”)
RIS11: hasQuantifiedValue(graduatedStudents,?graduatedStudentsAmount) ^ swrlb:lessThanOrEqual(?graduatedStudentsAmount,10)
^ swrlb:greaterThanOrEqual(?graduatedStudentsAmount,5) ^ hasQuantifiedValue(masterStudents,?masterStudentsAmount) →
swrlb:lessThanOrEqual(?masterStudentsAmount,6) ^ swrlb:greaterThanOrEqual(?masterStudentsAmount,3)
RIS12: hasQuantifiedValue(graduatedStudents,?graduatedStudentsAmount) ^ swrlb:lessThanOrEqual(?graduatedStudentsAmount,10)
^ swrlb:greaterThanOrEqual(?graduatedStudentsAmount,5) ^ hasQuantifiedValue(salary,?salaryValue)
→
swrlb:lessThanOrEqual(?salaryValue,5000) ^ swrlb:greaterThanOrEqual(?salaryValue,3050)
RIS13: hasQuantifiedValue(salary,?salaryValue) ^ swrlb:lessThanOrEqual(?salaryValue,5000) ^ swrlb:greaterThanOrEqual(?salaryValue,3050)
^ hasQuantifiedValue(courses,?coursesAmount) → swrlb:lessThan(?coursesAmount,3) ^ swrlb:greaterThanOrEqual(?coursesAmount,1)
RIS14: hasQuantifiedValue(salary,?salaryValue) ^ swrlb:lessThanOrEqual(?salaryValue,5000) ^ swrlb:greaterThanOrEqual(?salaryValue,3050)
→ hasQualifiedValue(degree,”doctor”)
RIS15: hasQuantifiedValue(salary,?salaryValue) ^ swrlb:lessThanOrEqual(?salaryValue,5000) ^ swrlb:greaterThanOrEqual(?salaryValue,3050)
^ hasQuantifiedValue(graduatedStudents,?graduatedStudentsAmount) → swrlb:lessThanOrEqual(?graduatedStudentsAmount,10)
^ swrlb:greaterThanOrEqual(?graduatedStudentsAmount,5)
RIS16: hasQuantifiedValue(salary,?salaryValue) ^ swrlb:lessThanOrEqual(?salaryValue,5000) ^ swrlb:greaterThanOrEqual(?salaryValue,3050)
^ hasQuantifiedValue(masterStudents,?masterStudentsAmount) → swrlb:lessThanOrEqual(?masterStudentsAmount,6)
^ swrlb:greaterThanOrEqual(?masterStudentsAmount,3)
Fonte: Primária.
Figura 6.12 – RIS’s descobertas com Relevância Mínima 50%.