• 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#ldpoplwebrel-me-authskos-transurn:det:rdf:labelurn:kidehen:glossary:inference:rulesurn:owl:inference:rules:testsvirtpivot-rulesvirtrdf-eturtle-containersvirtrdf-hashtagvirtrdf-ifpvirtrdf-labelvirtrdf-meta-entity-classvirtrdf-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: http://kingsley.idehen.net/DAV/home/kidehen/Public/Linked Data Documents/Nanotations/john-sowa-topics-collection.ttl#Logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : skos:Concept, within Data Space : kingsley.idehen.net associated with source document(s)

Type: Concept New Facet based on Instances of this Class

The study of reasoning. But what about the many kinds of logics, including modal logics. Quine said 'To be is to be the value of a quantified variable.' But if you use a modal logic, you can quantify over anything you can imagine. Even first-order logic allows quantification over anything you can imagine.