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:

java.lang.Iterable<ComplexConcept>, java.util.Collection<ComplexConcept>, java.util.List<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(java.util.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()
java.lang.String	getEmptySymbol()
java.lang.String	getOperatorSymbol()

Methods inherited from class net.sf.tweety.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 net.sf.tweety.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

replaceAll, sort, spliterator

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

getAtoms, getPredicateCls

Constructor Detail

Union

public Union(java.util.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 java.lang.String getOperatorSymbol()

Returns:

A String representing the operator which connects two items of the associative formula.

getEmptySymbol

public java.lang.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.