DataPropertyAxiom

class DataPropertyAxiom(annotations: list[Annotation] | None = None)[source]

Bases: Axiom

A model for 9.3 “Data Property Axioms”.

Instantiate an axiom, with an optional list of annotations.