N3 can also express rules to apply upon data. For example, add this to the above definition:
{ ?x :studiedAt ?y } => { ?y a :EducationalInstitution }.
and that infers the following object definitions:
:Yale a :EducationalInstitution.
:Stanford a :EducationalInstitution.
:Miskatonic a :EducationalInstitution.
N3 can also express rules to apply upon data. For example, add this to the above definition:
{ ?x :studiedAt ?y } => { ?y a :EducationalInstitution }.
and that infers the following object definitions:
:Yale a :EducationalInstitution.
:Stanford a :EducationalInstitution.
:Miskatonic a :EducationalInstitution.