Class EquivalenceAxiom

All Implemented Interfaces:
Formula, SimpleLogicalFormula

public class EquivalenceAxiom extends DlAxiom
This class models an equivalence axiom, also known as "general concept inclusion" (GCU), meaning an expression of the form "C is a subset of or equal to D" where C and D are concepts. This can also be read as "C implies D". If "C implies D" and "C implies C", then the two concepts are equivalent.
Equivalence axioms are used in the TBox of a DL knowledge base to model relationships between concepts, e.g. "MaleHuman is a subset or equal to Human".
Anna Gessler