Class Union
java.lang.Object
org.tweetyproject.logics.dl.syntax.ComplexConcept
org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
org.tweetyproject.logics.dl.syntax.Union
- All Implemented Interfaces:
Iterable<ComplexConcept>
,Collection<ComplexConcept>
,List<ComplexConcept>
,Formula
,AssociativeFormulaSupport.AssociativeSupportBridge
,AssociativeFormula<ComplexConcept>
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
This class models an union in description logics. This can be translated to a
disjunction in first-order logic.
- Author:
- Anna Gessler
-
Constructor Summary
ConstructorDescriptionUnion()
Creates a new (empty) union.trueUnion
(Collection<? extends ComplexConcept> formulas) Creates a new union with the given inner formulas.Union
(ComplexConcept formula) Create a new union with the given formula.Union
(ComplexConcept first, ComplexConcept second) Creates a new union with the two given formulae -
Method Summary
Modifier and TypeMethodDescriptionclone()
Creates a deep copy of this formulaThis method collapses all associative operations appearing in this term, e.g.Methods inherited from class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
add, add, add, addAll, addAll, clear, contains, containsAll, createEmptySignature, equals, get, getFormulas, getFormulas, getPredicates, getSignature, hashCode, indexOf, isEmpty, isLiteral, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray, toString
Methods inherited from class org.tweetyproject.logics.dl.syntax.ComplexConcept
combineWithAnd, combineWithOr, complement, getAtoms, getPredicateCls, getUniformProbability
Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray
Methods inherited from interface java.util.List
replaceAll, sort, spliterator
Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
getAtoms, getPredicateCls
-
Constructor Details
-
Union
Creates a new union with the given inner formulas.- Parameters:
formulas
- a collection of formulas.
-
Union
public Union()Creates a new (empty) union.true -
Union
Creates a new union with the two given formulae- Parameters:
first
- a relational formula.second
- a relational formula.
-
Union
Create a new union with the given formula.- Parameters:
formula
- a DlFormula
-
-
Method Details
-
getOperatorSymbol
- Returns:
- A String representing the operator which connects two items of the associative formula.
-
getEmptySymbol
- Returns:
- A String representing an empty version of the Associative Formula implementation
-
clone
Description copied from class:ComplexConcept
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classComplexConcept
- Returns:
- the cloned formula
-
createEmptyFormula
- Returns:
- an empty version of the AssociativeFormula
-
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 classComplexConcept
- Returns:
- the collapsed formula.
-