OWLOntology
Represents an OWL 2 Ontology in the OWL 2 specification.
-
The identity of this ontology.
Declaration
Objective-C
@property (nonatomic, copy, readonly) OWLOntologyID *_Nonnull ontologyID;
Swift
@NSCopying var ontologyID: OWLOntologyID { get }
-
The manager that manages this ontology.
Declaration
Objective-C
@property (nonatomic, strong, readonly) id<OWLOntologyManager> _Nonnull manager;
-
Enumerates over all the axioms.
Declaration
Objective-C
- (void)enumerateAxiomsWithHandler: (nonnull void (^)(id<OWLAxiom> _Nonnull))handler;
Parameters
handler
The enumeration handler.
-
Enumerates over the axioms having the desired types.
Declaration
Objective-C
- (void)enumerateAxiomsOfTypes:(OWLAxiomType)types withHandler:(nonnull void (^)(id<OWLAxiom> _Nonnull))handler;
Parameters
types
The desired axiom types.
handler
The enumeration handler.
-
Enumerates over all the axioms of the desired types that directly or indirectly reference the specified anonymous individual.
Declaration
Objective-C
- (void)enumerateAxiomsReferencingAnonymousIndividual: (nonnull id<OWLAnonymousIndividual>)individual ofTypes:(OWLAxiomType)types withHandler: (nonnull void (^)( id<OWLAxiom> _Nonnull)) handler;
Parameters
individual
The individual.
types
The desired axiom types.
handler
The enumeration handler.
-
Enumerates over all the axioms of the desired types that directly or indirectly reference the specified class.
Declaration
Objective-C
- (void)enumerateAxiomsReferencingClass:(nonnull id<OWLClass>)cls ofTypes:(OWLAxiomType)types withHandler:(nonnull void (^)( id<OWLAxiom> _Nonnull))handler;
Parameters
cls
The class.
types
The desired axiom types.
handler
The enumeration handler.
-
Enumerates over all the axioms of the desired types that directly or indirectly reference the specified individual.
Declaration
Objective-C
- (void)enumerateAxiomsReferencingIndividual: (nonnull id<OWLIndividual>)individual ofTypes:(OWLAxiomType)types withHandler:(nonnull void (^)( id<OWLAxiom> _Nonnull))handler;
Parameters
individual
The individual.
types
The desired axiom types.
handler
The enumeration handler.
-
Enumerates over all the axioms of the desired types that directly or indirectly reference the specified named individual.
Declaration
Objective-C
- (void)enumerateAxiomsReferencingNamedIndividual: (nonnull id<OWLNamedIndividual>)individual ofTypes:(OWLAxiomType)types withHandler: (nonnull void (^)( id<OWLAxiom> _Nonnull))handler;
Parameters
individual
The individual.
types
The desired axiom types.
handler
The enumeration handler.
-
Enumerates over all the axioms of the desired types that directly or indirectly reference the specified object property.
Declaration
Objective-C
- (void)enumerateAxiomsReferencingObjectProperty: (nonnull id<OWLObjectProperty>)property ofTypes:(OWLAxiomType)types withHandler: (nonnull void (^)( id<OWLAxiom> _Nonnull))handler;
Parameters
property
The object property.
types
The desired axiom types.
handler
The enumeration handler.