• 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: Jim Woodcock     Goto   Sponge   NotDistinct   Permalink

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

Type: Thingfoaf:Personpersondul:NaturalPersongridiron football playerEukaryotePersonHumanAnimalyago:WikicatBritishComputerScientistsyago:WikicatBritishTextbookWritersanimaleukaryotescientistspeciesyago:WikicatComputerScienceWritersschema:Personyago:WikicatLivingPeopleScientistyago:Academician109759069yago:Adult109605289yago:Alumnus109786338yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:Communicator109610660yago:ComputerScientist109951070yago:ComputerUser109951274yago:Educator110045713yago:Intellectual109621545yago:LivingThing100004258yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:Professional110480253yago:Writer110794014yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Whole100003553yago:WikicatAcademicsOfTheUniversityOfKentyago:WikicatAcademicsOfTheUniversityOfYorkyago:WikicatAlumniOfTheUniversityOfLiverpoolyago:WikicatFellowsOfKelloggCollege,Oxfordyago:WikicatFellowsOfTheBritishComputerSocietyyago:WikicatFellowsOfTheRoyalAcademyOfEngineeringyago:WikicatFormalMethodsPeople New Facet based on Instances of this Class

James Charles Paul Woodcock FREng FBCS CEng CITP is a British computer scientist. Woodcock gained his PhD from the University of Liverpool. Until 2001 he was Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York, where, since October 2012, he has been head of the Department of Computer Science. Prof. Woodcock is editor-in-chief of the Formal Aspects of Computing journal.