org.semanticweb.owlapitools.decomposition

Class Signature

java.lang.Object

org.semanticweb.owlapitools.decomposition.Signature

public class Signature
extends Object

class to hold the signature of a module

Constructor Summary

Constructors

Constructor and Description
Signature() empty signature
Signature(java.util.stream.Stream<OWLEntity> sig)

Method Summary

Modifier and Type	Method and Description
boolean	add(OWLEntity p)
void	addAll(java.util.stream.Stream<OWLEntity> p)
boolean	contains(OWLEntity p)
boolean	equals(Object obj)
Set<OWLEntity>	getSignature()
int	hashCode()
List<OWLEntity>	intersect(Signature s2)
void	setLocality(boolean top)
void	setLocality(boolean topC, boolean topR)
boolean	topCLocal()
boolean	topRLocal()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Signature

public Signature()

empty signature

Signature

public Signature(java.util.stream.Stream<OWLEntity> sig)

Parameters:

sig - signature elements

Method Detail

add

public boolean add(OWLEntity p)

Parameters:

p - entity to add to signature

Returns:

true if p was not in the signature already

addAll

public void addAll(java.util.stream.Stream<OWLEntity> p)

Parameters:

p - all entities to add

setLocality

public void setLocality(boolean top)

Parameters:

top - set new locality polarity

setLocality

public void setLocality(boolean topC,
                        boolean topR)

Parameters:

topC - new concept locality polarity

topR - new role locality polarity

equals

public boolean equals(@Nullable
                      Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

contains

public boolean contains(OWLEntity p)

Parameters:

p - entity to find

Returns:

true iff signature contains p

getSignature

public Set<OWLEntity> getSignature()

Returns:

the set of entities

topCLocal

public boolean topCLocal()

Returns:

true iff concepts are treated as TOPs

topRLocal

public boolean topRLocal()

Returns:

true iff roles are treated as TOPs

intersect

public List<OWLEntity> intersect(Signature s2)

Parameters:

s2 - signature to intersect

Returns:

intersection