Class expression axioms
Subclasses
-
struct CowlSubClsAxiom
Represents a SubClassOf axiom in the OWL 2 specification.
Pseudo-extends:
CowlAxiom
-
CowlSubClsAxiom *cowl_sub_cls_axiom(CowlAnyClsExp *sub, CowlAnyClsExp *super, CowlVector *annot)
Returns a subclass axiom.
Note
You must release the returned object via
cowl_release()
.- Parameters:
sub – The subclass.
super – The superclass.
annot –
optional
The annotations.
- Returns:
Axiom, or NULL on error.
-
CowlClsExp *cowl_sub_cls_axiom_get_sub(CowlSubClsAxiom *axiom)
Gets the subclass.
- Parameters:
axiom – The axiom.
- Returns:
The subclass.
-
CowlClsExp *cowl_sub_cls_axiom_get_super(CowlSubClsAxiom *axiom)
Gets the superclass.
- Parameters:
axiom – The axiom.
- Returns:
The superclass.
Equivalent and disjoint classes
-
struct CowlNAryClsAxiom
Represents an EquivalentClasses or DisjointClasses axiom in the OWL 2 specification.
Pseudo-extends:
CowlAxiom
-
enum CowlNAryAxiomType
Represents the type of
CowlNAryClsAxiom
,CowlNAryObjPropAxiom
,CowlNAryDataPropAxiom
andCowlNAryIndAxiom
.Values:
-
enumerator COWL_NAT_EQUIV
Equivalence.
-
enumerator COWL_NAT_DISJ
Disjointness.
-
enumerator COWL_NAT_COUNT
Number of enum values.
-
enumerator COWL_NAT_FIRST
First enum value.
-
enumerator COWL_NAT_SAME
Same individuals.
-
enumerator COWL_NAT_DIFF
Different individuals.
-
enumerator COWL_NAT_EQUIV
-
CowlNAryClsAxiom *cowl_nary_cls_axiom(CowlNAryAxiomType type, CowlVector *classes, CowlVector *annot)
Returns a N-ary class expression axiom.
Note
You must release the returned object via
cowl_release()
.- Parameters:
type – N-ary class expression axiom type.
classes – The classes.
annot –
optional
The annotations.
- Returns:
Axiom, or NULL on error.
-
CowlNAryAxiomType cowl_nary_cls_axiom_get_type(CowlNAryClsAxiom *axiom)
Gets the type of the specified N-ary class expression axiom.
- Parameters:
axiom – The axiom.
- Returns:
The type.
-
CowlVector *cowl_nary_cls_axiom_get_classes(CowlNAryClsAxiom *axiom)
Gets the classes of the specified N-ary class expression axiom.
- Parameters:
axiom – The axiom.
- Returns:
The classes.
Disjoint union
-
struct CowlDisjUnionAxiom
Represents a DisjointUnion axiom in the OWL 2 specification.
Pseudo-extends:
CowlAxiom
-
CowlDisjUnionAxiom *cowl_disj_union_axiom(CowlClass *cls, CowlVector *disjoints, CowlVector *annot)
Returns a disjoint union axiom.
Note
You must release the returned object via
cowl_release()
.- 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:
Axiom, or NULL on error.
-
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.
-
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.