owlapy.util.NNF

class owlapy.util.NNF

Bases: object

This class contains functions to transform a Class Expression into Negation Normal Form

Methods

get_class_nnf

Convert a Class Expression to Negation Normal Form.

get_class_nnf(ce: owlapy.model.OWLClassExpression, negated: bool = False) → owlapy.model.OWLClassExpression

get_class_nnf(ce: owlapy.model.OWLClass, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectIntersectionOf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectUnionOf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectComplementOf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectSomeValuesFrom, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectAllValuesFrom, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectHasValue, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectMinCardinality, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectExactCardinality, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectMaxCardinality, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectHasSelf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLObjectOneOf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataSomeValuesFrom, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataAllValuesFrom, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDatatypeRestriction, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDatatype, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataComplementOf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataHasValue, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataOneOf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataIntersectionOf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataUnionOf, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataExactCardinality, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataMinCardinality, negated: bool = False)

get_class_nnf(ce: owlapy.model.OWLDataMaxCardinality, negated: bool = False)

Convert a Class Expression to Negation Normal Form. Operands will be sorted.

Parameters:

• ce – Class Expression

• negated – whether the result should be negated

Returns:

Class Expression in Negation Normal Form