Rule sf_pf_f: Siblings classes of a phase in a phase partition (disjoint and complete) are also phases.
Rule us_f_ps: In complete models, a unique sibling of a phase is also a phase and forms a partition set (disjoint, complete). In incomplete, it may be. In incomplete, in disjoint-complete partitions, the other must be a phase.
Implementing these rules requires scope expansion, as currently only taxonomical and instantiation properties (rdfs:subClassOf and rdf:type, respectively) are currently within the software's scope.
Rule sf_pf_f: Siblings classes of a phase in a phase partition (disjoint and complete) are also phases.
Rule us_f_ps: In complete models, a unique sibling of a phase is also a phase and forms a partition set (disjoint, complete). In incomplete, it may be. In incomplete, in disjoint-complete partitions, the other must be a phase.
Implementing these rules requires scope expansion, as currently only taxonomical and instantiation properties (
rdfs:subClassOf
andrdf:type
, respectively) are currently within the software's scope.