Package org.tweetyproject.logics.dl.syntax

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>, SequencedCollection<ComplexConcept>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<ComplexConcept>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class Union
extends AssociativeDlFormula

This class models an union in description logics. This can be translated to a disjunction in first-order logic.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
Union()	Creates a new (empty) union.true
Union(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 Type	Method	Description
ComplexConcept	clone()	Creates a deep copy of this formula
ComplexConcept	collapseAssociativeFormulas()	This method collapses all associative operations appearing in this term, e.g.
Union	createEmptyFormula()
String	getEmptySymbol()
String	getOperatorSymbol()

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 class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

addFirst, addLast, getFirst, getLast, removeFirst, removeLast, replaceAll, reversed, sort, spliterator

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula

getAtoms, getPredicateCls

Constructor Details

Union

public Union(Collection<? extends ComplexConcept> formulas)

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

public Union(ComplexConcept first,
 ComplexConcept second)

Creates a new union with the two given formulae

Parameters:

first - a relational formula.

second - a relational formula.

Union

public Union(ComplexConcept formula)

Create a new union with the given formula.

Parameters:

formula - a DlFormula

Method Details

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

createEmptyFormula

public Union createEmptyFormula()

Returns:

an empty version of the AssociativeFormula

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.