View on GitHub
OWLDLExpressivityChecker Class Reference
OWLDLExpressivityChecker
Objective-C
@interface OWLDLExpressivityChecker : NSObjectSwift
class OWLDLExpressivityChecker : NSObjectA 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) -> StringParameters
constructThe 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
axiomThe axiom.
recursiveThe 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
ceThe class expression.
recursiveThe 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
peThe property expression.