owlapy.util.TopLevelDNF

class owlapy.util.TopLevelDNF[source]

Bases: object

This class contains functions to transform a class expression into Top-Level Disjunctive Normal Form

Methods

get_top_level_dnf

Convert a class expression into Top-Level Disjunctive Normal Form.
get_top_level_dnf(ce: owlapy.model.OWLClassExpression) → owlapy.model.OWLClassExpression[source]

Convert a class expression into Top-Level Disjunctive Normal Form. Operands will be sorted.

Parameters:

ce – Class Expression

Returns:

Class Expression in Top-Level Disjunctive Normal Form