• 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: Moshe Vardi     Goto   Sponge   NotDistinct   Permalink

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

Type: Thingfoaf:Personpersondul:NaturalPersonEukaryotePersonHumanAnimalyago:WikicatAmericanAcademicsyago:WikicatAmericanComputerScientistsyago:WikicatAmericanPeopleyago:WikicatArtificialIntelligenceResearchersanimaleukaryotescientistspeciesyago:WikicatComputerScientistsschema:Personyago:WikicatLivingPeopleyago:WikicatPeopleFromHaifaScientistyago:Academician109759069yago:Acquirer109764201yago:Adult109605289yago:Associate109816771yago:CausalAgent100007347yago:Colleague109935990yago:Communicator109610660yago:ComputerScientist109951070yago:ComputerUser109951274yago:Editor110044879yago:Educator110045713yago:Employee110053808yago:Honoree110183757yago:Laureate110249011yago:LivingThing100004258yago:Object100002684yago:Organism100004475yago:Peer109626238yago:Person100007846yago:PhysicalEntity100001930yago:Professional110480253yago:Recipient109627906yago:ResearchWorker110523076yago:WikicatGuggenheimFellowsyago:WikicatGödelPrizeLaureatesyago:WikicatIBMEmployeesyago:WikicatIsraeliComputerScientistsyago:WikicatIsraeliEditorsyago:WikicatIsraeliPeopleyago:WikicatIsraeliScienceWritersyago:Worker109632518yago:Writer110794014yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scientist110560637yago:SkilledWorker110605985yago:Whole100003553yago:WikicatFellowsOfTheAmericanAcademyOfArtsAndSciencesyago:WikicatFellowsOfTheAmericanAssociationForTheAdvancementOfScienceyago:WikicatFellowsOfTheAssociationForComputingMachineryyago:WikicatFellowsOfTheAssociationForTheAdvancementOfArtificialIntelligenceyago:WikicatFormalMethodsPeopleyago:WikicatPeopleFromTexas New Facet based on Instances of this Class

Moshe Ya'akov Vardi (Hebrew: משה יעקב ורדי) MAE is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. He is University Professor, the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.