owlapy.model.OWLHasKeyAxiom

class owlapy.model.OWLHasKeyAxiom(class_expression: owlapy.model.OWLClassExpression, property_expressions: List[owlapy.model.OWLPropertyExpression], annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)

Bases: owlapy.model.OWLLogicalAxiom, owlapy.model.HasOperands[owlapy.model.OWLPropertyExpression]

Represents a HasKey axiom in the OWL 2 Specification.

Methods

annotations
get_class_expression
get_property_expressions
is_annotated
is_annotation_axiom
is_anonymous
is_logical_axiom
operands	Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent classes axiom.

annotations() → Optional[List[owlapy.model.OWLAnnotation]]

get_class_expression() → owlapy.model.OWLClassExpression

get_property_expressions() → List[owlapy.model.OWLPropertyExpression]

is_annotated() → bool

is_annotation_axiom() → bool

is_anonymous() → bool

is_logical_axiom() → bool

operands() → Iterable[owlapy.model.OWLPropertyExpression]

Gets the operands - e.g., the individuals in a sameAs axiom, or the classes in an equivalent classes axiom.

Returns:

The operands.