Skip to content

Class: LogicalCriterion

A node in a nested boolean membership-criteria expression. A branch node sets operator and combines child operands; a leaf node sets criterion_predicate and the payload slots relevant to that predicate. This is a deliberately lightweight, OWL-inspired representation, not a full logical formalism.

URI: dismech:class/LogicalCriterion

 classDiagram
    class LogicalCriterion
    click LogicalCriterion href "../../classes/LogicalCriterion/"
      LogicalCriterion : biological_processes





        LogicalCriterion --> "*" BiologicalProcessDescriptor : biological_processes
        click BiologicalProcessDescriptor href "../../classes/BiologicalProcessDescriptor/"



      LogicalCriterion : classification

      LogicalCriterion : criterion_predicate





        LogicalCriterion --> "0..1" CriterionPredicateEnum : criterion_predicate
        click CriterionPredicateEnum href "../../enums/CriterionPredicateEnum/"



      LogicalCriterion : description

      LogicalCriterion : gene





        LogicalCriterion --> "0..1" GeneDescriptor : gene
        click GeneDescriptor href "../../classes/GeneDescriptor/"



      LogicalCriterion : min_frequency





        LogicalCriterion --> "0..1" FrequencyEnum : min_frequency
        click FrequencyEnum href "../../enums/FrequencyEnum/"



      LogicalCriterion : module

      LogicalCriterion : negated

      LogicalCriterion : operands





        LogicalCriterion --> "*" LogicalCriterion : operands
        click LogicalCriterion href "../../classes/LogicalCriterion/"



      LogicalCriterion : operator





        LogicalCriterion --> "0..1" LogicalOperatorEnum : operator
        click LogicalOperatorEnum href "../../enums/LogicalOperatorEnum/"



      LogicalCriterion : phenotype_term





        LogicalCriterion --> "0..1" PhenotypeDescriptor : phenotype_term
        click PhenotypeDescriptor href "../../classes/PhenotypeDescriptor/"

Slots

