uk.ac.manchester.cs.jfact.kernel

Class KnownSubsumers

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.KnownSubsumers

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

ToldSubsumers

public abstract class KnownSubsumers
extends Object
implements Serializable

abstract class to represent the known subsumers of a concept

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
KnownSubsumers()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isPossibleSub(ClassifiableEntry ce)
abstract List<ClassifiableEntry>	p_begin()
boolean	p_empty()
abstract List<ClassifiableEntry>	s_begin()
boolean	s_empty()

Methods inherited from class java.lang.Object

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

Constructor Detail

KnownSubsumers

public KnownSubsumers()

Method Detail

s_begin

public abstract List<ClassifiableEntry> s_begin()

Returns:

begin of the Sure subsumers interval

p_begin

public abstract List<ClassifiableEntry> p_begin()

Returns:

begin of the Possible subsumers interval

s_empty

public boolean s_empty()

Returns:

whether there are no sure subsumers

p_empty

public boolean p_empty()

Returns:

whether there are no possible subsumers

isPossibleSub

public boolean isPossibleSub(ClassifiableEntry ce)

Parameters:

ce - class expression

Returns:

true iff CE is the possible subsumer