• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: John Alan Robinson     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPrincetonUniversityAlumni, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalyago:WikicatAmericanComputerScientistsyago:WikicatAmericanMathematiciansyago:WikicatAmericanPeopleyago:WikicatBritishComputerScientistsyago:WikicatBritishExpatriatesInTheUnitedStatesyago:WikicatBritishMathematiciansyago:WikicatBritishPeopleanimaleukaryotescientistspeciesschema:Personyago:WikicatLivingPeopleyago:WikicatLogiciansScientistyago:Absentee109757653yago:Alumnus109786338yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:ComputerScientist109951070yago:ComputerUser109951274yago:Editor110044879yago:Exile110071332yago:Expert109617867yago:Intellectual109621545yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:WikicatGuggenheimFellowsyago:Worker109632518yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:SkilledWorker110605985yago:Traveler109629752yago:Whole100003553yago:Wikicat20th-centuryMathematiciansyago:WikicatAcademicJournalEditorsyago:WikicatAlumniOfTheUniversityOfCambridgeyago:WikicatFellowsOfTheAssociationForTheAdvancementOfArtificialIntelligenceyago:WikicatFormalMethodsPeopleyago:WikicatPrincetonUniversityAlumni New Facet based on Instances of this Class

John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University. Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated reasoning.