Name Cardinality and Range Description Inheritance
operator 0..1
LogicalOperatorEnum		 Boolean operator for a branch node in a membership-criteria expression direct
operands *
LogicalCriterion		 Child criteria combined by this branch node's operator direct
criterion_predicate 0..1
CriterionPredicateEnum		 The constraint kind for a leaf node in a membership-criteria expression direct
description 0..1
String		 direct
negated 0..1
Boolean		 If true, this leaf criterion is negated (the constraint must NOT hold) direct
phenotype_term 0..1
PhenotypeDescriptor		 The HP term for this phenotype direct
min_frequency 0..1
FrequencyEnum		 Minimum phenotype frequency threshold for a HAS_PHENOTYPE criterion; members ... direct
gene 0..1
GeneDescriptor		 direct
biological_processes *
BiologicalProcessDescriptor		 direct
module 0..1
String		 Reference to a mechanism module in kb/modules/ (filename stem, without direct
classification 0..1
String		 Classification scheme this subtype belongs to (e direct

Usages

used by used in type used
GroupingCriteria logic range LogicalCriterion
LogicalCriterion operands range LogicalCriterion

Identifier and Mapping Information

Schema Source

  • from schema: https://w3id.org/monarch-initiative/dismech

Mappings

Mapping Type Mapped Value
self dismech:LogicalCriterion
native dismech:LogicalCriterion

LinkML Source

Direct

name: LogicalCriterion
description: A node in a nested boolean membership-criteria expression. A branch node
  sets `operator` and combines child `operands`; a leaf node sets `criterion_predicate`
  and the payload slots relevant to that predicate. This is a deliberately lightweight,
  OWL-inspired representation, not a full logical formalism.
from_schema: https://w3id.org/monarch-initiative/dismech
slots:
- operator
- operands
- criterion_predicate
- description
- negated
- phenotype_term
- min_frequency
- gene
- biological_processes
- module
- classification

Induced

name: LogicalCriterion
description: A node in a nested boolean membership-criteria expression. A branch node
  sets `operator` and combines child `operands`; a leaf node sets `criterion_predicate`
  and the payload slots relevant to that predicate. This is a deliberately lightweight,
  OWL-inspired representation, not a full logical formalism.
from_schema: https://w3id.org/monarch-initiative/dismech
attributes:
  operator:
    name: operator
    description: Boolean operator for a branch node in a membership-criteria expression.
      Present on branch nodes; absent on leaf nodes.
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: operator
    owner: LogicalCriterion
    domain_of:
    - LogicalCriterion
    range: LogicalOperatorEnum
  operands:
    name: operands
    description: Child criteria combined by this branch node's operator.
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: operands
    owner: LogicalCriterion
    domain_of:
    - LogicalCriterion
    range: LogicalCriterion
    multivalued: true
    inlined: true
    inlined_as_list: true
  criterion_predicate:
    name: criterion_predicate
    description: The constraint kind for a leaf node in a membership-criteria expression.
      Present on leaf nodes; absent on branch nodes.
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: criterion_predicate
    owner: LogicalCriterion
    domain_of:
    - LogicalCriterion
    range: CriterionPredicateEnum
  description:
    name: description
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: description
    owner: LogicalCriterion
    domain_of:
    - Descriptor
    - DietaryModification
    - GeneticContext
    - Dataset
    - ExperimentalModel
    - Experiment
    - ExperimentalPerturbation
    - ExperimentalReadout
    - ExperimentalControl
    - ClinicalTrial
    - ComputationalModel
    - ModelVariable
    - DifferentialDiagnosis
    - Subtype
    - CausalEdge
    - TreatmentMechanismTarget
    - ModelMechanismLink
    - BiomarkerReadout
    - PhenotypeReadout
    - SurrogateEndpointCollection
    - ProteinStructure
    - ExternalAssertion
    - EpidemiologyInfo
    - Pathophysiology
    - Phenotype
    - HistopathologyFinding
    - ImagingFinding
    - Environmental
    - Disease
    - Stage
    - AgentLifeCycle
    - AgentLifeCycleStage
    - AnimalModel
    - Treatment
    - InfectiousAgent
    - Transmission
    - Assay
    - Diagnosis
    - Inheritance
    - Variant
    - FunctionalEffect
    - Mechanism
    - ModelingConsideration
    - Definition
    - CriteriaSet
    - ConditionDescriptor
    - GOEnrichment
    - ComorbidityHypothesis
    - UpstreamConditionHypothesis
    - MechanisticHypothesis
    - Grouping
    - GroupingCriteria
    - LogicalCriterion
    - DifferentiatingMechanism
    range: string
  negated:
    name: negated
    description: If true, this leaf criterion is negated (the constraint must NOT
      hold). An alternative to wrapping the node in a NOT operator.
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: negated
    owner: LogicalCriterion
    domain_of:
    - LogicalCriterion
    range: boolean
  phenotype_term:
    name: phenotype_term
    description: The HP term for this phenotype
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: phenotype_term
    owner: LogicalCriterion
    domain_of:
    - ExperimentalReadout
    - ReferenceRangeBand
    - Phenotype
    - ImagingFinding
    - LogicalCriterion
    - DifferentiatingMechanism
    range: PhenotypeDescriptor
    inlined: true
  min_frequency:
    name: min_frequency
    description: Minimum phenotype frequency threshold for a HAS_PHENOTYPE criterion;
      members must exhibit the phenotype at this frequency band or higher.
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: min_frequency
    owner: LogicalCriterion
    domain_of:
    - LogicalCriterion
    range: FrequencyEnum
  gene:
    name: gene
    examples:
    - value: '{preferred_term: MEFV}'
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: gene
    owner: LogicalCriterion
    domain_of:
    - GeneticContext
    - ExperimentalPerturbation
    - Pathophysiology
    - Variant
    - LogicalCriterion
    - DifferentiatingMechanism
    range: GeneDescriptor
    inlined: true
  biological_processes:
    name: biological_processes
    examples:
    - value: '[{preferred_term: TNF-alpha Production}]'
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: biological_processes
    owner: LogicalCriterion
    domain_of:
    - ExperimentalPerturbation
    - ExperimentalReadout
    - Pathophysiology
    - LogicalCriterion
    - DifferentiatingMechanism
    range: BiologicalProcessDescriptor
    multivalued: true
    inlined: true
    inlined_as_list: true
  module:
    name: module
    description: Reference to a mechanism module in kb/modules/ (filename stem, without
      .yaml, optionally with a "#Node Name" anchor). Used by CONFORMS_TO_MODULE criteria
      and by differentiating mechanisms.
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: module
    owner: LogicalCriterion
    domain_of:
    - LogicalCriterion
    - DifferentiatingMechanism
    range: string
  classification:
    name: classification
    description: Classification scheme this subtype belongs to (e.g., 'complementation_group',
      'pathway_tier', 'histological', 'molecular', 'clinical_phenotype').
    from_schema: https://w3id.org/monarch-initiative/dismech
    rank: 1000
    alias: classification
    owner: LogicalCriterion
    domain_of:
    - Subtype
    - LogicalCriterion
    range: string