Module dl 

Functions

abox_clash

Clash detection (ABox consistency core): does an individual asserted to have all of types have a clash — two types that are disjoint, directly or via subsumption (t1 ⊑ X, t2 ⊑ Y, X disjoint Y)? Returns true on a clash (inconsistency). Zero-heap.

check_subsumption_quin

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

concepts_disjoint

Are concepts a and b declared DISJOINT in disjoint (symmetric pairs)?

count_qualified_fillers

Count an individual’s role-successors that are instances of filler_class (directly or via subsumption) — for qualified cardinality restrictions. abox holds role assertions (individual, role, successor); type_assertions holds (individual, class). Zero-heap.

is_nominal_instance

Nominal {a}: a nominal concept has exactly one instance — a itself. Is individual the instance of the nominal {nominal_individual}?

is_transitive_role

Transitive role: is role declared transitive?

max_cardinality_met

Qualified MAX cardinality ≤ n R.C satisfied?

min_cardinality_met

Qualified MIN cardinality ≥ n R.C satisfied?

role_subsumes

Role hierarchy: is sub_role subsumed by super_role (transitively) in the RBox of rdfs:subPropertyOf quins? (Same transitive-closure search as class subsumption.)