Class ComplexConcept

    • Constructor Detail

      • ComplexConcept

        public ComplexConcept()
    • Method Detail

      • combineWithOr

        public Union combineWithOr​(Disjunctable f)
        Specified by:
        combineWithOr in interface Disjunctable
        Parameters:
        f - a formula to be combined with OR and this.
        Returns:
        a disjunction of this and the given formula.
      • combineWithAnd

        public Intersection combineWithAnd​(Conjunctable f)
        Description copied from interface: Conjunctable
        Returns a conjunction of this and the given formula.
        Specified by:
        combineWithAnd in interface Conjunctable
        Parameters:
        f - a formula to be combined with AND and this.
        Returns:
        a conjunction of this and the given formula.
      • collapseAssociativeFormulas

        public abstract ComplexConcept collapseAssociativeFormulas()
        This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.
        Returns:
        the collapsed formula.
      • getAtoms

        public java.util.Set<? extends Atom> getAtoms()
        Description copied from interface: SimpleLogicalFormula
        Processes the set of all atoms which appear in this formula
        Specified by:
        getAtoms in interface SimpleLogicalFormula
        Returns:
        The set of all atoms
      • getSignature

        public abstract DlSignature getSignature()
        Description copied from interface: Formula
        Returns the signature of the language of this formula.
        Specified by:
        getSignature in interface Formula
        Returns:
        the signature of the language of this formula.
      • hashCode

        public abstract int hashCode()
        Specified by:
        hashCode in interface SimpleLogicalFormula
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public abstract boolean equals​(java.lang.Object other)
        Specified by:
        equals in interface SimpleLogicalFormula
        Overrides:
        equals in class java.lang.Object
      • getPredicates

        public abstract java.util.Set<Predicate> getPredicates()
        Description copied from interface: SimpleLogicalFormula
        Processes the set of all predicates which appear in this formula
        Specified by:
        getPredicates in interface SimpleLogicalFormula
        Returns:
        all predicates that appear in this formula