Enum ClassExpression 

pub enum ClassExpression<L = OwlLiteral, B = BlankNodeId> {
    Named(Iri<String>),
    ObjectIntersectionOf(OperandSet<Self, 2>),
    ObjectUnionOf(OperandSet<Self, 2>),
    ObjectComplementOf(Box<Self>),
    ObjectOneOf(OperandSet<Individual<B>, 1>),
    ObjectSomeValuesFrom {
        property: ObjectPropertyExpression,
        filler: Box<Self>,
    },
    ObjectAllValuesFrom {
        property: ObjectPropertyExpression,
        filler: Box<Self>,
    },
    ObjectHasValue {
        property: ObjectPropertyExpression,
        individual: Individual<B>,
    },
    ObjectHasSelf {
        property: ObjectPropertyExpression,
    },
    ObjectMinCardinality {
        cardinality: Cardinality,
        property: ObjectPropertyExpression,
        filler: Box<Self>,
    },
    ObjectMaxCardinality {
        cardinality: Cardinality,
        property: ObjectPropertyExpression,
        filler: Box<Self>,
    },
    ObjectExactCardinality {
        cardinality: Cardinality,
        property: ObjectPropertyExpression,
        filler: Box<Self>,
    },
    DataSomeValuesFrom {
        properties: OperandList<Iri<String>, 1>,
        range: DataRange<L>,
    },
    DataAllValuesFrom {
        properties: OperandList<Iri<String>, 1>,
        range: DataRange<L>,
    },
    DataHasValue {
        property: Iri<String>,
        value: L,
    },
    DataMinCardinality {
        cardinality: Cardinality,
        property: Iri<String>,
        range: DataRange<L>,
    },
    DataMaxCardinality {
        cardinality: Cardinality,
        property: Iri<String>,
        range: DataRange<L>,
    },
    DataExactCardinality {
        cardinality: Cardinality,
        property: Iri<String>,
        range: DataRange<L>,
    },
}

All 18 OWL 2 class-expression forms.

Variants

Named(Iri<String>)

A named class, including owl:Thing and owl:Nothing.

ObjectIntersectionOf(OperandSet<Self, 2>)

Intersection of at least two source occurrences.

ObjectUnionOf(OperandSet<Self, 2>)

Union of at least two source occurrences.

ObjectComplementOf(Box<Self>)

Complement of one class expression.

ObjectOneOf(OperandSet<Individual<B>, 1>)

Enumeration of individuals.

ObjectSomeValuesFrom

Existential object restriction.

Fields

property: ObjectPropertyExpression

The property operand.

filler: Box<Self>

The filler operand.

ObjectAllValuesFrom

Universal object restriction.

Fields

property: ObjectPropertyExpression

The property operand.

filler: Box<Self>

The filler operand.

ObjectHasValue

Object value restriction.

Fields

property: ObjectPropertyExpression

The property operand.

individual: Individual<B>

The individual operand.

ObjectHasSelf

Object self restriction.

Fields

property: ObjectPropertyExpression

The property operand.

ObjectMinCardinality

Minimum object cardinality restriction.

Fields

cardinality: Cardinality

The cardinality operand.

property: ObjectPropertyExpression

The property operand.

filler: Box<Self>

The filler operand.

ObjectMaxCardinality

Maximum object cardinality restriction.

Fields

cardinality: Cardinality

The cardinality operand.

property: ObjectPropertyExpression

The property operand.

filler: Box<Self>

The filler operand.

ObjectExactCardinality

Exact object cardinality restriction.

Fields

cardinality: Cardinality

The cardinality operand.

property: ObjectPropertyExpression

The property operand.

filler: Box<Self>

The filler operand.

DataSomeValuesFrom

Some data-value restriction, with ordered property positions.

Fields

properties: OperandList<Iri<String>, 1>

The properties operand.

range: DataRange<L>

The range operand.

DataAllValuesFrom

All data-value restriction, with ordered property positions.

Fields

properties: OperandList<Iri<String>, 1>

The properties operand.

range: DataRange<L>

The range operand.

DataHasValue

Data value restriction.

Fields

property: Iri<String>

The property operand.

value: L

The value operand.

DataMinCardinality

Min data cardinality restriction.

Fields

cardinality: Cardinality

The cardinality operand.

property: Iri<String>

The property operand.

range: DataRange<L>

The range operand.

DataMaxCardinality

Max data cardinality restriction.

Fields

cardinality: Cardinality

The cardinality operand.

property: Iri<String>

The property operand.

range: DataRange<L>

The range operand.

DataExactCardinality

Exact data cardinality restriction.

