classassertion(s01 Student)
classassertion(s02 Student)
classassertion(s03 Student)

classassertion(p01 Project)
classassertion(p02 SpecialProject)
classassertion(p03 SpecialProject)

classassertion(c01 Course)
classassertion(c02 Course)
classassertion(cd1 CourseOfDegree)
classassertion(cd2 CourseOfDegree)
 
objectPropertyAssertion(Do p01 s01)
objectPropertyAssertion(Do p01 s02)
objectPropertyAssertion(Do p02 s03)
objectPropertyAssertion(Do p03 s03)
objectPropertyAssertion(Do p03 s02)
objectPropertyAssertion(Scope p01 c01)
objectPropertyAssertion(Scope p02 c02)
objectPropertyAssertion(Rapresents s01 cd1)
objectPropertyAssertion(Rapresents cd1 s01)

dataPropertyAssertion(matriculation s01 801977)
dataPropertyAssertion(matriculation s02 801014)
dataPropertyAssertion(matriculation s03 780156)
dataPropertyAssertion(vote p02 28)
dataPropertyAssertion(vote p03 30)

dataPropertyAssertion(sex s01 m)
dataPropertyAssertion(sex s02 m)
dataPropertyAssertion(sex s03 f)
dataPropertyAssertion(courseName c01 BD)
dataPropertyAssertion(courseName c02 SGBD)
dataPropertyAssertion(credits c01 5)
dataPropertyAssertion(credits c02 6)

dataPropertyAssertion(presentationDate p01 20040511)
dataPropertyAssertion(presentationDate p02 20050511)

