Package org.tweetyproject.logics.dl.syntax

Class Intersection

java.lang.Object

org.tweetyproject.logics.dl.syntax.ComplexConcept

org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

org.tweetyproject.logics.dl.syntax.Intersection

All Implemented Interfaces:

Iterable<ComplexConcept>, Collection<ComplexConcept>, List<ComplexConcept>, SequencedCollection<ComplexConcept>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<ComplexConcept>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class Intersection
extends AssociativeDlFormula

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

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
Intersection()	Creates a new (empty) intersection.
Intersection(Collection<? extends ComplexConcept> formulas)	Creates a new intersection with the given inner formulas.
Intersection(ComplexConcept first, ComplexConcept second)	Creates a new intersection with the two given formulas.

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.
Intersection	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

Intersection

public Intersection(Collection<? extends ComplexConcept> formulas)

Creates a new intersection with the given inner formulas.

Parameters:

formulas - a collection of formulas.

Intersection

public Intersection()

Creates a new (empty) intersection.

Intersection

public Intersection(ComplexConcept first,
 ComplexConcept second)

Creates a new intersection with the two given formulas.

Parameters:

first - a relational formula.

second - a relational formula.

Method Details

createEmptyFormula

public Intersection createEmptyFormula()

Returns:

an empty version of the AssociativeFormula

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

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.