uk.ac.manchester.cs.jfact.kernel

Class AxiomSet

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.AxiomSet

All Implemented Interfaces:

Serializable

@PortedFrom(file="tAxiomSet.h",
            name="TAxiomSet")
public class AxiomSet
extends Object
implements Serializable

set of axioms

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomSet(TBox host)

Method Summary

Methods

Modifier and Type	Method and Description
int	absorb()
void	addAxiom(DLTree C, DLTree D) add axiom for the GCI C [= D
DLTree	getGCI()
boolean	initAbsorptionFlags(String flags)
boolean	wasRoleAbsorptionApplied()

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomSet

public AxiomSet(TBox host)

Parameters:

host - host

Method Detail

addAxiom

@PortedFrom(file="tAxiomSet.h",
            name="addAxiom")
public void addAxiom(DLTree C,
                               DLTree D)

add axiom for the GCI C [= D

Parameters:

C - C

D - D

wasRoleAbsorptionApplied

@PortedFrom(file="tAxiomSet.h",
            name="wasRoleAbsorptionApplied")
public boolean wasRoleAbsorptionApplied()

Returns:

true if non-concept aborption were executed

getGCI

@PortedFrom(file="tAxiomSet.h",
            name="getGCI")
public DLTree getGCI()

Returns:

GCI of all non-absorbed axioms

absorb

@PortedFrom(file="tAxiomSet.h",
            name="absorb")
public int absorb()

Returns:

new size

initAbsorptionFlags

@PortedFrom(file="tAxiomSet.h",
            name="initAbsorptionFlags")
public boolean initAbsorptionFlags(String flags)

Parameters:

flags - flags

Returns:

false if no absorptions