uk.ac.manchester.cs.jfact.kernel

Interface KnownSubsumers

All Superinterfaces:

Serializable

All Known Implementing Classes:

ToldSubsumers

public interface KnownSubsumers
extends Serializable

abstract class to represent the known subsumers of a concept

Method Summary

Modifier and Type	Method and Description
default boolean	isPossibleSub(ClassifiableEntry ce)
List<ClassifiableEntry>	possible()
default boolean	possibleEmpty()
List<ClassifiableEntry>	sure()
default boolean	sureEmpty()

Method Detail

sure

List<ClassifiableEntry> sure()

Returns:

begin of the Sure subsumers interval

possible

List<ClassifiableEntry> possible()

Returns:

begin of the Possible subsumers interval

sureEmpty

default boolean sureEmpty()

Returns:

whether there are no sure subsumers

possibleEmpty

default boolean possibleEmpty()

Returns:

whether there are no possible subsumers

isPossibleSub

default boolean isPossibleSub(ClassifiableEntry ce)

Parameters:

ce - class expression

Returns:

true iff CE is the possible subsumer