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

Class UniversalRestriction

java.lang.Object

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

net.sf.tweety.logics.dl.syntax.UniversalRestriction

All Implemented Interfaces:

net.sf.tweety.commons.Formula, 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 UniversalRestriction
extends ComplexConcept

This class models an universal restriction in description logics, i.e. an expression of the form "forall R.C" for a role R and a Concept C.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
UniversalRestriction(AtomicRole r, ComplexConcept c)	Creates a new ALC universal restriction with the given role and concept.

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.
boolean	equals(Object obj)
ComplexConcept	getConcept()	Get the concept of the universal restriction.
net.sf.tweety.commons.util.Pair<AtomicRole,ComplexConcept>	getFormulas()	Get the role and concept that are part of the universal restriction.
Set<net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
AtomicRole	getRole()	Get the role of the universal restriction.
DlSignature	getSignature()
int	hashCode()
boolean	isLiteral()
String	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

Constructor Detail

UniversalRestriction

public UniversalRestriction(AtomicRole r,
                            ComplexConcept c)

Creates a new ALC universal restriction with the given role and concept.

Parameters:

r - the role

c - the concept that is being restricted by the role

Method Detail

getFormulas

public net.sf.tweety.commons.util.Pair<AtomicRole,ComplexConcept> getFormulas()

Get the role and concept that are part of the universal restriction.

Returns:

an atomic role and a concept

getRole

public AtomicRole getRole()

Get the role of the universal restriction.

Returns:

an atomic role

getConcept

public ComplexConcept getConcept()

Get the concept of the universal restriction.

Returns:

a concept

getSignature

public DlSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Specified by:

getSignature in class ComplexConcept

toString

public String toString()

Overrides:

toString in class Object

getPredicates

public Set<net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

Specified by:

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

Specified by:

getPredicates in class ComplexConcept

isLiteral

public boolean isLiteral()

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

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.

hashCode

public int hashCode()

Specified by:

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

Specified by:

hashCode in class ComplexConcept

equals

public boolean equals(Object obj)

Specified by:

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

Specified by:

equals in class ComplexConcept