uk.ac.manchester.cs.jfact.kernel

Class AxiomSet

java.lang.Object

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

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

Field Summary

Fields

Modifier and Type	Field and Description
protected TBox	tboxHost host TBox that holds all concepts/etc

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() get GCI of all non-absorbed axioms
boolean	initAbsorptionFlags(String flags)
protected boolean	processNewAxiom(Axiom q) helper that inserts an axiom into Accum; @return bool if success
protected boolean	split(Axiom p) split given axiom
boolean	wasRoleAbsorptionApplied()

Methods inherited from class java.lang.Object

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

Field Detail

tboxHost

@PortedFrom(file="tAxiomSet.h",
            name="Host")
protected TBox tboxHost

host TBox that holds all concepts/etc

Constructor Detail

AxiomSet

public AxiomSet(TBox host)

Method Detail

processNewAxiom

@PortedFrom(file="tAxiomSet.h",
            name="processNewAxiom")
protected boolean processNewAxiom(Axiom q)

helper that inserts an axiom into Accum; @return bool if success

addAxiom

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

add axiom for the GCI C [= 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()

get GCI of all non-absorbed axioms

split

@PortedFrom(file="tAxiomSet.h",
            name="split")
protected boolean split(Axiom p)

split given axiom

absorb

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

initAbsorptionFlags

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