AnnotationAxiom

class AnnotationAxiom(annotations=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.

Parameters:

annotations (list[Annotation])