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

An Entity of Type : yago:WikicatFormalMethodsPeople, within Data Space : dbpedia.org associated with source document(s)

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryoteHomo sapiensHumanAnimalyago:WikicatBritishComputerScientistsanimaleukaryotescientistspeciesyago:WikicatChineseComputerScientistsschema:Personyago:WikicatLivingPeopleyago:WikicatScientistsFromHebeiScientistyago:Academician109759069yago:Adult109605289yago:Alumnus109786338yago:CausalAgent100007347yago:ComputerScientist109951070yago:ComputerUser109951274yago:Educator110045713yago:Intellectual109621545yago:LivingThing100004258yago:Object100002684yago:Organism100004475yago:Person100007846yago:PhysicalEntity100001930yago:Professional110480253yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Whole100003553yago:WikicatAcademicsOfBirminghamCityUniversityyago:WikicatAcademicsOfTheUnitedNationsUniversityyago:WikicatAcademicsOfTheUniversityOfLeicesteryago:WikicatAlumniOfTheUniversityOfWarwickyago:WikicatFormalMethodsPeople New Facet based on Instances of this Class

Zhiming Liu (Chinese: 刘志明, born 10 October 1961, Hebei, China) is a computer scientist. He studied mathematics in Luoyang, Henan in China and obtained his first degree in 1982. He holds a master's degree in Computer Science from the Institute of Software of the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis was on Fault-Tolerant Programming by Transformations. Zhiming Liu is married to Hong Zhao with two sons, Kim Chang Liu and Edward Tanze Liu.