Fields

cardinality: Cardinality

The cardinality operand.

property: Iri<String>

The property operand.

range: DataRange<L>

The range operand.

Implementations

impl<L, B> ClassExpression<L, B>

pub fn named(iri: Iri<String>) -> Self

Create a named class.

pub fn thing() -> Self

Create owl:Thing as a named class.

pub fn nothing() -> Self

Create owl:Nothing as a named class.

pub fn is_thing(&self) -> bool

Return whether this expression is the named universal class.

pub fn is_nothing(&self) -> bool

Return whether this expression is the named empty class.

pub fn object_intersection_of( operands: Vec<Self>, ) -> Result<Self, StructuralModelError>

Create an unordered intersection.

Errors

Rejects fewer than two source occurrences.

pub fn object_union_of( operands: Vec<Self>, ) -> Result<Self, StructuralModelError>

Create an unordered union.

Errors

Rejects fewer than two source occurrences.

pub fn object_complement_of(operand: Self) -> Self

Create a complement expression.

pub fn object_one_of( individuals: Vec<Individual<B>>, ) -> Result<Self, StructuralModelError>

Create a nonempty enumeration of individuals.

Errors

Rejects an empty enumeration.

pub fn object_some_values_from( property: ObjectPropertyExpression, filler: Self, ) -> Self

Create an object some-values restriction.

pub fn object_all_values_from( property: ObjectPropertyExpression, filler: Self, ) -> Self

Create an object all-values restriction.

pub fn object_has_value( property: ObjectPropertyExpression, individual: Individual<B>, ) -> Self

Create an object value restriction.

pub fn object_has_self(property: ObjectPropertyExpression) -> Self

Create a self restriction.

impl<L, B> ClassExpression<L, B>

pub fn kind(&self) -> ClassExpressionKind

Return the structural expression kind without evaluating it.

impl<L, B> ClassExpression<L, B>

pub fn object_min_cardinality( cardinality: Cardinality, property: ObjectPropertyExpression, filler: Option<Self>, ) -> Self

Create an object minimum cardinality restriction; no filler means owl:Thing.

pub fn object_max_cardinality( cardinality: Cardinality, property: ObjectPropertyExpression, filler: Option<Self>, ) -> Self

Create an object maximum cardinality restriction; no filler means owl:Thing.

pub fn object_exact_cardinality( cardinality: Cardinality, property: ObjectPropertyExpression, filler: Option<Self>, ) -> Self

Create an object exact cardinality restriction; no filler means owl:Thing.

pub fn data_some_values_from( properties: Vec<Iri<String>>, range: DataRange<L>, ) -> Result<Self, StructuralModelError>

Create a data some-values restriction with ordered property positions.

Errors

Rejects an empty property list. Datatype arity is checked by semantic validators.

pub fn data_all_values_from( properties: Vec<Iri<String>>, range: DataRange<L>, ) -> Result<Self, StructuralModelError>

Create a data all-values restriction with ordered property positions.

Errors

Rejects an empty property list. Datatype arity is checked by semantic validators.

pub fn data_has_value(property: Iri<String>, value: L) -> Self

Create a data-value restriction without evaluating the literal.

pub fn data_min_cardinality( cardinality: Cardinality, property: Iri<String>, range: Option<DataRange<L>>, ) -> Self

Create a data minimum cardinality restriction; no range means rdfs:Literal.

pub fn data_max_cardinality( cardinality: Cardinality, property: Iri<String>, range: Option<DataRange<L>>, ) -> Self

Create a data maximum cardinality restriction; no range means rdfs:Literal.

pub fn data_exact_cardinality( cardinality: Cardinality, property: Iri<String>, range: Option<DataRange<L>>, ) -> Self

Create a data exact cardinality restriction; no range means rdfs:Literal.

Trait Implementations

impl<L: Clone, B: Clone> Clone for ClassExpression<L, B>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<L: Debug, B: Debug> Debug for ClassExpression<L, B>

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

Formats the value using the given formatter.

impl<'de, L, B> Deserialize<'de> for ClassExpression<L, B>

where L: Deserialize<'de>, B: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<L: Eq, B: Eq> Eq for ClassExpression<L, B>

impl<L: Hash, B: Hash> Hash for ClassExpression<L, B>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<L: PartialEq, B: PartialEq> PartialEq for ClassExpression<L, B>

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

Equality operator ==.

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

Inequality operator !=.

impl<L, B> Serialize for ClassExpression<L, B>

where L: Serialize, B: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<L: PartialEq, B: PartialEq> StructuralPartialEq for ClassExpression<L, B>