• 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: Ken Robinson (computer scientist)     Goto   Sponge   NotDistinct   Permalink

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

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalanimaleukaryotescientistspeciesschema:PersonScientist New Facet based on Instances of this Class

Kenneth ("Ken") Arthur Robinson (30 July 1938 – 5 September 2020) was an Australian computer scientist. He has been called "The Father of Formal Methods in Australia". Ken Robinson was born in 1938. He received his BE degree in electrical engineering in 1959 and a BSc degree in physics and mathematics in 1961, both from the University of Sydney. Robinson's later research and teaching was especially centred around formal methods, particularly the B-Method, Event-B, and the Rodin tool. Ken Robinson died on 5 September 2020. He was married with a family.