CSCI 6966 Student

From Semantic Portal Wiki

:CSCI_6966_Student
   a owl:Class;
   owl:equivalentClass [
      owl:intersectionOf (

         [a owl:Restriction;
         owl:onProperty :registrant;
         owl:cardinality "9"]

         [a owl:Restriction;
         owl:onProperty :registered_for;
         owl:allValuesFrom foaf:Person]
      )
   ]
.

:registrant 
   a owl:ObjectProperty;
   owl:inverseOf :registered_for 
.

[
 a owl:DistinctMembers;

 owl:distinctMembers (
   Evan Patton
   Zhenning Shangguan
   Ankesh Khandelwal
   Jesse Weaver
   Medha Atre
   James Michaelis
   Jiao Tao
   Joshua Shinavier
   Joshua Taylor
   Gregory Todd Williams
  )
] .

:CSCI_6966_Student
   a owl:Class;

   owl:oneOf (
     Evan Patton
     Zhenning Shangguan
     Ankesh Khandelwal
     Jesse Weaver
     Medha Atre
     James Michaelis
     Jiao Tao
     Joshua Shinavier
     Joshua Taylor
     Gregory Todd Williams
   )
.