owlapy.util.TopLevelCNF

class owlapy.util.TopLevelCNF[source]

Bases: object

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

Methods

get_top_level_cnf

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

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

Parameters:

ce – Class Expression

Returns:

Class Expression in Top-Level Conjunctive Normal Form