Package org.tweetyproject.logics.dl.syntax

Class RoleAssertion

java.lang.Object

org.tweetyproject.logics.dl.syntax.DlAxiom

org.tweetyproject.logics.dl.syntax.AssertionalAxiom

org.tweetyproject.logics.dl.syntax.RoleAssertion

All Implemented Interfaces:

Formula, SimpleLogicalFormula

public class RoleAssertion
extends AssertionalAxiom

This class models a role assertion in description logic, i.e. an expression of the form "(a,b) : R", where a,b are Individuals and R is a role.

Author:

Anna Gessler

Constructor Summary

Constructors

Constructor	Description
RoleAssertion()	Empty default constructor.
RoleAssertion(List<Individual> args, AtomicRole r)	Initializes a role assertion with the given individuals and role.
RoleAssertion(Pair<Individual,Individual> args, AtomicRole r)	Initializes a role assertion with the given role and individuals.
RoleAssertion(Individual a, Individual b, AtomicRole r)	Initializes a role assertion with the given individuals and role.

Method Summary

Modifier and Type	Method	Description
RoleAssertion	clone()	Creates a deep copy of this formula
boolean	equals(Object obj)
Pair<Individual,Individual>	getIndividuals()	Return the individuals of this assertional axiom
Set<Predicate>	getPredicates()	Processes the set of all predicates which appear in this formula
AtomicRole	getRole()	Return the role that the individuals assertional axiom
DlSignature	getSignature()	Returns the signature of the language of this formula.
int	hashCode()
boolean	isAtomic()	Determines if the concept involved in the assertion is atomic.
String	toString()

Methods inherited from class org.tweetyproject.logics.dl.syntax.DlAxiom

getAtoms, getPredicateCls, isLiteral

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

RoleAssertion

public RoleAssertion()

Empty default constructor.

RoleAssertion

public RoleAssertion(Individual a,
 Individual b,
 AtomicRole r)

Initializes a role assertion with the given individuals and role.

Parameters:

a - an Individual

b - an Individual

r - a role

RoleAssertion

public RoleAssertion(List<Individual> args,
 AtomicRole r)

Initializes a role assertion with the given individuals and role.

Parameters:

args - list of individuals

r - a role

RoleAssertion

public RoleAssertion(Pair<Individual,Individual> args,
 AtomicRole r)

Initializes a role assertion with the given role and individuals.

Parameters:

args - pair of individuals

r - role

Method Details

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 DlAxiom

Returns:

all predicates that appear in this formula

clone

public RoleAssertion clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in class DlAxiom

Returns:

the cloned formula

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface SimpleLogicalFormula

Overrides:

equals in class Object

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 DlAxiom

Returns:

the signature of the language of this formula.

getIndividuals

public Pair<Individual,Individual> getIndividuals()

Return the individuals of this assertional axiom

Returns:

the individuals of this assertional axiom (= the individuals that are instances of the role)

getRole

public AtomicRole getRole()

Return the role that the individuals assertional axiom

Returns:

the role that the individuals of this assertional axiom are instances of.

isAtomic

public boolean isAtomic()

Description copied from class: AssertionalAxiom

Determines if the concept involved in the assertion is atomic.

Specified by:

isAtomic in class AssertionalAxiom

Returns:

true if the concept of the assertion is atomic, false if it is a complex concept