uk.ac.manchester.cs.jfact.kernel

Class Axiom

java.lang.Object

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

All Implemented Interfaces:

Serializable

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

inner axiom class

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Axiom(Axiom parent)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	absorbIntoBottom() absorb into BOTTOM;
boolean	absorbIntoConcept(TBox KB) absorb into concept; @return true if absorption is performed
boolean	absorbIntoDomain(TBox KB) absorb single axiom AX into role domain; @return true if succeed
boolean	absorbIntoNegConcept(TBox KB) absorb single concept into negation of a concept;
boolean	absorbIntoTop(TBox KB) absorb into TOP;
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)
static void	setLogAdapter(LogAdapter l)
Axiom	simplifyCN(TBox t) replace a defined concept with its description
Axiom	simplifyForall(TBox KB) replace a universal restriction with a fresh concept
Axiom	simplifySForall(TBox KB) replace a simple universal restriction with a fresh concept
List<Axiom>	split() split an axiom;
String	toString() dump GCI for debug purposes

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Axiom

public Axiom(Axiom parent)

Parameters:

parent - parent axiom

Method Detail

setLogAdapter

public static void setLogAdapter(LogAdapter l)

Parameters:

l - absorption log

absorbIntoNegConcept

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

absorb single concept into negation of a concept;

Parameters:

KB - KB

Returns:

true if absorption is performed

split

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

split an axiom;

Returns:

new axiom and/or NULL

add

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

add DLTree to an axiom

Parameters:

p - tree to add

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 t)

replace a defined concept with its description

Parameters:

t - tbox

Returns:

rewritten axiom

simplifyForall

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

replace a universal restriction with a fresh concept

Parameters:

KB - tbox

Returns:

rewritten axiom

simplifySForall

public Axiom simplifySForall(TBox KB)

replace a simple universal restriction with a fresh concept

Parameters:

KB - tbox

Returns:

simplified axiom

createAnAxiom

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

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

Parameters:

replaced - ignored entity

Returns:

rewritten DLTree

absorbIntoBottom

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

absorb into BOTTOM;

Returns:

true if absorption is performed

absorbIntoConcept

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

absorb into concept; @return true if absorption is performed

Parameters:

KB - KB

Returns:

false if there are no absorptions

absorbIntoDomain

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

absorb single axiom AX into role domain; @return true if succeed

Parameters:

KB - KB

Returns:

false if there are no absorptions

absorbIntoTop

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

absorb into TOP;

Parameters:

KB - KB

Returns:

true if any absorption is performed

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()

Returns:

atom for this axiom

setAtom

@Original
public void setAtom(TOntologyAtom atom)

Parameters:

atom - atom