Axiom

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

Bases: Box

A model for an axiom.

Instantiate an axiom, with an optional list of annotations.

Methods Summary

to_funowl_args()

Get the functional OWL tag representing the axiom.

Methods Documentation

to_funowl_args() → str[source]

Get the functional OWL tag representing the axiom.