<http://example.org/university#enrolledIn> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
<http://example.org/university#enrolledIn> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/university#Student> .
<http://example.org/university#enrolledIn> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/university#Course> .
<http://example.org/university#enrolledIn> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
<http://example.org/university#enrolledIn> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/university#Student> .
<http://example.org/university#enrolledIn> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/university#Course> .