Disjoint Union
-
struct CowlDisjUnionAxiom : public CowlAxiom
Represents a DisjointUnion axiom in the OWL 2 specification.
Public Static Functions
-
static inline CowlDisjUnionAxiom *cowl_disj_union_axiom(CowlClass *cls, CowlVector *disjoints, CowlVector *annot)
Returns a retained disjoint union axiom.
- Parameters
cls – The class which is equivalent to the disjoint union.
disjoints – The class expressions which are operands of the disjoint union.
annot – [optional] The annotations.
- Returns
Retained disjoint union axiom, or NULL on error.
-
static inline CowlClass *cowl_disj_union_axiom_get_class(CowlDisjUnionAxiom *axiom)
Gets the class which is equivalent to the disjoint union.
- Parameters
axiom – The axiom.
- Returns
The class.
-
static inline CowlVector *cowl_disj_union_axiom_get_disjoints(CowlDisjUnionAxiom *axiom)
Gets the class expressions which are operands of the disjoint union.
- Parameters
axiom – The axiom.
- Returns
The class expressions.
-
static inline CowlVector *cowl_disj_union_axiom_get_annot(CowlDisjUnionAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlDisjUnionAxiom *cowl_disj_union_axiom(CowlClass *cls, CowlVector *disjoints, CowlVector *annot)