Enum SkippedConstruct 

pub enum SkippedConstruct {
    ReflexiveProperty(SctId),
    DataProperty(SctId),
    ConcreteValue {
        attribute: SctId,
    },
    EmptyRoleChain(SctId),
    UnmodeledAttributeShape {
        concept: SctId,
    },
}

Variants

ReflexiveProperty(SctId)

A ReflexiveObjectProperty axiom — reflexivity isn’t modeled.

DataProperty(SctId)

A SubDataPropertyOf axiom — data (concrete-value) property hierarchy isn’t modeled.

ConcreteValue

A DataHasValue conjunct on attribute, dropped from whatever intersection or existential filler it appeared in.

Fields

attribute: SctId

EmptyRoleChain(SctId)

A SubObjectPropertyOf whose sub-property is an ObjectPropertyChain with no operands, naming the super-property it would have implied. snomed-owl’s parser rejects this shape; only a hand-built snomed_owl::Axiom can produce it.

UnmodeledAttributeShape

A stated axiom shape necessary_normal_form couldn’t turn into a (type, value) attribute pair — e.g. a role group or ungrouped existential whose filler isn’t a plain concept (spec/14). concept is the named subject whose stated profile the shape appeared in.

Fields

concept: SctId

Trait Implementations

impl Clone for SkippedConstruct

fn clone(&self) -> SkippedConstruct

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for SkippedConstruct

impl Debug for SkippedConstruct

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for SkippedConstruct

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for SkippedConstruct

impl PartialEq for SkippedConstruct

fn eq(&self, other: &SkippedConstruct) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SkippedConstruct