• 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 schematic relation between any entities, e.g. 'the human body has a brain as part', '20th century contains year 1923', 'World War II includes the Pearl Harbour event'. Parthood should assume the basic properties of mereology: transitivity, antisymmetry, and reflexivity (propert Parthood of course misses reflexivity). However, antisymmetry is not supported in OWL2 explicitly, therefore DUL has to adopt one of two patterns: 1) dropping asymmetry axioms, while granting reflexivity: this means that symmetry is not enforced, but permitted for the case of reflexivity. Of course, in this way we cannot prevent symmetric usages of hasPart; 2) dropping the reflexivity axiom, and enforce asymmetry: in this case, we would prevent all symmetric usages, but we loose the possibility of enforcing reflexivity, which is commonsensical in parthood. In DUL, we adopt pattern #1 for partOf, and pattern #2 for properPartOf, which seems a good approximation: due to the lack of inheritance of property characteristics, each asymmetric hasPropertPart assertion would also be a reflexive hasPart assertion (reflexive reduction design pattern). Subproperties and restrictions can be used to specialize hasPart for objects, events, etc.