Skip to main content

check_subsumption_quin

qualia_core_db::modalities::dl

Function check_subsumption_quin 

Source 
pub fn check_subsumption_quin(
    sub_class_hash: u64,
    super_class_hash: u64,
    tbox: &[NQuin],
) -> bool
Expand description

Returns true if sub_class_hash is subsumed by super_class_hash in the TBox.

Comprehensive: a full transitive-closure search over the rdfs:subClassOf DAG, so multiple inheritance is handled (a class may have many superclasses — e.g. NaturalPerson ⊑ Agent AND NaturalPerson ⊑ self:HumanBeing). Zero-heap (fixed frontier + visited arrays) and cycle-safe (visited set). The earlier version followed only the FIRST parent edge per node and silently missed every other inheritance path.