About: Ross Overbeek

Ross A. Overbeek is an American computer scientist with a long tenure at the Argonne National Laboratory. He has made important contributions to mathematical logic and genomics, as well as programming, particularly in database theory and the programming language Prolog.

Property	Value
dbpedia-owl:Person/almaMater	dbpedia:Pennsylvania_State_University
dbpedia-owl:Person/birthPlace	dbpedia:Traverse_City,_Michigan
dbpedia-owl:Person/knownFor	dbpedia:Automated_theorem_proving
dbpedia-owl:almaMater	dbpedia:Pennsylvania_State_University
dbpedia-owl:birthPlace	dbpedia:Traverse_City,_Michigan
dbpedia-owl:knownFor	dbpedia:Automated_theorem_proving
dbpedia-owl:thumbnail	http://upload.wikimedia.org/wikipedia/en/thumb/7/7e/Replace_this_image_male.svg/200px-Replace_this_image_male.svg.png
dbpprop:abstract	Ross A. Overbeek is an American computer scientist with a long tenure at the Argonne National Laboratory. He has made important contributions to mathematical logic and genomics, as well as programming, particularly in database theory and the programming language Prolog.
dbpprop:almaMater	dbpedia:Pennsylvania_State_University
dbpprop:birthPlace	dbpedia:Traverse_City,_Michigan
dbpprop:doctoralAdvisor	Wilson E. Singletary
dbpprop:field	dbpedia:Mathematical_logic dbpedia:Bioinformatics dbpedia:Computer_science
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Ross_Overbeek
dbpprop:imageWidth	150px
dbpprop:knownFor	dbpedia:Automated_theorem_proving
dbpprop:name	Ross A. Overbeek
dbpprop:wikiPageUsesTemplate	dbpedia:Template:infobox_scientist
dbpprop:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1
dbpprop:workInstitutions	dbpedia:Argonne_National_Laboratory
rdf:type	owl:Thing dbpedia-owl:Person http://dbpedia.org/class/yago/Scientist110560637 http://dbpedia.org/class/yago/AmericanMathematicians http://dbpedia.org/class/yago/PennStateUniversityAlumni http://dbpedia.org/class/yago/PeopleFromTraverseCity,Michigan dbpedia-owl:Scientist http://dbpedia.org/class/yago/AmericanGeneticists http://dbpedia.org/class/yago/LivingPeople http://dbpedia.org/class/yago/AmericanComputerScientists http://dbpedia.org/class/yago/AmericanWriters http://dbpedia.org/class/yago/AmericanLibertarians
rdfs:comment	Ross A. Overbeek is an American computer scientist with a long tenure at the Argonne National Laboratory. He has made important contributions to mathematical logic and genomics, as well as programming, particularly in database theory and the programming language Prolog.
rdfs:label	Ross Overbeek
owl:sameAs	http://umbel.org/umbel/ne/wikipedia/Ross_Overbeek freebase:Ross Overbeek
skos:subject	dbpedia:Category:American_computer_scientists dbpedia:Category:American_libertarians dbpedia:Category:American_writers dbpedia:Category:Argonne_National_Laboratory dbpedia:Category:American_geneticists dbpedia:Category:Year_of_birth_missing_(living_people) dbpedia:Category:American_mathematicians dbpedia:Category:Living_people dbpedia:Category:Penn_State_University_alumni dbpedia:Category:People_from_Traverse_City,_Michigan
foaf:depiction	http://upload.wikimedia.org/wikipedia/en/7/7e/Replace_this_image_male.svg
foaf:name	Ross A. Overbeek
foaf:page	http://en.wikipedia.org/wiki/Ross_Overbeek
is owl:sameAs of	yago:Ross Overbeek