uk.ac.manchester.cs.jfact.kernel

Class Axiom

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.Axiom

@PortedFrom(file="tAxiom.h",
            name="TAxiom")
public class Axiom
extends Object

Constructor Summary

Constructors

Constructor and Description
Axiom()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	absorbIntoBottom(TBox KB) absorb into BOTTOM; @return true if absorption is performed
boolean	absorbIntoConcept(TBox KB)
boolean	absorbIntoDomain(TBox KB)
boolean	absorbIntoNegConcept(TBox KB) absorb into negation of a concept; @return true if absorption is performed
boolean	absorbIntoTop(TBox KB) absorb into TOP; @return true if absorption performs
void	add(DLTree p) add DLTree to an axiom
DLTree	createAnAxiom(DLTree replaced) create a concept expression corresponding to a given GCI; ignore SKIP entry
boolean	equals(Object arg0)
TOntologyAtom	getAtom()
int	hashCode()
void	setAtom(TOntologyAtom atom)
Axiom	simplifyCN(TBox tbox) replace a defined concept with its description
Axiom	simplifyForall(TBox KB) replace a universal restriction with a fresh concept
List<Axiom>	split(TBox KB) split an axiom; @return new axiom and/or NULL
String	toString() dump GCI for debug purposes

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Axiom

public Axiom()

Method Detail

absorbIntoNegConcept

@PortedFrom(file="tAxiom.h",
            name="absorbIntoNegConcept")
public boolean absorbIntoNegConcept(TBox KB)

absorb into negation of a concept; @return true if absorption is performed

split

@PortedFrom(file="tAxiom.h",
            name="split")
public List<Axiom> split(TBox KB)

split an axiom; @return new axiom and/or NULL

add

@PortedFrom(file="tAxiom.h",
            name="add")
public void add(DLTree p)

add DLTree to an axiom

toString

public String toString()

dump GCI for debug purposes

Overrides:

toString in class Object

simplifyCN

@PortedFrom(file="tAxiom.h",
            name="simplifyCN")
public Axiom simplifyCN(TBox tbox)

replace a defined concept with its description

simplifyForall

@PortedFrom(file="tAxiom.h",
            name="simplifyForall")
public Axiom simplifyForall(TBox KB)

replace a universal restriction with a fresh concept

createAnAxiom

@PortedFrom(file="tAxiom.h",
            name="createAnAxiom")
public DLTree createAnAxiom(DLTree replaced)

create a concept expression corresponding to a given GCI; ignore SKIP entry

absorbIntoBottom

@PortedFrom(file="tAxiom.h",
            name="absorbIntoBottom")
public boolean absorbIntoBottom(TBox KB)

absorb into BOTTOM; @return true if absorption is performed

absorbIntoConcept

@PortedFrom(file="tAxiom.h",
            name="absorbIntoConcept")
public boolean absorbIntoConcept(TBox KB)

absorbIntoDomain

@PortedFrom(file="tAxiom.h",
            name="absorbIntoDomain")
public boolean absorbIntoDomain(TBox KB)

absorbIntoTop

@PortedFrom(file="tAxiom.h",
            name="absorbIntoTop")
public boolean absorbIntoTop(TBox KB)

absorb into TOP; @return true if absorption performs

equals

public boolean equals(Object arg0)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getAtom

@Original
public TOntologyAtom getAtom()

setAtom

@Original
public void setAtom(TOntologyAtom atom)