org.semanticweb.HermiT.model

Class Atom

java.lang.Object

org.semanticweb.HermiT.model.Atom

All Implemented Interfaces:

Serializable

public class Atom
extends Object
implements Serializable

Represents an atom in a DL clause.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static Set<DLPredicate>	s_infixPredicates Infix predicates.

Method Summary

Modifier and Type	Method and Description
boolean	containsVariable(Variable variable)
static Atom	create(DLPredicate dlPredicate, Term... arguments)
Term	getArgument(int argumentIndex)
Variable	getArgumentVariable(int argumentIndex)
int	getArity()
DLPredicate	getDLPredicate()
void	getIndividuals(Set<Individual> individuals)
void	getVariables(Set<Variable> variables)
String	toString()
String	toString(Prefixes prefixes)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

s_infixPredicates

public static final Set<DLPredicate> s_infixPredicates

Infix predicates.

Method Detail

getDLPredicate

public DLPredicate getDLPredicate()

Returns:

dl predicate

getArity

public int getArity()

Returns:

arity

getArgument

public Term getArgument(int argumentIndex)

Parameters:

argumentIndex - argumentIndex

Returns:

argument

getArgumentVariable

public Variable getArgumentVariable(int argumentIndex)

Parameters:

argumentIndex - argumentIndex

Returns:

argument variable

getVariables

public void getVariables(Set<Variable> variables)

Parameters:

variables - variables

getIndividuals

public void getIndividuals(Set<Individual> individuals)

Parameters:

individuals - individuals

containsVariable

public boolean containsVariable(Variable variable)

Parameters:

variable - variable

Returns:

true if contains variable

toString

public String toString(Prefixes prefixes)

Parameters:

prefixes - prefixes

Returns:

toString

toString

public String toString()

Overrides:

toString in class Object

create

public static Atom create(DLPredicate dlPredicate,
                          Term... arguments)

Parameters:

dlPredicate - dlPredicate

arguments - arguments

Returns:

atom