• 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: Dines Bjørner     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:NaturalPersonEukaryotePersonHumanAnimalanimaleukaryotescientistspeciesyago:WikicatComputerScienceWritersyago:WikicatDanishComputerScientistsschema:Personyago:WikicatLivingPeopleyago:WikicatPeopleFromOdenseScientistyago:Academician109759069yago:Adult109605289yago:Aristocrat109807754yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:Communicator109610660yago:ComputerScientist109951070yago:ComputerUser109951274yago:Educator110045713yago:Employee110053808yago:Knight110238375yago:Leader109623038yago:LivingThing100004258yago:MaleAristocrat110285135yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:Professional110480253yago:WikicatIBMEmployeesyago:Worker109632518yago:Writer110794014yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scientist110560637yago:Whole100003553yago:WikicatAcademicsOfTheUnitedNationsUniversityyago:WikicatDanishKnightsyago:WikicatFellowsOfTheAssociationForComputingMachineryyago:WikicatFormalMethodsPeople New Facet based on Instances of this Class

Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support. In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen. In 2021, Bjørner was elected to a Formal Methods Europe (FME) Fellowship.