Equivalent and Disjoint Data Properties
-
struct CowlNAryDataPropAxiom : public CowlAxiom
Represents an EquivalentDataProperties or DisjointDataProperties axiom in the OWL 2 specification.
Public Static Functions
-
static inline CowlNAryDataPropAxiom *cowl_nary_data_prop_axiom(CowlNAryAxiomType type, CowlVector *props, CowlVector *annot)
Returns a retained N-ary data property axiom.
- Parameters
type – The type.
props – The data properties.
annot – [optional] The annotations.
- Returns
Retained axiom, or NULL on error.
-
static inline CowlNAryAxiomType cowl_nary_data_prop_axiom_get_type(CowlNAryDataPropAxiom *axiom)
Gets the type of the specified N-ary data property axiom.
- Parameters
axiom – The axiom.
- Returns
The type.
-
static inline CowlVector *cowl_nary_data_prop_axiom_get_props(CowlNAryDataPropAxiom *axiom)
Gets the data properties of the specified N-ary data property axiom.
- Parameters
axiom – The axiom.
- Returns
The data properties.
-
static inline CowlVector *cowl_nary_data_prop_axiom_get_annot(CowlNAryDataPropAxiom *axiom)
Gets the annotations of the specified axiom.
- Parameters
axiom – The axiom.
- Returns
The annotations.
-
static inline CowlNAryDataPropAxiom *cowl_nary_data_prop_axiom(CowlNAryAxiomType type, CowlVector *props, CowlVector *annot)