net.sf.tweety.logics.dl.syntax

Class DlSignature

java.lang.Object

net.sf.tweety.commons.Signature

net.sf.tweety.logics.dl.syntax.DlSignature

public class DlSignature
extends Signature

This class models a description logic signature

Author:

Bastian Wolf

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<Concept>	concepts
private java.util.Set<Individual>	individuals
private java.util.Set<Role>	roles

Constructor Summary

Constructors

Constructor and Description
DlSignature() empty constructor
DlSignature(java.util.Collection<?> c)

Method Summary

Modifier and Type	Method and Description
void	add(java.lang.Object obj) TODO: to be implemented This class adds single objects to this signature, iff the object is an appropriate concept, role or individual
void	addAll(java.util.Collection<?> c)
void	addSignature(Signature other) Adds the elements of the given signature to this signature.
boolean	equals(java.lang.Object obj)
java.util.Set<Concept>	getConcepts()
java.util.Set<Individual>	getIndividuals()
java.util.Set<Role>	getRoles()
int	hashCode()
boolean	isOverlappingSignature(Signature other) Checks whether this signature has common elements with the given signature, i.e.
boolean	isSubSignature(Signature other) Checks whether this signature is a sub-signature of the given signature, i.e.
void	setConcepts(java.util.Set<Concept> concepts)
void	setIndividuals(java.util.Set<Individual> individuals)
void	setRoles(java.util.Set<Role> roles)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

concepts

private java.util.Set<Concept> concepts

roles

private java.util.Set<Role> roles

individuals

private java.util.Set<Individual> individuals

Constructor Detail

DlSignature

public DlSignature()

empty constructor

DlSignature

public DlSignature(java.util.Collection<?> c)
            throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

Method Detail

isSubSignature

public boolean isSubSignature(Signature other)

Description copied from class: Signature

Checks whether this signature is a sub-signature of the given signature, i.e. whether each logical expression expressible with this signature is also expressible with the given signature.

Specified by:

isSubSignature in class Signature

Parameters:

other -

Returns:

"true" iff this signature is a subsignature of the given one.

isOverlappingSignature

public boolean isOverlappingSignature(Signature other)

Description copied from class: Signature

Checks whether this signature has common elements with the given signature, i.e. whether there are logical expressions expressible with this signature that are also expressible with the given signature.

Specified by:

isOverlappingSignature in class Signature

Parameters:

other - a signature.

Returns:

"true" iff this signature is overlapping with the given one.

add

public void add(java.lang.Object obj)
         throws java.lang.IllegalArgumentException

TODO: to be implemented This class adds single objects to this signature, iff the object is an appropriate concept, role or individual

Parameters:

obj -

Throws:

java.lang.IllegalArgumentException

addAll

public void addAll(java.util.Collection<?> c)
            throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

getConcepts

public java.util.Set<Concept> getConcepts()

setConcepts

public void setConcepts(java.util.Set<Concept> concepts)

getRoles

public java.util.Set<Role> getRoles()

setRoles

public void setRoles(java.util.Set<Role> roles)

getIndividuals

public java.util.Set<Individual> getIndividuals()

setIndividuals

public void setIndividuals(java.util.Set<Individual> individuals)

hashCode

public int hashCode()

Specified by:

hashCode in class Signature

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class Signature

addSignature

public void addSignature(Signature other)

Description copied from class: Signature

Adds the elements of the given signature to this signature.

Specified by:

addSignature in class Signature

Parameters:

other - a signature.