AnnotationAxiom

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

Bases: Axiom

A grouping class for annotation axioms defined in 10.2 “Axiom Annotations”.

https://www.w3.org/TR/owl2-syntax/A_annotation.gif

Instantiate an axiom, with an optional list of annotations.