Declarations
-
struct CowlDeclAxiom : public CowlAxiom
Represents a Declaration in the OWL 2 specification.
Public Static Functions
-
static inline CowlDeclAxiom *cowl_decl_axiom(CowlAnyEntity *entity, CowlVector *annot)
Returns a retained declaration axiom.
- Parameters
entity – The declared entity.
annot – [optional] The annotations.
- Returns
Retained declaration.
-
static inline CowlEntity *cowl_decl_axiom_get_entity(CowlDeclAxiom *axiom)
Gets the declared entity.
- Parameters
axiom – The axiom.
- Returns
The entity.
-
static inline CowlVector *cowl_decl_axiom_get_annot(CowlDeclAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlDeclAxiom *cowl_decl_axiom(CowlAnyEntity *entity, CowlVector *annot)