Class Intersection

All Implemented Interfaces:
Iterable<ComplexConcept>, Collection<ComplexConcept>, List<ComplexConcept>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<ComplexConcept>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class Intersection extends AssociativeDlFormula
This class models an intersection in description logics. This can be translated to a conjunction in first-order logic.
Author:
Anna Gessler
  • Constructor Details

    • Intersection

      public Intersection(Collection<? extends ComplexConcept> formulas)
      Creates a new intersection with the given inner formulas.
      Parameters:
      formulas - a collection of formulas.
    • Intersection

      public Intersection()
      Creates a new (empty) intersection.
    • Intersection

      public Intersection(ComplexConcept first, ComplexConcept second)
      Creates a new intersection with the two given formulas.
      Parameters:
      first - a relational formula.
      second - a relational formula.
  • Method Details

    • createEmptyFormula

      public Intersection createEmptyFormula()
      Returns:
      an empty version of the AssociativeFormula
    • getOperatorSymbol

      public String getOperatorSymbol()
      Returns:
      A String representing the operator which connects two items of the associative formula.
    • getEmptySymbol

      public String getEmptySymbol()
      Returns:
      A String representing an empty version of the Associative Formula implementation
    • clone

      public ComplexConcept clone()
      Description copied from class: ComplexConcept
      Creates a deep copy of this formula
      Specified by:
      clone in interface SimpleLogicalFormula
      Specified by:
      clone in class ComplexConcept
      Returns:
      the cloned formula
    • collapseAssociativeFormulas

      public ComplexConcept collapseAssociativeFormulas()
      Description copied from class: ComplexConcept
      This method collapses all associative operations appearing in this term, e.g. every a||(b||c) becomes a||b||c.
      Specified by:
      collapseAssociativeFormulas in class ComplexConcept
      Returns:
      the collapsed formula.