• 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: Alasdair Urquhart     Goto   Sponge   NotDistinct   Permalink

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

Type: Thingpersonscientistyago:WikicatLivingPeopleyago:WikicatScottishEmigrantsToCanadayago:WikicatScottishLogiciansyago:WikicatScottishMathematiciansyago:WikicatScottishPhilosophersyago:Alumnus109786338yago:CausalAgent100007347yago:Emigrant110051975yago:Expert109617867yago:Intellectual109621545yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Migrant110314952yago:Object100002684yago:Organism100004475yago:Person100007846yago:Philosopher110423589yago:PhysicalEntity100001930yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Traveler109629752yago:Whole100003553yago:WikicatAlumniOfTheUniversityOfEdinburgh New Facet based on Instances of this Class

Alasdair Ian Fenton Urquhart (/ˈæləsdər ˈɜːrkərt/; born 20 December 1945) is a Scottish–Canadian philosopher and emeritus professor of philosophy at the University of Toronto. He has made contributions to the field of logic, especially non-classical logic. One of his ideas is proving the undecidability of the relevance logic R. He also published papers in theoretical computer science venues, mostly on mathematical logic topics of relevance to computer science.