OWLDLExpressivityChecker

@interface OWLDLExpressivityChecker : NSObject

A utility class to compute and represent DL expressivity.

  • The constructs stored in the checker.

    Declaration

    Objective-C

    @property (nonatomic) OWLDLConstruct constructs;

    Swift

    var constructs: OWLDLConstruct { get set }

  • Returns the pruned description logic name derived from the stored constructs.

    Declaration

    Objective-C

    - (nonnull NSString *)descriptionLogicName;

    Swift

    func descriptionLogicName() -> String

  • Returns the name for a single construct.

    Declaration

    Objective-C

    - (nonnull NSString *)nameForConstruct:(OWLDLConstruct)construct;

    Swift

    func name(for construct: OWLDLConstruct) -> String

    Parameters

    construct

    The construct.

  • Prunes the stored constructs.

    Declaration

    Objective-C

    - (void)pruneConstructs;

    Swift

    func pruneConstructs()

  • Updates the stored constructs based on a given axiom.

    Declaration

    Objective-C

    - (void)addConstructsForAxiom:(nonnull id<OWLAxiom>)axiom
                    recursive:(BOOL)recursive;

    Parameters

    axiom

    The axiom.
    recursive

    The axiom should be visited recursively.

  • Updates the stored constructs based on a given class expression.

    Declaration

    Objective-C

    - (void)addConstructsForClassExpression:(nonnull id<OWLClassExpression>)ce
                              recursive:(BOOL)recursive;

    Parameters

    ce

    The class expression.
    recursive

    The class expression should be visited recursively.

  • Updates the stored constructs based on a given property expression.

    Declaration

    Objective-C

    - (void)addConstructsForPropertyExpression:
    (nonnull id<OWLPropertyExpression>)pe;

    Parameters

    pe

    The property expression.