Package org.tweetyproject.logics.dl.syntax

Class AtomicRole

java.lang.Object

org.tweetyproject.logics.dl.syntax.ComplexConcept

org.tweetyproject.logics.dl.syntax.AtomicRole

All Implemented Interfaces:

Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class AtomicRole
extends ComplexConcept

This class models a role in description logics.
Note: Role assertions like (a,b):r ("the Individuals a,b are in the extension of the role r") are modeled with a different class: ConceptAssertion.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
AtomicRole(String name)	Initializes a role with the given name.
AtomicRole(Predicate p)	Initializes an atomic role with the given predicate.

Method Summary

Modifier and Type	Method	Description
ComplexConcept	clone()	Creates a deep copy of this formula
AtomicRole	collapseAssociativeFormulas()	This method collapses all associative operations appearing in this term, e.g.
boolean	equals(Object obj)
String	getName()	Returns the name of this atomic role.
Predicate	getPredicate()	Returns the predicate representing this atomic role.
Set<Predicate>	getPredicates()	Processes the set of all predicates which appear in this formula
DlSignature	getSignature()	Returns the signature of the language of this formula.
int	hashCode()
boolean	isLiteral()
String	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

Constructor Details

AtomicRole

public AtomicRole(String name)

Initializes a role with the given name.

Parameters:

name - the name of the role

AtomicRole

public AtomicRole(Predicate p)

Initializes an atomic role with the given predicate.

Parameters:

p - the predicate representing the role; must have arity 2

Throws:

IllegalArgumentException - if the predicate's arity is not 2

Method Details

getPredicate

public Predicate getPredicate()

Returns the predicate representing this atomic role.

Returns:

the predicate representing this atomic role

getName

public String getName()

Returns the name of this atomic role.

Returns:

the name of this atomic role

getPredicates

public Set<Predicate> getPredicates()

Description copied from interface: SimpleLogicalFormula

Processes the set of all predicates which appear in this formula

Specified by:

getPredicates in interface SimpleLogicalFormula

Specified by:

getPredicates in class ComplexConcept

Returns:

all predicates that appear in this formula

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

toString

public String toString()

Overrides:

toString in class Object

collapseAssociativeFormulas

public AtomicRole 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.

isLiteral

public boolean isLiteral()

Returns:

true if the formula represents a literal in the language or false otherwise

getSignature

public DlSignature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Specified by:

getSignature in class ComplexConcept

Returns:

the signature of the language of this formula.

hashCode

public int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Specified by:

hashCode in class ComplexConcept

equals

public boolean equals(Object obj)

Specified by:

equals in interface SimpleLogicalFormula

Specified by:

equals in class ComplexConcept