Class Assertions
-
struct CowlClsAssertAxiom : public CowlAxiom
Represents a ClassAssertion axiom in the OWL 2 specification.
Public Static Functions
-
static inline CowlClsAssertAxiom *cowl_cls_assert_axiom(CowlAnyClsExp *exp, CowlAnyIndividual *ind, CowlVector *annot)
Returns a retained class assertion axiom.
- Parameters
exp – The asserted class expression.
ind – The assertion individual.
annot – [optional] The annotations.
- Returns
Retained axiom, or NULL on error.
-
static inline CowlClsExp *cowl_cls_assert_axiom_get_cls_exp(CowlClsAssertAxiom *axiom)
Gets the class expression that is asserted to be a type for an individual by this axiom.
- Parameters
axiom – The axiom.
- Returns
The class expression.
-
static inline CowlIndividual *cowl_cls_assert_axiom_get_ind(CowlClsAssertAxiom *axiom)
Gets the individual that is asserted to be an instance of a class expression by this axiom.
- Parameters
axiom – The axiom.
- Returns
The individual.
-
static inline CowlVector *cowl_cls_assert_axiom_get_annot(CowlClsAssertAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlClsAssertAxiom *cowl_cls_assert_axiom(CowlAnyClsExp *exp, CowlAnyIndividual *ind, CowlVector *annot)