@prefix rdf: . @prefix ns1: . @prefix foaf: . ns1:id rdf:type foaf:Person . @prefix owl: . ns1:id owl:sameAs , . @prefix ns4: . ns1:id owl:sameAs ns4:Person . @prefix bio: . ns1:id bio:event ns1:birth . @prefix skos: . ns1:id skos:prefLabel "Harrison, John (1966-....)" ; foaf:name "John Harrison" . @prefix dbpedia-owl: . ns1:id dbpedia-owl:citizenship . @prefix dcterms: . @prefix ns9: . ns1:id dcterms:language ns9:eng . @prefix isni: . ns1:id isni:identifierValid "0000000110067047" ; foaf:givenName "John" ; foaf:familyName "Harrison" ; skos:note "Ing\u00E9nieur principal \u00E0 Intel Corporation \u00E0 Portland, Or\u00E9gon. Il est specialiste dans la v\u00E9rification formelle, th\u00E9or\u00E8me automatis\u00E9 prouv\u00E9" ; foaf:gender "male" .