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" with C and D as Concepts. This can also be read as "C implies D". If C implies D and C implies C, 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