• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpccisofacetshttp://demo.openlinksw.com/dataspacehttp://www.w3.org/2002/07/owl#ldpoplwebrel-me-authskos-transsql-vdb-data-lakeurn:ALKAdatareducedurn:analytics:acqof:ruleurn:clothing:rule:qaurn:det:rdf:labelurn:inference:oplfaq:ruleurn:inference:product:feature:inverse:ruleurn:ingleng:inf:demo:inf:ruleurn:kbpedia:actor:subclass:test:rulesurn:kbpedia:comedian:owl:equivalent:class:subproperty:inference:rulesurn:kbpedia:mime-artist:owl:equivalent:class:subproperty:inference:rulesurn:kbpedia:owl:equivalent:class:subproperty:inference:rulesurn:kbpedia:philosopher:owl:equivalent:class:subproperty:inference:rulesurn:kbpedia:stage-actor:owl:equivalent:class:subproperty:inference:rulesurn:kgdemo:1:ifp:ruleurn:kgdemo:1:ifp:rule2urn:lava:demo:ruleurn:owl:equivalent:class:inference:rulesurn:rdfs:subclass:subproperty:inference:rulesurn:rdfs:type:wikidata:ruleurn:recon:data:ifpurn:recon:data:ifp:ruleurn:recruitment:rule:built-in:ruleurn:rsm12e:translation:ruleurn:rxnorm:data:ruleurn:se:demo:inference:ruleurn:test:skos:inverse:ruleurn:wireless:plans:features:builtin:inference:rule:1virtrdf-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)

A Theory is a Description that represents a set of assumptions for describing something, usually general. Scientific, philosophical, and commonsense theories can be included here. This class can also be used to act as 'naturalized reifications' of logical theories (of course, they will be necessarily incomplete in this case, because second-order entities are represented as first-order ones).