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

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