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

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalanimaleukaryotescientistspeciesyago:WikicatComputerScienceWritersschema:Personyago:WikicatLivingPeopleScientistyago:Academician109759069yago:Adult109605289yago:Alumnus109786338yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:Communicator109610660yago:ComputerScientist109951070yago:ComputerUser109951274yago:Editor110044879yago:Educator110045713yago:Employee110053808yago:Intellectual109621545yago:LivingThing100004258yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:Professional110480253yago:WikicatIBMEmployeesyago:Worker109632518yago:Writer110794014yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:SkilledWorker110605985yago:Whole100003553yago:WikicatAcademicJournalEditorsyago:WikicatAcademicsOfNewcastleUniversityyago:WikicatAcademicsOfTheUniversityOfManchesteryago:WikicatAlumniOfWolfsonCollege,Oxfordyago:WikicatEnglishComputerScientistsyago:WikicatFellowsOfTheAssociationForComputingMachineryyago:WikicatFellowsOfTheBritishComputerSocietyyago:WikicatFellowsOfTheInstitutionOfEngineeringAndTechnologyyago:WikicatFellowsOfTheRoyalAcademyOfEngineeringyago:WikicatFormalMethodsPeopleumbel-rc:Scientist New Facet based on Instances of this Class

Clifford "Cliff" B. Jones FREng (born 1 June 1944) is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee. As well as formal methods, Jones also has interests in interdisciplinary aspects of computer science and the history of computer science.