Class AssociativeDlFormula

java.lang.Object
org.tweetyproject.logics.dl.syntax.ComplexConcept
org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
All Implemented Interfaces:
Iterable<ComplexConcept>, Collection<ComplexConcept>, List<ComplexConcept>, SequencedCollection<ComplexConcept>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<ComplexConcept>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
Direct Known Subclasses:
Intersection, Union

public abstract class AssociativeDlFormula extends ComplexConcept implements AssociativeFormula<ComplexConcept>, AssociativeFormulaSupport.AssociativeSupportBridge
This class captures the common functionalities of description logic associative formulas (union and intersection).
Author:
Anna Gessler, Matthias Thimm, Tim Janus