<http://dbpedia.org/resource/Natarajan_Shankar>	<http://dbpedia.org/ontology/knownFor>	<http://dbpedia.org/resource/Prototype_Verification_System> .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://dbpedia.org/ontology/award>	<http://dbpedia.org/resource/SRI_International> .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://dbpedia.org/ontology/birthPlace>	<http://dbpedia.org/resource/India> .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://dbpedia.org/ontology/almaMater>	<http://dbpedia.org/resource/Indian_Institute_of_Technology_Madras> .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://xmlns.com/foaf/0.1/name>	"Natarajan Shankar"@en .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://dbpedia.org/ontology/field>	<http://dbpedia.org/resource/Computer_science> .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://dbpedia.org/ontology/almaMater>	<http://dbpedia.org/resource/University_of_Texas_at_Austin> .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://xmlns.com/foaf/0.1/name>	"Shankar, Natarajan"@en .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory."@en .
<http://dbpedia.org/resource/Natarajan_Shankar>	<http://purl.org/dc/elements/1.1/description>	"Indian computer scientist" .