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

Class Intersection

java.lang.Object

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

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

net.sf.tweety.logics.dl.syntax.Intersection

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 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(java.util.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 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.
Intersection	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

Intersection

public Intersection(java.util.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 formulae

Parameters:

first - a relational formula.

second - a relational formula.

Method Detail

createEmptyFormula

public Intersection createEmptyFormula()

Returns:

an empty version of the AssociativeFormula

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

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.