<http://example.org/university#Alice> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://example.org/university#Alice> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/university#Student> .
<http://example.org/university#Alice> <http://example.org/university#enrolledIn> <http://example.org/university#SemanticWeb> .
<http://example.org/university#Alice> <http://example.org/university#hasAge> "21"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://example.org/university#Alice> <http://example.org/university#hasName> "Alice" .
<http://example.org/university#Alice> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://example.org/university#Alice> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/university#Student> .
<http://example.org/university#Alice> <http://example.org/university#enrolledIn> <http://example.org/university#SemanticWeb> .
<http://example.org/university#Alice> <http://example.org/university#hasAge> "21"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://example.org/university#Alice> <http://example.org/university#hasName> "Alice" .