Package net.sf.tweety.logics.dl.syntax

Class Union

java.lang.Object

net.sf.tweety.logics.dl.syntax.ComplexConcept

net.sf.tweety.logics.dl.syntax.AssociativeDlFormula

net.sf.tweety.logics.dl.syntax.Union

All Implemented Interfaces:

Iterable<ComplexConcept>, Collection<ComplexConcept>, List<ComplexConcept>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<ComplexConcept>, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.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

Field Summary

Fields inherited from class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula

support

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 net.sf.tweety.logics.dl.syntax.AssociativeDlFormula

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 net.sf.tweety.logics.dl.syntax.ComplexConcept

combineWithAnd, combineWithOr, complement, getAtoms, getPredicateCls, getUniformProbability

Methods inherited from class java.lang.Object

finalize, 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

replaceAll, sort, spliterator

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getAtoms, getPredicateCls

Constructor Detail

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 Detail

getOperatorSymbol

public String getOperatorSymbol()

getEmptySymbol

public String getEmptySymbol()

clone

public ComplexConcept clone()

Description copied from class: ComplexConcept

Creates a deep copy of this formula

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class ComplexConcept

createEmptyFormula

public Union createEmptyFormula()

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.