Package org.tweetyproject.logics.dl.syntax

Class Intersection

java.lang.Object
org.tweetyproject.logics.dl.syntax.ComplexConcept
org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
org.tweetyproject.logics.dl.syntax.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.