Axiom

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

Parameters:

annotations (list[Annotation])

to_funowl_args()[source]

Get the functional OWL tag representing the axiom.

Return type:

str